am pus pe figura unghiurile congruente
x din ipoteza, y=90-x, z sunt la baza tr. isoscel AMN pentru ca AM=AN din ipoteza
u =180-y-z (evident)
observam ca tr. MCN este isoscel deoarece unghiurile de la baza sunt congruente u=u si prin urmare MC=CN
se mai observa ca triunghiurile AMC si ANCsunt congruente (LUL)
AM=AN , ipoteza
∡AMN=∡ANM=z+u
MC=CN vezi mai sus
in concluzie
∡MAC=∡CAN ⇒ AC e bisectoarea unghiului MAN