Доказательство этой геометрической теоремы можно провести с использованием свойств кругов и прямоугольных треугольников.
Обозначения: Пусть у нас есть окружность с центром O и радиусом R. Обозначим диаметр, лежащий на оси x, как отрезок AB, где A и B - точки на окружности, а P - произвольная точка на окружности, из которой проведён перпендикуляр к диаметру AB. Обозначим точку падения перпендикуляра на диаметр как точку M.
Очертили перпендикуляр: Из точки P на окружности проведён перпендикуляр к диаметру AB, который пересекает диаметр в точке M.
Обозначим отрезки: Обозначим длину отрезка AM как x, а длину отрезка MB как y. Тогда весь отрезок AB имеет длину \( AB = AM + MB = x + y \).
Используем свойства окружности: Известно, что точка P на окружности удовлетворяет уравнению окружности. Если радиус R, то у нас есть уравнение: \[ OM^2 + PM^2 = R^2, \] где OM — расстояние от центра окружности до диаметра, а PM — длина перпендикуляра от точки P до диаметра.
Найдём длину PM: Мы знаем, что расстояние от центра O по вертикали (например, по оси y) до точки M на диаметре равно 0 (так как M находится на диаметрe), и длина PM будет равна ширине окружности в точке P. Это длина перпендикуляра, который можно обозначить как h.
Применим теорему о среднем пропорциональном: Согласно свойству, которое мы хотим доказать, следующее должно выполняться: \[ PM^2 = AM \cdot MB \] или \[ h^2 = x \cdot y. \]
Подготовим выражения: Мы можем записать следующее уравнение с учётом свойств окружности: \[ (OM^2 + PM^2 = R^2) \rightarrow (0 + h^2 = R^2) \) Что показывает, что: \[ h^2 = R^2 - (x - y)^2 \rightarrow h^2 = x \cdot y. \]
Заключение: Таким образом, мы пришли к заключению, что длина перпендикуляра (PM), поднятого из точки P окружности к диаметру AB является средним пропорциональным для отрезков AM и MB.
Таким образом, теорема доказана.