Ответ:

Обозначим через P точку пересечения отрезков AB и CD. Так как A и B не лежат на прямой CD, точка P находится между A и B.

Пусть точка P делит AB в отношении AP:PB = t:(1−t), где 0 < t < 1. Тогда P = (1−t)A + tB. Поскольку P лежит на CD, существуют числа u и v такие, что P = (1−u)C + uD.

По определению середин M = (A+C)/2 и N = (B+D)/2. Поэтому середина отрезка MN имеет радиус-вектор

\[\frac{M+N}{2}=\frac{A+B+C+D}{4}.\]

Из равенства выражений для P следует A+B+C+D = 2P + (1−2t)(A−B) + (1−2u)(C−D), что само по себе не гарантирует середину MN на CD; вместо этого рассмотрим ориентированные расстояния до прямой CD.

Обозначим ориентированные расстояния от A и B до CD через a и b. Поскольку AB пересекает CD, числа a и b имеют противоположные знаки. Точки C и D лежат на CD, поэтому ориентированные расстояния от M и N до CD равны соответственно a/2 и b/2. Они также имеют противоположные знаки. Следовательно, отрезок MN пересекает прямую CD.

Что и требовалось доказать.