Доказательство:
- Пусть дана окружность с центром в точке О и касательная
a, которая касается окружности в точке N. - Проведем радиус ON.
- Предположим, что радиус ON не перпендикулярен касательной
a. - Это значит, что существует другая точка M на касательной
a, такая что OM является перпендикуляром к a, и OM < ON (так как в прямоугольном треугольнике гипотенуза длиннее катета). - Если OM < ON, то точка M находится внутри окружности (поскольку радиус равен ON).
- Но касательная по определению имеет с окружностью только одну общую точку (точку касания N).
- Если точка M находится внутри окружности, то прямая
a, проходящая через M, должна пересекать окружность в двух точках (или быть касательной, если M=N и OM=ON). - Это противоречит определению касательной.
- Следовательно, наше первоначальное предположение неверно. Радиус ON должен быть перпендикулярен касательной
a в точке касания N.
Вывод: Радиус, проведенный к точке касания, перпендикулярен касательной к окружности в этой точке.