In primul rand AO este perpendicular pe BC pentru ca ΔABC este isoscel si atunci bisectoarea ∡A este si inaltime, deci AO ⊥ BC
ΔABM ≡ ΔACN deoarece:
AB = AC
A este unghi comun
∡ABN = ∡ACN ( jumatati de ∡ congruente B si C din Δ isoscel ABC)
Rezulta ca BM = CN