На самом деле доказывается легко:
1. Достраиваешь AO и BO
2. ΔAOB- равнобедренный, так как AO=OB (радиусы окружности). По свойству равнобедренного треугольника, OK также является медианой, а значит AK=KB
ЧТД
