ΔMNP isoscel, [MN] ≡[MP]
E, F ∈ [MN], respectiv [MP]
EN=FP
a) ΔEPN şi ΔFNP (demonstraţie congruenţă) :
NP-> latură comună.
m∡N= m∡P (∡-urile congruente ale Δisoscel MNP)
[EN]≡[FP] (din ipoteză) ⇒ (din toate cele 3 enunţate mai sus) ΔEPN şi ΔFNP sunt congruente, conform cazului LUL ⇒ [NF] ≡ [PE]
b) [MN]≡[MP] ⇒ME=MF şi EN=FP(deja ştiut) ⇒ EF║NP (doar într-un Δisoscel şi în unul echilateral este valabil criteriul);
