Dato l’angolo convesso aO^b, considera un punto C sulla semiretta Oa e conduci per C la parallela alla se-
miretta Ob. Su tale parallela prendi un punto D interno all’angolo tale che risulti CD OC. Dimostra che OD è la bisettrice dell’angolo aO^b.
Dato l’angolo convesso aO^b, considera un punto C sulla semiretta Oa e conduci per C la parallela alla se-
miretta Ob. Su tale parallela prendi un punto D interno all’angolo tale che risulti CD OC. Dimostra che OD è la bisettrice dell’angolo aO^b.
Per ipotesi CD//OB e dunque gli angoli BOD=ODC perché angoli alterni interni considerando la trasversale OD.
Ma per ipotesi CO=CD dunque il triangolo OCD è isoscele e gli angoli COD=ODC.
Essendo BOD=ODC e COD=ODC per transitività anche BOD=COD e dunque OD è bisettrice di BOC.
Noemi