Чтобы доказать теорему Вариньона, согласно которой середины сторон произвольного четырехугольника являются вершинами параллелограмма, рассмотрим произвольный четырехугольник ABCD. Обозначим середины сторон следующим образом:
- M — середина стороны AB,
- N — середина стороны BC,
- O — середина стороны CD,
- P — середина стороны DA.
Нам нужно показать, что четырехугольник MNOP является параллелограммом.
Сначала найдем векторы: Обозначим вектора: \(\vec{A}\) — координаты точки A, \(\vec{B}\) — координаты точки B, \(\vec{C}\) — координаты точки C, \(\vec{D}\) — координаты точки D.
Тогда координаты середины отрезка AB можно записать: \[ \vec{M} = \frac{\vec{A} + \vec{B}}{2} \]
Аналогично для других точек: \[ \vec{N} = \frac{\vec{B} + \vec{C}}{2} \] \[ \vec{O} = \frac{\vec{C} + \vec{D}}{2} \] \[ \vec{P} = \frac{\vec{D} + \vec{A}}{2} \]
Теперь найдем векторы MN и OP: \[ \vec{N} - \vec{M} = \left( \frac{\vec{B} + \vec{C}}{2} \right) - \left( \frac{\vec{A} + \vec{B}}{2} \right) = \frac{\vec{C} - \vec{A}}{2} \]
\[ \vec{O} - \vec{P} = \left( \frac{\vec{C} + \vec{D}}{2} \right) - \left( \frac{\vec{D} + \vec{A}}{2} \right) = \frac{\vec{C} - \vec{A}}{2} \]
Таким образом, мы видим, что векторы MN и OP равны: \[ \vec{N} - \vec{M} = \vec{O} - \vec{P} \]
Теперь найдем векторы NP и MO: \[ \vec{P} - \vec{N} = \left( \frac{\vec{D} + \vec{A}}{2} \right) - \left( \frac{\vec{B} + \vec{C}}{2} \right) = \frac{\vec{D} + \vec{A} - \vec{B} - \vec{C}}{2} \]
\[ \vec{M} - \vec{O} = \left( \frac{\vec{A} + \vec{B}}{2} \right) - \left( \frac{\vec{C} + \vec{D}}{2} \right) = \frac{\vec{A} + \vec{B} - \vec{C} - \vec{D}}{2} \]
Мы можем заметить, что: \[ \vec{P} - \vec{N} = -(\vec{M} - \vec{O}) \]
Таким образом, векторы MN и OP параллельны, а также векторы NP и MO параллельны и равны.
Мы доказали, что стороны четырёхугольника MNOP попарно параллельны, что и является определением параллелограмма.
В заключение, середины сторон произвольного четырехугольника действительно образуют параллелограмм, что и следует из теоремы Вариньона.