Проведем радиусы OB и OC к точкам касания. По свойству касательной, радиус, проведенный к точке касания, перпендикулярен касательной. Следовательно, AOB = AOC = 90°.
Рассмотрим треугольники ABO и ACO:
AB и AC — касательные (по условию).
OB = OC — радиусы окружности.
AO — общая гипотенуза.
По теореме (катет и гипотенуза) треугольники ABO и ACO равны. Это означает, что их соответствующие стороны и углы равны.
AB = AC.
1 = 2.
Вывод:
Теорема доказана. Отрезки касательных, проведенных из одной точки к окружности, равны, а отрезки, соединяющие эту точку с центрами окружностей, делят угол между касательными пополам.