Признак касательной к окружности. Формулировки и доказательства
Касательная, проведенная к окружности, образует прямой угол с радиусом этой окружности.