deci ∡xoy iar oz este bisectoare si m apartine oz
demonstram ca d(m, ox)= d(m, oy)
∡xoy iar oz este bisectoare⇒∡xoz≡∡zoy
ma⊥[ox unde a apartine ox⇒ d(m, ox)=am
mb⊥[oy unde b apartien lui oy=> d(m, oy)=mb
din astea doua=> Δmao si Δmob triunghiuri dreptunghice cu ∡mao=∡mbo=90°
mo este latura comuna
∡moa≡∡mob
prin cazul de congruenta al triunghurilor dreptunghice ipotenuza unghi=> ma=mb
