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

Чтобы доказать, что перпендикуляр, проведенный из какой-нибудь точки окружности к диаметру, является средним пропорциональным для отрезков, на которые основание перпендикуляра делит диаметр, следуем следующим шагам. ### Шаг 1: Изобразим окружность и необходимые элементы 1. Пусть \( O \) — центр окружности, \( AB \) — диаметр окружности, и пусть \( C \) — произвольная точка на окружности. 2. Проведем перпендикуляр \( CD \) из точки \( C \) к диаметру \( AB \). Точка \( D \) будет точкой пересечения перпендикуляра с диаметром. ### Шаг 2: Обозначим отрезки 3. Обозначим \( AD = x \) и \( DB = y \). Тогда длина диаметра равна \( AB = AD + DB = x + y \). ### Шаг 3: Используем теорему Пифагора 4. Теперь рассмотрим треугольник \( ODC \). По теореме Пифагора в этом прямоугольном треугольнике: \[ OC^2 = OD^2 + CD^2 \] где \( OC \) — это радиус окружности (обозначим его \( R \)), \( OD = \frac{x + y}{2} \) (половина диаметра), и \( CD \) — длина перпендикуляра, который мы будем обозначать как \( h \). ### Шаг 4: Найдем зависимости 5. Таким образом, по теореме Пифагора можно записать: \[ R^2 = \left(\frac{x + y}{2}\right)^2 + h^2. \] ### Шаг 5: Установим связь 6. Из основной пропорции, которую мы хотим доказать, следует, что длина перпендикуляра \( h \) является средним пропорциональным для отрезков \( x \) и \( y \): \[ h^2 = x \cdot y. \] ### Шаг 6: Доказательство средней пропорциональности 7. Итак, учитывая, что \( h^2 \) равно \( x \cdot y \), мы можем заключить, что: \[ h^2 = x \cdot y \implies h = \sqrt{x \cdot y}. \] ### Итог: Таким образом, мы показали, что длина перпендикуляра \( CD \) является средним пропорциональным между отрезками \( AD \) и \( DB \). Это завершает доказательство. ### Заключение Мы использовали свойства окружности и теорему Пифагора для подтверждения утверждения о средних пропорционалах. Этот результат является основополагающим в геометрии кругов и может быть применен в различных задачах по геометрии.