, quando C¹0 e AD-BC¹0
C·P + D
si chiama trasformazione bilineare o di
Möbius;
si può verificare col calcolo che conserva il birapporto.
Dati due triangoli ABC e A'B'C', c'è sempre una e una sola
trasformazione bilineare che li fa corrispondere; la sua equazione è (A'B'C'P')=(ABCP).
In tale trasformazione, circonferenze o rette vengono trasformate in
circonferenze o rette (vedere in precedenza le proprietà del birapporto).
Conviene considerare anche, oltre alle trasformazioni bilineari dirette di equazione (A'
B' C' P') = (ABCD), le trasformazioni bilineari inverse di equazione (A' B' C' P') = (ABCD)*
- la trasformazione P'=(A·P*+B)/(C·P*+D) si ottiene componendo un'trasformazione bilineare diretta con
un'inversione -
Verifica che una trasformazione bilineare può sempre
mettere nella forma P'= (A1 B1 C1 P) ,
dove A1= -
B/A, B1= - D/C, C1= (B- D)/(C-
A) = (ACB)- (ACD).
Studia la trasformazione P=(ABCP).
Osserva che
la circonferenza per ABC si trasforma nella
retta reale, A'=0, B'=¥ , C'=1,
che (CAB) = (ABC¥ ),
ogni
circonferenza per B si trasforma in retta,
le rette
per B si trasformano in rette per (CAB),
ogni altra
retta in una circonferenza per (CAB)
.
La trasformazione P=(ABCP)=( 1/(A-B) 1/(C-B) 1/(P-B)
) si può vedere come composta da:
una inversione principale di centro B la cui equazione è P® B+ 1/(P-B)*,
una similitudine
di equazione P® ( B+1/(A-B)*
B+1/(C-B)* P )* dove a 0 e 1 corrispondono
rispettivamente i simmetrici di A e c nella inversione
principale di centro B.
La trasformazione inversa di P=(ABCP) è P = (A1 B1 C1 P)
dove A1 = (ABC0) = (CAB) A/B, B1=(CAB)= 1 - 1/(ABC)
= (ABC¥ ) , C1 = (ABC1) = (CAB)
(A-1)/(B-1).
In particolare P' = (ABCP) equivale a (0¥ 1P') = (ABCP).
Una trasformazione del tipo P®
P sse (ABCP)=(ABCP) può
sempre scriversi nella forma P=(TP+U)/(VP+W) e
anche P'=( (A'B'C'0) (A'B'C'¥
) (A'B'C'1) (A'B'C'P) ).
In particolare (ABCP) = (A'C'P') equivale a (ABCP) = (A'¥ C'P').
Studia le trasformazioni di equazione
A·P + B·P* + C
P' =
D·P + E·P* + F
Verifica che la trasformazione di equazione
A·P + B
P' = con AA* BB* = 1
B*·P + A
ovvero
P B
P' = A con |A| = 1 e |B| ¹ 1
1 B*·P