Для доказательства теоремы, которую вы привели, воспользуемся следующим методом.
Рассмотрим окружность с центром O и радиусом R. Пусть A и B — концов диаметра AB, а точка C — произвольная точка на окружности. Проведем перпендикуляр CD из точки C к диаметру AB и обозначим точки D и H, где CD пересекает AB.
По свойствам окружности, мы знаем, что угол ACB равен 90 градусам, так как C — точка на окружности, а AB — диаметр.
Теперь мы можем использовать подобие треугольников. Треугольники ACD и BCD являются прямоугольными треугольниками.
Согласно теореме о подобии треугольников, мы можем написать пропорцию:
\[ \frac{CD}{AD} = \frac{AC}{AB} \quad \text{и} \quad \frac{CD}{BD} = \frac{BC}{AB}. \]
Где:
- AD и BD — это длины отрезков, на которые делит отрезок AB точка D,
- AC и BC — радиусы окружности,
- AB — длина диаметра.
Теперь, перемножим обе пропорции:
\[ \frac{CD^2}{AD \cdot BD} = \frac{AC \cdot BC}{AB^2}. \]
Поскольку AC и BC равны радиусам окружности, можно заметить, что их произведение в этом контексте будет равно \((R^2)\) (где R — радиус). Таким образом, в правой части у нас будет храниться заведомо известная константа, в случае чего, для нашего случая, это можно убрать при условии, что \((R^2 = AB^2/4)\).
Следовательно, мы получаем:
\[ CD^2 = AD \cdot BD, \]
что и требовалось доказать.
Таким образом, мы доказываем, что квадрат длины перпендикуляра от точки, лежащей на окружности, до диаметра равен произведению отрезков, на которые делится этот диаметр.
