Для решения данной задачи будем исследовать свойство подобия треугольников и использовать теорему о высоте в прямоугольном треугольнике.
Дана ситуация:
- У нас есть прямоугольный треугольник ( 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}
]
Это и требовалось доказать!
