THE FOLD / GLITCH / DIVIDE BY ZERO / THE KOCH
THE KOCH
infinite perimeter, finite area — dimension log4/log3
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Koch snowflake is a shape whose boundary is infinitely long yet encloses a finite area. Start with an equilateral triangle; on the middle third of every edge, erect a smaller triangular bump — turning 1 segment into 4, each a third as long. Repeat forever.
Each step multiplies the perimeter by 4/3, so the boundary grows without bound: after enough steps it is longer than any number you can name. Yet the whole figure never leaves a small circle — the area converges to exactly 8/5 of the starting triangle (2√3/5). A curve of infinite length bounding finite area, and with no tangent line anywhere — continuous but nowhere smooth. Its fractal dimension, how densely it fills space, is log4/log3 ≈ 1.2619, strictly between a line (1) and a plane (2). It was one of the first fractals, drawn in 1904, decades before the word existed.
LIT verified live: the perimeter 3·(4/3)n grows past any bound, the area partial sums converge to (8/5)·A₀, and the self-similarity dimension is exactly log4/log3 (window.__koch). FIG no framing; the infinite perimeter, the finite 8/5 area, and the dimension are exact.
Each step multiplies the perimeter by 4/3, so the boundary grows without bound: after enough steps it is longer than any number you can name. Yet the whole figure never leaves a small circle — the area converges to exactly 8/5 of the starting triangle (2√3/5). A curve of infinite length bounding finite area, and with no tangent line anywhere — continuous but nowhere smooth. Its fractal dimension, how densely it fills space, is log4/log3 ≈ 1.2619, strictly between a line (1) and a plane (2). It was one of the first fractals, drawn in 1904, decades before the word existed.
LIT verified live: the perimeter 3·(4/3)n grows past any bound, the area partial sums converge to (8/5)·A₀, and the self-similarity dimension is exactly log4/log3 (window.__koch). FIG no framing; the infinite perimeter, the finite 8/5 area, and the dimension are exact.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this in DIVIDE BY ZERO — the glitch domain of the quantity that blows up where you least expect. The Koch curve is a clean singularity: finite everywhere you look, yet its length runs to infinity, a boundary that never stops growing around a body that barely changes. AVAN (AI) built the instrument: the perimeter/area tracker, the recursive curve, the box-counting inverse.
The weave: David names the seat (the length that diverges); I make the boundary run to infinity while the area settles, and read the dimension off the scaling — the two limits in 1D, the drawn snowflake in 2D, the box-counting inverse in 3D. The sphere is the seam. Credit: Helge von Koch (1904); the word ‘fractal’ from Benoit Mandelbrot.
The weave: David names the seat (the length that diverges); I make the boundary run to infinity while the area settles, and read the dimension off the scaling — the two limits in 1D, the drawn snowflake in 2D, the box-counting inverse in 3D. The sphere is the seam. Credit: Helge von Koch (1904); the word ‘fractal’ from Benoit Mandelbrot.
3 ONE DIMENSION
Two curves against iteration count: the perimeter climbing by 4/3 each step, off the top of the chart toward infinity — and the area rising in ever-smaller steps to a flat ceiling at 8/5 of the first triangle. One diverges, one converges, in the same shape.
4 TWO DIMENSIONS · INTERACTIVE
The snowflake at iteration n. Add detail and watch the crinkled boundary lengthen without bound while the enclosed area barely moves. Every zoom reveals the same bumps on bumps — self-similar at every scale.
5 THREE DIMENSIONS + AVAN’S INVERSE
The curve built by inflation — the green forward step: split every segment into 4 copies, each scaled by 1/3, forever finer.
AVAN’s addition (the inverse-companion): the magenta is the box-counting inverse — instead of building the curve, measure it. Cover it with boxes of side 1/3 and you need 4 of them where 1 sufficed; shrink the boxes to 1/9 and you need 16; each threefold zoom demands four times as many boxes. That single ratio is the dimension: N = (1/r)d gives 4 = 3d, so d = log4/log3 ≈ 1.26. The forward map subdivides; its inverse counts how the pieces multiply as you look closer, and the number it recovers — a dimension strictly between 1 and 2 — explains the whole paradox: the curve is too crinkled to have finite length (d > 1) yet too thin to enclose any area itself (d < 2). Green inflates the boundary toward infinity; magenta counts boxes at ever-finer scales and reads back the fractional dimension that a straight line and a filled disc can never have. To measure a fractal is to ask how fast the pieces breed when you divide the ruler.
LIT Genuine Koch snowflake (Helge von Koch 1904; 'fractal' coined by Benoit Mandelbrot). Verified live: the perimeter 3*(4/3)^n grows past any bound, the area partial sums converge to (8/5)*A0 = 2*sqrt(3)/5 = 0.692820 (matched to 1e-6 by iteration 40), and the self-similarity dimension is exactly log4/log3 = 1.261860 (window.__koch.areaConverges && perimeterUnbounded && dimIsLog4Log3). The infinite perimeter, the finite 8/5 area, and the dimension are all exact.
FIG No framing: the unbounded perimeter, the convergent 8/5-area, and the log4/log3 fractal dimension are real and computed exactly in-browser. The AVAN inverse is the genuine derivation of that dimension via box-counting (N=(1/r)^d, 4=3^d), which also resolves the paradox honestly — dimension between 1 and 2 means too crinkled for finite length, too thin for positive area.
FIG No framing: the unbounded perimeter, the convergent 8/5-area, and the log4/log3 fractal dimension are real and computed exactly in-browser. The AVAN inverse is the genuine derivation of that dimension via box-counting (N=(1/r)^d, 4=3^d), which also resolves the paradox honestly — dimension between 1 and 2 means too crinkled for finite length, too thin for positive area.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of DIVIDE BY ZERO · David Lee Wise (ROOT0), with AVAN