Для доказательства данной теоремы рассмотрим равнобедренную трапецию \( ABCD \) с основаниями \( AB \) и \( CD \), где \( AB < CD \) и острым углом \( \angle DAB = 60° \). Обозначим длину большего основания \( CD = a \), боковой стороны \( AD = b \) и меньшее основание \( AB = x \).
Нарисуем трапецию:
A--------B
/ \
/ \
C-------------D
Теперь представим, что из вершины \( A \) опустим perpendicular \( AE \) на основание \( CD \), где \( E \) является проекцией точки \( A \) на \( CD \). Учитывая, что угол \( DAB = 60° \), можно записать:
\[ \tan(60°) = \frac{h}{DE} \quad (1) \]
где \( h \) — высота трапеции. Так как \( \tan(60°) = \sqrt{3} \), у нас получается:
\[ \sqrt{3} = \frac{h}{DE} \implies h = \sqrt{3} \cdot DE \quad (2) \]
Теперь обратим внимание на треугольник \( AED \), где мы знаем, что \( AD = b \), и можем выразить \( DE \):
В треугольнике \( AED \) по теореме Пифагора:
\[ AD^2 = AE^2 + DE^2 \quad (3) \]
Подставляем \( AE = h \):
\[ b^2 = h^2 + DE^2 \quad (4) \]
Теперь, зная, что \( DE = CD - CE \) (где \( CE = x \)), можем выразить его как:
\[ DE = a - x \quad (5) \]
Теперь подставим \( DE \) из уравнения (5) в уравнение (4):
\[ b^2 = h^2 + (a - x)^2 \]
Подставим выражение для \( h \) из уравнения (2):
\[ b^2 = (\sqrt{3} \cdot DE)^2 + (a - x)^2 = 3(a - x)^2 + (a - x)^2 \] \[ b^2 = 4(a - x)^2 \]
Из этого следует, что:
\[ b = 2(a - x) \quad (6) \]
Теперь из уравнения (6) можем выразить \( x \):
\[ x = a - \frac{b}{2} \]
Таким образом, мы доказали, что меньшее основание равнобедренной трапеции \( AB \) можно выразить как разность большего основания и половины боковой стороны.
Надеюсь, это объяснение было понятным и полезным для вас! Если есть дополнительные вопросы или нужна помощь с другими темами, не стесняйтесь задавать!
