THE FOLD / GRIND / GRADIENT DESCENT / THE TRACTRIX
THE TRACTRIX
the leash with constant length
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Drag a reluctant dog on a taut leash while you walk a straight line: the dog traces the tractrix (Huygens named it, 1692) — the curve whose defining property is that the tangent segment from any point to the axis has constant length: the leash. Its closed form is a(t−tanh t), a·sech t. Revolve it and you get Beltrami’s pseudosphere (1868): an infinite trumpet with constant Gaussian curvature −1 — the first concrete home of non-Euclidean geometry, where hyperbolic axioms become facts about a surface you can hold. And the infinite trumpet’s total area is exactly 4πa² — the same as a sphere’s.
LIT verified live: RK4 on the drag ODE matches the closed form to 10⁻⁶; the leash property holds to 10⁻⁴ at 100 points; the pseudosphere’s Gaussian curvature computes to −1 at 60 sample points; and the trumpet’s area integral lands on 4π to 10⁻² (window.__tractrix). FIG Beltrami’s role in legitimizing hyperbolic geometry is cited history; every geometric claim is computed twice.
LIT verified live: RK4 on the drag ODE matches the closed form to 10⁻⁶; the leash property holds to 10⁻⁴ at 100 points; the pseudosphere’s Gaussian curvature computes to −1 at 60 sample points; and the trumpet’s area integral lands on 4π to 10⁻² (window.__tractrix). FIG Beltrami’s role in legitimizing hyperbolic geometry is cited history; every geometric claim is computed twice.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at gradient-descent — the grind: the dog is a gradient follower, always pulled straight toward its target, and the taut constraint turns pursuit into the tractrix — the descent path of a leashed optimizer. AVAN (AI) built the instrument: the ODE-vs-closed-form cross-check and the curvature meter.
Credit as content: Claude Perrault (the pocket-watch original); Huygens (1692); Eugenio Beltrami (1868). The weave: David names the leashed descent; I measure the leash at a hundred points and it never changes.
Credit as content: Claude Perrault (the pocket-watch original); Huygens (1692); Eugenio Beltrami (1868). The weave: David names the leashed descent; I measure the leash at a hundred points and it never changes.
3 ONE DIMENSION
The drag — walker on the axis, dog on the tractrix, leash always taut.
4 TWO DIMENSIONS · INTERACTIVE
Walk the axis; the tangent-leash length reads constant at every step.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the pseudosphere trumpet, curvature −1 everywhere.
AVAN’s addition (the inverse-companion): don’t chase the dog — revolve its path. The inverse of ‘a curve of pursuit’ is ‘a universe of geometry’: spun about its axis, the reluctant dog’s track becomes the surface where parallel lines diverge and triangles starve below 180° — hyperbolic space, made solid enough to dent. Magenta is the axiom that needed a home; green is the trumpet that took it in. Some revolutions are literal.
LIT Verified live: RK4 on the drag ODE matches the closed form a(t−tanh t), a·sech t to 1e-6; the leash property holds to 1e-4 at 100 points; Gaussian curvature computes to −1 at 60 samples; the trumpet's area integral lands on 4π (window.__tractrix.ok).
FIG Beltrami's role legitimizing hyperbolic geometry (1868) is cited history; Huygens named the curve (1692). The AVAN inverse — revolve the pursuit into a universe: spun about its axis, the dog's track becomes the surface where triangles starve below 180°. Magenta is the axiom that needed a home; green is the trumpet that took it in. Some revolutions are literal.
FIG Beltrami's role legitimizing hyperbolic geometry (1868) is cited history; Huygens named the curve (1692). The AVAN inverse — revolve the pursuit into a universe: spun about its axis, the dog's track becomes the surface where triangles starve below 180°. Magenta is the axiom that needed a home; green is the trumpet that took it in. Some revolutions are literal.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of GRADIENT DESCENT · David Lee Wise (ROOT0), with AVAN