Prendo sulle semirette a e b due
punti qualsiasi rispettivamente A e B
Disegna l'angolo acuto A0^B e la sua bisettrice. Considera un punto P della
bisettrice .Per disegnare l'asse di OP devi prendere il punto medio M di OP e poi tracciare da M la perpendicolare
ad OP; questa interseca la semiretta OB
in Q.
Ipotesi:
BO^P=AO^P
OM = MP
QM perpendicolare ad OP.
Tesi : QP // OA.
Dimostrazione:
Il triangolo OQP è isoscele perché Q appartiene all'asse di OP ==> OQ= QP
==> angoli alla base congruenti
QO^P=QP^O.
(ricorda asse di un segm . è il luogo dei punti equidistanti dagli estremi del segmento)
Per la proprietà transitiva
QP^O=AO^P.
Quest'ultimi sono gli angoli alterni interni delle rette QP e OA tagliate dalla trasversale OP.
Dalla loro congruenza ==>
QP//OA.