Треугольники AOB и COK центрально симметричны относительно точки O => они равны.
Почему это так? CO=OB по построению, угол C = угол B = 90 градусов (по построению). Угол KOC = угол AOB (по построению). Значит прямоугольные треугольники равны по стороне и двум углам.