Использована теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов.
AB=AC (касательные к окружности, проведённые из одной точки, равны)
Радиус, проведённый в точку касания, образует с касательной угол 90 градусов.
Следовательно треугольники АОВ и АОС равны по трём сторонам, или по гипотенузе и стороне, или по двум катетам. Следовательно их высоты равны... См. рис.
