Beweis per Schwerpunktsatz

Schwpkt AD

Schwpkt AB

Schwpkt BC

Schwpkt CD

Schwpkt AD/BC

Schwpkt AB/CD

A = (1, 1.5)
B = (5, 1.5)
C = (5, 3.5)
D = (1, 3.5)
Vieleck1, AB, BC, CD, AD = Polygon(A, B, C, D)
SP = Midpoint(D, A)
J = Midpoint(A, B)
K = Midpoint(B, C)
L = Midpoint(C, D)
Vieleck2, i, j, k, l = Polygon(SP, J, K, L)
AD_.BC = Segment(SP, K)
CD_.AB = Segment(L, J)
E = Midpoint(L, J)
F = Midpoint(SP, K)