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