Заметим, что оба треугольника AOB и AOC - прямоугольные. Так как

как касательные к окружности. Заметим, что эти треугольники равны по трем сторонам. Сторона АО - общая, ВО и ОС - равны как радиусы одной окружности, АВ=АС - как касательные, проведенные к одной окружности из одной точки. Значит

Вычислим угол BOA. По формуле о сумме углов треугольника, получаем




Так как


