Das die Strecke EF parallel zu AB bzw. CD verläuft
setze ich voraus. Der Beweis wäre recht einfach.
Für die x-Koordinaten der Punkte gilt.
E = ( A + D ) / 2
F = ( B + C ) / 2
Strecke EF
( B + C ) / 2 - ( A + D ) / 2
( B + C - A - D ) / 2
Strecken AB + CD
( B - A ) + ( C - D ) = ( B - A + C - D ) =
( B + C - A - D )
EF ist die Hälfte der Strecken AB + CD