∡DAC = ∡ECA (из равнобедренности треугольника АОС)
два прямоугольных треугольника DAC и EAC равны по гипотенузе
(АС -она у них общая) и острому углу ---> оставшиеся углы в этих прямоугольных треугольниках тоже равны: ∡EAC = ∡DCA,
следовательно, и треугольник АВС -равнобедренный...