Доказательство:
- Рассмотрим треугольники ADC и BCD. Они равнобедренные с общим основанием DC.
- Поскольку треугольник ADC равнобедренный, то углы DAC и DCA равны. Аналогично, в треугольнике BCD углы DBC и DCB равны.
- Рассмотрим треугольник ABC. Так как треугольники ADC и BCD равнобедренные, то AC = AD и BC = BD.
- Пусть углы DAC = DCA = α и углы DBC = DCB = β.
- Тогда угол ACB = DCA + DCB = α + β, а угол ADB = DAC + DBC = α + β. Таким образом, углы ACB и ADB равны.
- Рассмотрим треугольники ACO и BDO. Угол AOC = углу BOD (как вертикальные). AC = BD (из пунктов 3 и 4). Угол CAO = углу DBO (т.к. углы DAC = DBC).
- Следовательно, треугольники ACO и BDO равны по стороне и двум прилежащим к ней углам (второй признак равенства треугольников).
- Из равенства треугольников ACO и BDO следует, что CO = DO.
Что и требовалось доказать: DO = OC