Дано: прямая p, окружность с центром O и радиусом R, точка H на окружности, OH ⊥ p.
Доказать: прямая p — касательная к окружности.
Доказательство:
OH ⊥ p. Отрезок OH является радиусом окружности, так как H лежит на окружности и O — центр окружности. Длина этого радиуса равна R.O до прямой p равно длине отрезка OH, то есть R.OH = R), то прямая и окружность имеют ровно одну общую точку.p имеет ровно одну общую точку H с окружностью (точка касания), по определению она является касательной к окружности.Таким образом, доказано, что прямая p является касательной к окружности.