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

Для доказательства данного утверждения рассмотрим следующую ситуацию:

Пусть у нас есть окружность с диаметром \( AB \) и точкой \( P \), через которую проведён перпендикуляр к диаметру \( AB \). Обозначим точки пересечения перпендикуляра с окружностью как \( C \) и \( D \), а отрезки диаметра как \( AC \) и \( BD \).

Теперь рассмотрим треугольники \( \triangle PAC \) и \( \triangle PBD \).

По построению эти треугольники являются прямоугольными, так как углы \( APC \) и \( BPD \) -- прямые (так как это диаметр). Также, углы \( PAC \) и \( PBD \) -- прямые (это перпендикуляры к окружности).

Теперь обратим внимание на подобные треугольники. Поскольку у них есть прямой угол и общий угол у основания перпендикуляра, \( \angle PAC \) и \( \angle PBD \), то треугольники \( \triangle PAC \) и \( \triangle PBD \) подобны.

Из подобия треугольников следует, что отношение длин сторон равно отношению длин других соответствующих сторон:

\[ \frac{AC}{BD} = \frac{PC}{PD} \]

Однако, так как \( PC = PD \) (они оба равны радиусу окружности), то получаем:

\[ \frac{AC}{BD} = \frac{PD}{PD} = 1 \]

Из этого следует, что \( AC = BD \), то есть длины отрезков \( AC \) и \( BD \), на которые перпендикуляр делит диаметр, равны. Таким образом, перпендикуляр, проведённый из точки окружности к диаметру, является средним пропорциональным для отрезков \( AC \) и \( BD \).