1. Треугольники OAK и OBK равнобедренные (OA=OK=OB=радиус).
2. ∠OKA = ∠OAK и ∠OKB = ∠OBK.
3. Так как ∠OAK = ∠OBK, то ∠OKA = ∠OKB. Следовательно, треугольники OAK и OBK равны по двум сторонам и углу между ними (OK - общая сторона, OA=OB, ∠OKA=∠OKB). Отсюда AK=BK.
Доказано.