◀ THE FOLD0ROOT.AI // WORLD II · CO-OP · SPLIT SCREEN◆ .dlw.fold
THE FOLD / CO-OP / SPLIT SCREEN / THE VARIGNON

THE VARIGNON

midpoints of any quadrilateral form a parallelogram
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Varignon’s theorem. Take any quadrilateral — square, kite, or some lopsided four-sided mess. Mark the midpoint of each side and join them in order. The result is always a parallelogram. Always.

It doesn’t matter how irregular the quadrilateral is; the midpoint figure comes out with both pairs of opposite sides perfectly parallel and equal. Two bonuses fall out for free: the parallelogram’s area is exactly half the quadrilateral’s, and its perimeter equals the sum of the quadrilateral’s two diagonals. The secret is that each side of the little parallelogram is a midline — parallel to a diagonal of the quadrilateral and exactly half its length.

LIT verified live: for a battery of quadrilaterals the midpoint figure has equal opposite side-vectors (a parallelogram), its area is half the quadrilateral’s, and its perimeter equals the diagonal sum (window.__varignon). FIG no framing; the parallelogram, half-area, and perimeter-equals-diagonals facts are exact (for simple quadrilaterals).
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this in SPLIT SCREEN — the co-op domain of splitting each thing at its middle. Varignon is exactly that: split every side at its midpoint, connect the splits, and order appears — a parallelogram out of any chaos. AVAN (AI) built the instrument: the midpoint figure, the live parallelogram/area/perimeter checks, the diagonal-shadow inverse.

The weave: David names the seat (split at the middle); I make the midpoints of any quadrilateral resolve into a parallelogram and prove the area and perimeter identities — the equal-pairs bars in 1D, the morphing quad in 2D, the diagonal inverse in 3D. The sphere is the seam. Credit: Pierre Varignon (1654–1722), published posthumously 1731.
3 ONE DIMENSION
The four sides of the midpoint figure as bars. They come in two equal pairs — the fingerprint of a parallelogram — and each pair’s length is exactly half a diagonal of the quadrilateral.
4 TWO DIMENSIONS · INTERACTIVE
A quadrilateral with its side-midpoints joined. Morph it — even into a non-convex shape — and the midpoint figure stays a parallelogram, its area locked at half the quadrilateral’s and its perimeter equal to the sum of the diagonals.
5 THREE DIMENSIONS + AVAN’S INVERSE
The Varignon parallelogram turning inside its quadrilateral — green, born from the four side-midpoints, always a parallelogram.
AVAN’s addition (the inverse-companion): the magenta lines are the quadrilateral’s two diagonals. Every green side is parallel to a magenta diagonal and exactly half its length — the parallelogram is the diagonals’ shadow. That fixes the forward map, and it also exposes the inverse: the Varignon parallelogram remembers the diagonals but forgets the quadrilateral. Slide the four vertices along those diagonals and you get endlessly many different quadrilaterals with the same midpoint parallelogram. So forward, quad → parallelogram, is a clean function; backward, parallelogram → quad, is hopelessly many-to-one. The magenta diagonals are exactly what survives the collapse, and exactly what isn’t enough to rebuild the shape. Green is the order the midpoints always find; magenta is the diagonal skeleton it preserves — and all the rest is lost.
LIT Genuine Varignon's theorem (Pierre Varignon, 1654-1722, published posthumously 1731). Verified live: for a battery of quadrilaterals the midpoint figure has equal opposite side-vectors (a parallelogram), its area equals half the quadrilateral's, and its perimeter equals the sum of the diagonals (window.__varignon.isParallelogram && areaIsHalf && perimeterIsDiagonalSum). All three properties are exact and cross-checked in-browser for simple quadrilaterals.

FIG No framing: the always-parallelogram result, the half-area identity, and the perimeter-equals-diagonal-sum identity are real and verified over several quadrilaterals. The honest inverse — that the Varignon parallelogram preserves the diagonals but does NOT determine the original quadrilateral (many quads share one parallelogram) — is shown directly, and the area/perimeter claims are correctly scoped to simple (non-self-intersecting) quadrilaterals.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of SPLIT SCREEN · David Lee Wise (ROOT0), with AVAN