din desen la care notam AD∧(intersectat) BD ={E}
Δ BAD si Δ ACD dreptunghice din ipoteza
cu Pitagora avem
AD²=AB²+BD²
AD²=AC²+DC²
dar AB=AC⇒BD=DC deci Δ BDC isoscel
Δ ABD≡Δ ADC (C.C)⇒∧EAC≡∧BAE deci AE bisectoare pt ∧BAC
atunci
Δ ABE≡Δ AEC (U.L.U)⇒EB≡EC deci AE ,mediana ,dar triunghiul fiind isoscel inseamna ca este si mediatoare pentru BC