Теорема об отрезках касательных к окружности

Формулировка

отрезки касательных, проведенных из одной точки, не принадлежащей окружности, равны.

Доказательство

АN и AM - касательные
OM=ON=R
OM⊥AM (свойство касательной)
ON⊥AN (свойство касательной)
AO - общая
⇒ ΔAON = ΔAOM
⇒ AN = AM
ч.т.д.