Рассмотрим ∆АОС - равнобедренный (АО = ОС по условию). Тогда углы DAC и ECA равны (по свойству равнобедренного треугольника).
Рассмотрим ∆АЕС и ∆DAC - прямоугольные. АС - общая сторона (гипотенуза), углы DAC = ECA по выше доказанному, поэтому, ∆АЕС = ∆DAC по гипотенузе и острому углу.
У равных треугольников равны соответствующие элементы (углы, стороны). Поэтому, углы ВАС и ВСА равны.
Рассмотрим ∆АВС. Углы ВАС и ВСА равны, следовательно, ∆АВС - равнобедренный, соответственно, АВ = ВС.
Рассмотрим ∆АОС - равнобедренный (АО = ОС по условию). Тогда углы DAC и ECA равны (по свойству равнобедренного треугольника).
Рассмотрим ∆АЕС и ∆DAC - прямоугольные. АС - общая сторона (гипотенуза), углы DAC = ECA по выше доказанному, поэтому, ∆АЕС = ∆DAC по гипотенузе и острому углу.
У равных треугольников равны соответствующие элементы (углы, стороны). Поэтому, углы ВАС и ВСА равны.
Рассмотрим ∆АВС. Углы ВАС и ВСА равны, следовательно, ∆АВС - равнобедренный, соответственно, АВ = ВС.
ответ: что требовалось доказать.