THE FOLD / SPAWN / HELLO WORLD / THE ARBELOS
THE ARBELOS
the twins in the shoemaker's knife
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Take a semicircle, mark a point on its diameter, and carve out two smaller semicircles on the two pieces. The knife-shaped region left over is the arbelos — the ‘shoemaker’s knife’ of Archimedes’ Book of Lemmas, geometry’s oldest playground. Its two famous laws: erect the perpendicular at the split point, and (1) the arbelos’ area equals the circle drawn on that perpendicular chord — which is 2√(r₁r₂), the geometric mean made visible; (2) the two circles inscribed on either side of the perpendicular — Archimedes’ twins — are always congruent, radius r₁r₂/(r₁+r₂), however lopsided the split.
LIT verified live: 50 random splits — both twins solved from their three tangency constraints, radii equal to r₁r₂/(r₁+r₂) to 10⁻⁹ (worst ~10⁻¹⁶); arbelos area ≡ circle-on-the-altitude both routes; altitude ≡ 2√(r₁r₂) (window.__arbelos). FIG the Book of Lemmas survives through Arabic transmission (Thābit ibn Qurra) and its attribution is scholarly consensus, noted as such; Leon Bankoff — a Beverly Hills dentist and serious geometer — found a third congruent circle in 1974; we cite the triplet without re-deriving it.
LIT verified live: 50 random splits — both twins solved from their three tangency constraints, radii equal to r₁r₂/(r₁+r₂) to 10⁻⁹ (worst ~10⁻¹⁶); arbelos area ≡ circle-on-the-altitude both routes; altitude ≡ 2√(r₁r₂) (window.__arbelos). FIG the Book of Lemmas survives through Arabic transmission (Thābit ibn Qurra) and its attribution is scholarly consensus, noted as such; Leon Bankoff — a Beverly Hills dentist and serious geometer — found a third congruent circle in 1974; we cite the triplet without re-deriving it.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at hello-world — the spawn: the arbelos is geometry’s hello-world — three semicircles and a line, and out fall geometric means, congruent twins, and two millennia of papers. The simplest print statement with the deepest stack. AVAN (AI) built the instrument: the twin-solver (three tangencies, bisection), the area double-route, and the mean-made-visible check.
Credit as content: Archimedes (Book of Lemmas, Props. 4–6); Thābit ibn Qurra (transmission); Leon Bankoff (1974); Harold Boas’s survey. The weave: David names the first program; I run it fifty times and the twins never differ.
Credit as content: Archimedes (Book of Lemmas, Props. 4–6); Thābit ibn Qurra (transmission); Leon Bankoff (1974); Harold Boas’s survey. The weave: David names the first program; I run it fifty times and the twins never differ.
3 ONE DIMENSION
The shoemaker’s knife, its altitude, and the twins.
4 TWO DIMENSIONS · INTERACTIVE
Slide the split; the twins stay congruent, the areas stay equal.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the knife breathing — split sliding, twins locked.
AVAN’s addition (the inverse-companion): don’t admire the twins — ask what forces them equal. The inverse of ‘a charming coincidence’ is ‘a symmetry with no visible axis’: the two sides of the perpendicular are NOT mirror images — r₁ ≠ r₂ — yet the inscribed circles agree, because both compute the same harmonic quantity r₁r₂/(r₁+r₂) from opposite sides. Magenta is the lopsided split; green is the agreement it cannot break. Some equalities are conserved quantities wearing a costume.
LIT Verified live: 50 random splits — both twins solved from their three tangency constraints, radii equal to r₁r₂/(r₁+r₂) to 1e-8 (worst ~1e-16); arbelos area ≡ circle-on-altitude by two routes; altitude ≡ 2√(r₁r₂) (window.__arbelos.ok).
FIG Book of Lemmas attribution (via Thābit ibn Qurra's Arabic transmission) noted as scholarly consensus; Bankoff's 1974 triplet cited without re-derivation. The AVAN inverse — ask what forces the twins equal: no mirror symmetry exists (r₁≠r₂), yet both sides compute the same harmonic quantity. Magenta is the lopsided split; green is the agreement it cannot break. Some equalities are conserved quantities in costume.
FIG Book of Lemmas attribution (via Thābit ibn Qurra's Arabic transmission) noted as scholarly consensus; Bankoff's 1974 triplet cited without re-derivation. The AVAN inverse — ask what forces the twins equal: no mirror symmetry exists (r₁≠r₂), yet both sides compute the same harmonic quantity. Magenta is the lopsided split; green is the agreement it cannot break. Some equalities are conserved quantities in costume.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of HELLO WORLD · David Lee Wise (ROOT0), with AVAN