Для доказательства этой теоремы рассмотрим трапецию \( ABCD \) с основаниями \( AB \) и \( CD \), где \( AB \) параллельно \( CD \). Обозначим середины диагоналей \( AC \) и \( BD \) как \( M \) и \( N \) соответственно.
Параллельность: Попробуем показать, что отрезок \( MN \) параллелен основаниям \( AB \) и \( CD \). Обозначим высоту трапеции (расстояние между основаниями) как \( h \) и основы \( AB = a \), \( CD = b \).
Поскольку точки \( A \), \( B \), \( C \) и \( D \) расположены на плоскости, можно установить координаты:
- \( A(0, 0) \)
- \( B(a, 0) \)
- \( C(x_1, h) \)
- \( D(x_2, h) \)
Тогда координаты середины диагонали \( AC \): \[ M\left(\frac{0 + x_1}{2}, \frac{0 + h}{2}\right) = \left(\frac{x_1}{2}, \frac{h}{2}\right) \]
И координаты середины диагонали \( BD \): \[ N\left(\frac{a + x_2}{2}, \frac{0 + h}{2}\right) = \left(\frac{a + x_2}{2}, \frac{h}{2}\right) \]
Теперь мы проверим, равны ли \( y \)-координаты точки \( M \) и точки \( N \): \[ \text{y-координата } M = \frac{h}{2}, \quad \text{y-координата } N = \frac{h}{2} \] Оба отрезка имеют одинаковую \( y \)-координату, следовательно, отрезок \( MN \) параллелен основаниям \( AB \) и \( CD \).
Длина отрезка: Теперь найдем длину отрезка \( MN \): \[ MN = N_x - M_x = \frac{a + x_2}{2} - \frac{x_1}{2} = \frac{a + x_2 - x_1}{2} \]
Поскольку \( x_1 \) и \( x_2 \) располагаются вдоль одной горизонтали на уровне основания \( CD \), можем воспользоваться тем фактом, что \( x_1 \) и \( x_2 \) находятся на уровне предыдущем основании \( AB \), и, таким образом: \[ x_2 - x_1 = b - a \] Следовательно, \[ MN = \frac{(b - a)}{2} \] То есть, отрезок \( MN \) равен полу разности оснований трапеции.
Таким образом, мы доказали, что отрезок, соединяющий середины диагоналей трапеции, параллелен её основаниям и равен полу разности оснований.