Explicație pas cu pas:
ΔABC este isoscel => m(∢ABC) ≡ m(∢ACB)
[AB] = [AC]
[BE] = [ED] = [DF] = [F C]
=> ΔABE ≡ ΔA C F (L.U.L.)
=> m(∢BAE) ≡ m(∢CAF)
<=> m(∢BAM) ≡ m(∢CAN)
→ din [AB] = [AC], m(∢ABM) ≡ m(∢ACN) și m(∢BAM) ≡ m(∢CAN)
=> ΔABM ≡ ΔACN (U.L.U.)
=> [AM] = [AN]
=> ΔAMN este isoscel