|
CASO
Abbiamo cioè una retta affine
e
è una permutazione di
che "conserva i rapporti"; vorremmo
affinità, cioè trovare
automorfismo di
tale che
.
Se un tale esiste, siccome
è una retta vettoriale, necessariamente, è noto dall'algebra lineare, esiste
tale che
;
dobbiamo quindi dimostrare che esiste
tale che
.
Chiaramente se
non c'è nulla da dimostrare; possiamo quindi assumere che sia .
Poiché
è una retta vettoriale necessariamente esiste
tale che
;
dobbiamo quindi dimostrare che
non dipende in realtà dai punti .
Consideriamo allo scopo una seconda coppia di punti distinti :
si tratta di dimostrare che
.
Sempre dal fatto che
è una retta vettoriale discende che esiste
(dipendente da )
tale che
;
sfruttiamo finalmente l'ipotesi "
conserva i rapporti": in virtú di ciò otteniamo
e definitiva possiamo scrivere:
Confrontando le uguaglianze
e
otteniamo proprio
.
|