Для доказательства данного утверждения рассмотрим следующую ситуацию:
Пусть у нас есть окружность с диаметром ( 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 ).