Для решения данной задачи будем исследовать свойство подобия треугольников и использовать теорему о высоте в прямоугольном треугольнике.
Дана ситуация:
- У нас есть прямоугольный треугольник \( ABC \), где угол \( C \) равен 90° (то есть \( AB \) — гипотенуза).
- Высота \( CD \) опущена из вершины \( C \) на гипотенузу \( AB \). Высота \( CD \) делит прямоугольный треугольник \( ABC \) на два более мелких треугольника: \( ACD \) и \( BCD \).
Поскольку \( CD \) является высотой, то:
- \( CD \perp AB \)
- Треугольники \( ACD \) и \( BCD \) подобны треугольнику \( ABC \).
Шаг 1: Запишем пропорции для подобия треугольников
Так как треугольники \( ACD \), \( BCD \) и \( ABC \) подобны, мы можем записать следующие соотношения:
Для треугольника \( ACD \): \[ \frac{AC}{AB} = \frac{CD}{AC} \quad \Rightarrow \quad AC^2 = AB \cdot CD \]
Для треугольника \( BCD \): \[ \frac{BC}{AB} = \frac{CD}{BC} \quad \Rightarrow \quad BC^2 = AB \cdot CD \]
Шаг 2: Выразим высоту через стороны
Из этих двух уравнений можно выразить высоту \( CD \):
\[ CD = \frac{AC^2}{AB} \quad \text{и} \quad CD = \frac{BC^2}{AB} \]
Шаг 3: Подстановки и вывод
Из этих равноценных отношений: \[ AC^2 = AB \cdot CD \quad \text{и} \quad BC^2 = AB \cdot CD \]
Можно рассмотреть продукт \( AC \) и \( BC \): \[ AC \times BC = \sqrt{AB \times CD \cdot AB \times CD} = \sqrt{(AB)^2 \cdot (CD)^2} \]
Шаг 4: Доказательство заданного выражения
Теперь применим результаты:
\( AC^2 = AB \cdot CD \) можно переписать как: \[ AC = \sqrt{AB \cdot BD} \]
\( BC^2 = AB \cdot CD \) аналогично: \[ BC = \sqrt{AB \cdot AD} \]
Таким образом, доказаны искомые равенства: \[ AC = \sqrt{AB \times BD}, \quad BC = \sqrt{AB \times AD} \]
Заключение
Таким образом, мы получили, что: \[ AC = \sqrt{AB \times AD} \quad \text{и} \quad BC = \sqrt{AB \times BD} \]
Это и требовалось доказать!