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

Теорема1: Касательная к окружности перпендикулярна к радиусу, проведенному в точку касания.  Теорема2: Отрезки касательных к окружности, проведенные из одной точки, равны и составляют равные треугольники с прямой, проходящие через эту точку и центр окружности.  Теорема3: Если прямая проходит через конец радиуса, лежащий на окружности, и перпендикулярна к этому радиусу, то она является касательной.