Fie ME perpendicular pe [OA, E€(OA
Si MF perpendicular pe [OB, F€(OB
ME=d(M, (OA )
MF=d(M, (OB )
Fie tr. MOE si tr. MOF
[OM]=[OM] (lat. comuna)
m(unghiului OEM =m(unghiului OFM)=90°
m(EOM)=m(FOM)
=>(I.U.) ca tr. MOE congruent cu tr. MOF
=> [ME] congruent cu [EN]
=>d(M, (OA )=d(M, (OB )