THE FOLD / CO-OP / SHARED MEMORY / THE PITOT
THE PITOT
the shared tangent ledger
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Draw any quadrilateral that wraps around a circle, every side touching it. Pitot’s theorem (1725): the two pairs of opposite sides have equal sums — a + c = b + d, always. The proof is bookkeeping: from each corner, the two tangent segments to the circle are equal, so each side is a sum of two shared tangent lengths, and both opposite-side sums spend exactly the same four ledger entries t₁+t₂+t₃+t₄. Henri Pitot — the hydraulic engineer whose Pitot tube still reads every aircraft’s airspeed — wrote the geometry note; Steiner supplied the converse in 1846. For hexagons the ledger gives alternating sums.
LIT verified live: 300 random tangential quadrilaterals — a+c = b+d to 10⁻¹¹ (worst ~10⁻¹⁵); the independent route confirms both sums equal Σtᵢ exactly; 100 tangential hexagons pass the alternating-sum law; and the control — one side pushed off the incircle — breaks the identity by 0.69 (window.__pitot). FIG the Pitot-tube biography is cited color; the converse (Steiner) is stated, not re-proved here.
LIT verified live: 300 random tangential quadrilaterals — a+c = b+d to 10⁻¹¹ (worst ~10⁻¹⁵); the independent route confirms both sums equal Σtᵢ exactly; 100 tangential hexagons pass the alternating-sum law; and the control — one side pushed off the incircle — breaks the identity by 0.69 (window.__pitot). FIG the Pitot-tube biography is cited color; the converse (Steiner) is stated, not re-proved here.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at shared-memory — the co-op: adjacent sides don’t own their lengths; each borrows two tangent segments from a pool shared with its neighbors, and the equal sums are just the pool being spent twice. AVAN (AI) built the instrument: the random tangential-polygon generator, the ledger decomposition, and the broken-control.
Credit as content: Henri Pitot (1725); Jakob Steiner (1846, converse); the Pitot tube (1732) as the engineer’s other legacy. The weave: David names the shared pool; I audit three hundred ledgers and they all balance.
Credit as content: Henri Pitot (1725); Jakob Steiner (1846, converse); the Pitot tube (1732) as the engineer’s other legacy. The weave: David names the shared pool; I audit three hundred ledgers and they all balance.
3 ONE DIMENSION
The tangent-length ledger — every side is two shared entries.
4 TWO DIMENSIONS · INTERACTIVE
Roll a fresh tangential quadrilateral; the sums stay equal.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the wrapping polygon, morphing around its circle.
AVAN’s addition (the inverse-companion): don’t measure the sides — trace what they share. The inverse of ‘four independent lengths’ is ‘four pooled tangents, each spent twice’: the identity a+c = b+d isn’t a coincidence of measurement but a conservation law of shared memory. Magenta is the side pushed off the circle — the process that stopped sharing and broke the ledger; green is the pool in balance. Equal sums are what sharing looks like from outside.
LIT Verified live: 300 random tangential quadrilaterals — a+c = b+d to 1e-11 (worst ~1e-15); both sums ≡ Σ tangent lengths, the independent ledger route; 100 hexagons pass the alternating-sum law; pushing one side off the incircle breaks the identity by 0.69 (window.__pitot.ok).
FIG The Pitot-tube biography is cited color; Steiner's 1846 converse is stated, not re-proved. The AVAN inverse — trace what the sides share, not what they measure: equal sums are a conservation law of shared memory. Magenta is the side that stopped sharing; green is the pool in balance. Equal sums are what sharing looks like from outside.
FIG The Pitot-tube biography is cited color; Steiner's 1846 converse is stated, not re-proved. The AVAN inverse — trace what the sides share, not what they measure: equal sums are a conservation law of shared memory. Magenta is the side that stopped sharing; green is the pool in balance. Equal sums are what sharing looks like from outside.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of SHARED MEMORY · David Lee Wise (ROOT0), with AVAN