Сформулируйте и докажите теорему о свойстве касательной

Теорема о свойстве касательной к окружности
Теорема. Касательная к окружности перпендикулярна к радиусу, прове-
дённому в точку касания.
Дано: окр (О; ОА)
р – касательная к окружности,
А – точка касания.
Доказать: р перпендикулярна ОА.
Доказательство (методом от противного)
Предположим, что р не перпендикулярна ОА
В этом случае радиус ОА является наклонной к прямой р. Так как перпендикуляр, проведённый из точки О к прямой р, меньше наклонной ОА, то расстояние от центра О окружности до прямой р меньше радиуса. Следовательно, прямая р и окружность имеют две общие точки, т. е. р – секущая. Но это противоречит условию теоремы, что р - касательная к окружности. Так как получили противоречие, то предположение, что р не перпендикулярно ОА было неверным, значит, р перпендикулярна ОА. Итак, касательная к окружности перпендикулярна к радиусу, проведённому в точку касания. Ч. т. д.