Poiché (ABP')=(ABP)* è l'equazione della simmetria di asse AB,
allora l'equazione della retta AB è:
(ABP) = (ABP)*,
ovvero P sta sulla retta AB se e solo se (ABP) è un numero reale.
Esercizi
Verificare che:
la retta per C parallela ad AB ha equazione: Im(ABP)=
Im(ABC) .
la retta per C perpendicolare ad AB ha equazione: Re(ABP)
= Re (ABC) .
l'asse di AB ha equazione (ABP) = (BAP)*.
Infatti dev'essere Re(ABP)=1/2, ovvero (ABP)+(ABP)* = 1. .
la distanza di P dalla retta AB è Im(ABP)·|BA|.
Infatti la distanza di P dall'asse dei reali è Im(ABP).
la condizione di parallelismo tra AB e CD è
(BA)²/|BA|² = (DC)²/|DC|².
la condizione di perpendicolarità tra AB e CD è
(BA)²/|BA|² = (i(DC)/|DC|)².
la bisettrice di A0B è la retta per 0 e per i punti radici di AB.
La bisettrice di ABC ha equazione (ABP)/|(ABP)| = (ACP)*/|(ACP)|.
Le staccate della retta AB sugli assi Im e Re sono:
(BA)*·A (BA)·A*
P =
(BA)* ± (BA)
come si può calcolare ponendo P = ±P* in (ABP) = (ABP)* ;
Le due espressioni possono scriversi anche rispettivamente Im(AB*)/Re(AB) e Im(AB*)/Im(AB).
Il punto intersezione tra due rette AB e CD si può ottenere
mettendo a sistema le equazioni delle due rette
(BA)*(PA)(BA)(PA)*=0 e
(DC)*(PC)(DC)(PC)*=0 ;
eliminando P* si ottiene
(AC)(BA)(DC)* + (AC)(BA)*(DC) + (AC)*(BA)(DC)
P =
(BA)*(DC)(BA)(DC)*
Il punto intersezione tra due rette AB e CD può anche esser messo sotto forma di media pesata
Im(CDB)·A + Im(DCA)·B
P =
Im(CDB) + Im(DCA)
Infatti dette:
hA=Im(DCA)·|DC| la distanza da A alla retta DC
hB=Im(CDB)·|CD| la distanza da D alla retta DC
allora P divide il segmento AB nel rapporto hA/hB (= area(DCA)/area(CDB) )
Le trasformazioni P' = AP + BP* + C trasformano rette in rette. Quali altre trasformazioni
trasformano rette in rette ?