Теорема: Прямая, проведённая через точку окружности перпендикулярно радиусу, проведённому в эту точку, является касательной к окружности.
Доказательство: Любая другая точка на этой прямой, кроме точки касания, будет находиться на расстоянии большем, чем радиус, от центра окружности, следовательно, она будет вне окружности.
Доказано.