Доказательство:
- Т.к. ∠ABO = ∠CBO, то BO - биссектриса ∠ABC.
- Т.к. AB = BC, то ΔABC - равнобедренный с основанием AC.
- В равнобедренном треугольнике биссектриса, проведенная к основанию, является также медианой и высотой. Следовательно, BO - медиана и высота ΔABC.
- Т.к. BO - медиана, то AO = OC.
- Рассмотрим ΔABO и ΔCBO:
- AB = BC (по условию)
- BO - общая сторона
- AO = OC (BO - медиана)
- Следовательно, ΔABO = ΔCBO по трем сторонам (III признак равенства треугольников).
- Из равенства треугольников следует равенство соответствующих углов: ∠BAO = ∠BCO.
- Т.к. BO - высота, то ∠AOB = ∠COB = 90°.
- Рассмотрим ΔADO и ΔCDO:
- AO = OC (BO - медиана)
- DO - общая сторона
- ∠AOD = ∠COD = 90° (BO - высота)
- Следовательно, ΔADO = ΔCDO по двум сторонам и углу между ними (I признак равенства треугольников).
- Из равенства треугольников следует равенство соответствующих углов: ∠DAO = ∠DCO.
Что и требовалось доказать.