Чтобы доказать, что отрезок, соединяющий середины диагоналей трапеции, параллелен её основаниям и равен полуразности оснований, используем свойства трапеции и некоторые теоремы о параллельных прямых и равенстве отрезков.
Пусть ABCD — трапеция, где основаниями являются отрезки AB и CD (AB || CD), и пусть M и N — середины диагоналей AC и BD соответственно.
Параллельность отрезка MN основаниям AB и CD: Рассмотрим два треугольника: ∆AMC и ∆BND. Поскольку M и N — середины отрезков AC и BD, то отрезок MN служит средней линией для этих треугольников. По свойству средней линии, средняя линия треугольника параллельна основанию и равна половине основания. То есть, MN || AB и MN || CD.
Равенство отрезка MN полуразности оснований: Мы знаем, что: \[ AB = a \quad (основание) \quad и \quad CD = b \quad (основание) \] По свойству средней линии для треугольников ∆AMC и ∆BND, имеем: \[ MN = \frac{1}{2} (AB - CD) = \frac{1}{2} (a - b) \] Таким образом, отрезок MN равен полуразности оснований трапеции.
Объединяя всё вышесказанное, мы приходим к выводу, что отрезок, соединяющий середины диагоналей трапеции, действительно параллелен основаниям и равен полуразности оснований. Это завершает наше доказательство.