tr.ADB=trADC (AD=AD,AB=AC) criteriul I.C. => BD=DC deci AD este perpendiculara pe BC in mijlocul acesteia ,deci este mediatoare.
Dar solutia ea mai simpla este urmatoarea:
AB=AC => A apartine mediatorei segmentului BC si cum AD e perpendicula pe BC atunci AD este mediatoare