Рассмотрим треугольники AOK и BOK:
Следовательно, треугольники AOK и BOK равны по первому признаку равенства треугольников (по двум сторонам и углу между ними).
Из равенства треугольников следует равенство соответствующих сторон, то есть AK = BK.
Что и требовалось доказать.