Док-ть что угол AOC равен углу KOC

Самое простое что можно для начала сделать:
Убедиться, что эти углы совмещаются при наложении.
Или просто измерить длины обычной линейкой.
Это очень просто)

Два угла эти находятся на развернутом углу. с помощью биссектрисы ос