Докажите, что перпендикуляр, проведённый из какой-нибудь точки окружности к диаметру, есть среднее пропорциональ-ное для отрезков, на которые основание перпендикуляра делит диаметр.

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