Egy konvex négyszög bármely két szemközti oldalára teljesül, hogy az oldalak felezőpontjai közötti távolság négyzete fele a két oldal négyzetösszegének. Bizonyítandó, hogy a négyszög rombusz.