Второй способ. Тр-к АОС - р/б ( по условию), значит угол ОАС = углу ОСА
Докажем равенство треугольников АЕС и ADC. Они прямоугольные, АС - общая, угол DAC = углу ЕАС (по доказанному). Отсюда треугольники равны по гипотенузу и острому углу. Тогда равны и вторые их острые углы: угол ЕАС = DCA. Значит, тр-к АВС - р/б. Следовательно, АВ = ВС