1) В прямоугольном треугольнике АВС из вершины прямого угла С проведем к гипотенузе AB отрезок CO так, чтобы CO=OA.
2) ∆ AOC — равнобедренный с основанием AC (по определению равнобедренного треугольника).
