Если прямая СD касается окружности в точке М, то всякая другая точка прямой СD будет находиться вне круга, ограниченного этой окружностью, следовательно, расстояние от каждой точки прямой СD до центра, кроме точки М, будет больше расстояния ОМ — радиуса окружности. Значит, этот радиус есть наименьший из отрезков, соединяющих точку О с точками прямой СD, поэтому ОМ _|_ СD.
Если прямая СD касается окружности в точке М, то всякая другая точка прямой СD будет находиться вне круга, ограниченного этой окружностью, следовательно, расстояние от каждой точки прямой СD до центра, кроме точки М, будет больше расстояния ОМ — радиуса окружности. Значит, этот радиус есть наименьший из отрезков, соединяющих точку О с точками прямой СD, поэтому ОМ _|_ СD.