|
1. DEFINIZIONE
ADDIZIONE SULLE RETTE DI UN PIANO AFFINE DESARGUESIANO
Sia
un piano affine desarguesiano e
una retta; siano
e siano .
Definiamo il punto
-ottenendo cosí una operazione interna su - relativamente alla scelta di
nella seguente maniera:
- sia
un punto non giacente su ,
- sia
la retta per
parallela a ,
- sia
la retta per
parallela alla retta , -
poniamo
,
- sia
la retta passante per
e parallela alla retta ,
- definiamo
come il punto .
È facile verificare che i passaggi effettuati sono ben definiti (ad esempio
e
non possono essere parallele perché se cosí fosse, allora avremmo due rette -
e - passanti per
e parallele a
e di qui seguirebbe
laddove tali rette sono distinte visto che
è parallela a
mentre
non lo è; alla stessa maniera segue che
non è parallela a ).
2. OSSERVAZIONE
A priori comunque il punto
dipende dalla scelta di ,
il quale è detto punto ausiliario nella definizione di ,
mentre invece, una volta fissato ,
si ha che il punto ,
detto secondo punto ausiliario, è univocamente determinato; useremo spesso la locuzione abbreviata "sommiamo
e
utilizzando
(e )".
Il nostro compito è ora mostrare che
in realtà non dipende da :
Siano
come sopra e siano
due punti non giacenti su ;
calcoliamo
utilizzando sia
che
come punti ausiliari e denotiamo il risultato rispettivamente come
e
-
e
denoteranno rispettivamente i punti di passo 4.
A questo punto si distinguono due casi:
- I CASO:

collineari; l'assioma delle parallele ci assicura che anche i punti
sono allineati lungo la retta passante per
e parallela a .
Ora usando il Teorema di Desargues relativamente ai triangoli
e
otteniamo che
.
Ma noi sappiamo che
e di qui segue necessariamente che
.
- II CASO:

;
utilizzando il Teorema di Desargues relativamente ai triangoli
e
otteniamo che
ed utilizzando ancora il Teorema di Desargues questa volta relativamente ai triangoli
e
otteniamo che otteniamo che
e come in I CASO possiamo concludere che
.
In definitiva abbiamo che l'addizione di punti di una retta affine
relativamente ad un suo punto
è un'operazione interna su .
|