Глава II. Треугольники. §2 Медианы, биссектрисы и высоты треугольника → номер 111
Рассмотрим ΔACD и ΔABD; сторона AD — общая, BD=DC; ∠1 = ∠2, значит ΔACD = ΔABD по первому признаку; тогда AВ = АС, ч. т.д.