Distanta de la A la d este o perpendiculara pe d, dusa din A.
O notam AC {C} ∈ d
Distanta de la B la d este o perpendiculara pe d , dusa din B.
O notam BF {F} ∈ d
Comparam Δ AOC cu Δ BOF :
[AO]≡[OB] (din datele problemei)
<ACO ≡ <BFO (90 grade)
<AOC ≡ < BOF (unghiuri opuse la varf)
⇒Δ AOC ≡ Δ BOF (U.L.U.)
⇒[CO] ≡ [OF] si [AC] ≡ [BF]