Рассмотрим трапецию (ABCD), где (AD) и (BC) — её основания. Пусть точка (K) лежит на стороне (CD) так, что (CK:KD = 1:2). Это означает, что точка (K) делит отрезок (CD) в отношении (1:2).
Точка (O) — точка пересечения отрезка (AK) с диагональю (BD). Нам нужно доказать, что в случае, если основания трапеции соотносятся как (BC:AD = 1:2), то отрезки (BO) и (OD) равны.
Для доказательства будем использовать теорему Менелая для треугольника (BCD) с секущей (AK).
Шаг 1: Применение теоремы Менелая
Для треугольника (BCD) и секущей (AK) теорема Менелая гласит, что:
[
\frac{BK}{KD} \cdot \frac{DO}{OC} \cdot \frac{AC}{AB} = 1
]
Из условия задачи (CK:KD = 1:2), следовательно, (\frac{CK}{KD} = \frac{1}{2}). Поскольку (K) делит (CD) в отношении (1:2), то (CK = \frac{1}{3}CD) и (KD = \frac{2}{3}CD).
Шаг 2: Отношение оснований
Также из условия задачи (BC:AD = 1:2), что означает:
[
\frac{BC}{AD} = \frac{1}{2}
]
Шаг 3: Применение теоремы Менелая
Подставим известные отношения в равенство из теоремы Менелая:
[
\frac{BK}{KD} = \frac{BK}{\frac{2}{3}CD}
]
Так как точка (K) делит (CD) в отношении (1:2), мы можем выразить (BK) через (BC):
[
BK = BC - CK = BC - \frac{1}{3}CD
]
Теперь используем теорему Менелая:
[
\frac{BK}{KD} \cdot \frac{DO}{OC} = 1
]
Подставим значения:
[
\frac{BC - \frac{1}{3}CD}{\frac{2}{3}CD} \cdot \frac{DO}{OC} = 1
]
Шаг 4: Упрощение и завершение
Так как (BC = \frac{1}{2}AD) и (AD = 2 \times BC), то (CD = BC + AD = BC + 2BC = 3BC). Следовательно, (CD = 3 \times BC).
Подставляя это в уравнение, получим:
[
\frac{\frac{1}{2}AD - \frac{1}{3} \times 3BC}{\frac{2}{3} \times 3BC} \cdot \frac{DO}{OC} = 1
]
После упрощения соотношений и сокращения, мы приходим к выводу, что:
[
\frac{DO}{OC} = 1
]
Следовательно, (DO = OC), и точка (O) является серединой отрезка (BD). Это означает, что (BO = OD), что и требовалось доказать.