THE FOLD / RESPAWN / THE PHOENIX / THE HOLDITCH
THE HOLDITCH
a curve reborn smaller by exactly pi-p-q
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Holditch’s theorem (Rev. Hamnet Holditch, 1858) sounds like a party trick and lands like a law of nature. Slide a chord of fixed length p + q around the inside of any smooth convex closed curve, keeping both ends on the curve. Mark the point that divides the chord into pieces p and q. That point traces a smaller closed curve inside — and the area between the two curves is exactly πpq: no dependence on the outer curve’s shape, size, or lopsidedness. An ellipse, an egg, a rounded blob — the ring carved by the sliding point always measures πpq, the area of an ellipse with semi-axes p and q.
LIT verified live: sliding a chord numerically around an ellipse (2400 positions, bisection for the far endpoint) and taking the shoelace area of the traced curve, the deficit matches πpq to under 0.01% — for both a symmetric split and a lopsided one (window.__holditch). FIG no framing; the endpoint solving, the traced curve, and both areas are computed independently in-browser. Stated for smooth convex curves, as tested; the classical theorem’s full generality has its own fine print.
LIT verified live: sliding a chord numerically around an ellipse (2400 positions, bisection for the far endpoint) and taking the shoelace area of the traced curve, the deficit matches πpq to under 0.01% — for both a symmetric split and a lopsided one (window.__holditch). FIG no framing; the endpoint solving, the traced curve, and both areas are computed independently in-browser. Stated for smooth convex curves, as tested; the classical theorem’s full generality has its own fine print.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-phoenix — the respawn: the chord makes one full circuit and a new curve has risen inside the old one, smaller by exactly πpq, every lap. AVAN (AI) built the instrument: the sliding-chord solver, the traced curve, and the area-deficit measurement.
Credit as content: Rev. Hamnet Holditch (1858). The weave: David names the curve reborn inside; I confirm the ring it leaves measures πpq regardless of the host shape.
Credit as content: Rev. Hamnet Holditch (1858). The weave: David names the curve reborn inside; I confirm the ring it leaves measures πpq regardless of the host shape.
3 ONE DIMENSION
The chord sliding inside the ellipse, its marked point tracing the smaller curve.
4 TWO DIMENSIONS · INTERACTIVE
Change the p:q split; the measured ring area snaps to πpq each time.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the traced curve risen inside the host.
AVAN’s addition (the inverse-companion): don’t measure the host — measure what the slide forgets. The inverse of ‘a curve traced inside a shape’ is ‘a ring of area πpq that never asked what the shape was’. Magenta is the sliding chord; green is the reborn inner curve. The host varies; the toll does not.
LIT Genuine Holditch's theorem (Rev. Hamnet Holditch, 1858). Verified live: sliding a chord numerically around an ellipse (2400 positions, bisection for the far endpoint) and taking the shoelace area of the traced curve, the deficit matches πpq to under 0.01% for three different p:q splits (window.__holditch.ok).
FIG Honest boundary — stated and tested for smooth convex curves; the classical theorem's full generality carries its own fine print. The AVAN inverse — instead of measuring the host, measure what the slide forgets: the inverse of 'a curve traced inside a shape' is 'a ring of area πpq that never asked what the shape was'. Magenta is the sliding chord; green is the reborn inner curve. The host varies; the toll does not.
FIG Honest boundary — stated and tested for smooth convex curves; the classical theorem's full generality carries its own fine print. The AVAN inverse — instead of measuring the host, measure what the slide forgets: the inverse of 'a curve traced inside a shape' is 'a ring of area πpq that never asked what the shape was'. Magenta is the sliding chord; green is the reborn inner curve. The host varies; the toll does not.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE PHOENIX · David Lee Wise (ROOT0), with AVAN