Koch snowflake

The Koch snowflake is a plane curve constructed by recursively replacing the middle third of every line segment with two sides of an equilateral triangle. Introduced by Helge von Koch in 1904, it was one of the first fractals to be described rigorously — before the term fractal existed. The result is a curve of infinite length that encloses a finite area: a boundary so jagged it has no well-defined tangent at any point.

Construction

Start with an equilateral triangle. On the middle third of each side, erect an equilateral triangle pointing outward, then remove the base segment that was replaced. Repeat on every segment of the resulting polygon. After infinite iterations, the limit curve is the Koch snowflake. At stage n, the curve has 3·4^n segments, each of length (1/3)^n, giving total length L_n = 3·(4/3)^n — which diverges as n → ∞.

Dimension and Properties

The Koch snowflake has Hausdorff dimension log(4)/log(3) ≈ 1.2619. It is everywhere continuous but nowhere differentiable: no matter how close you zoom, the curve never straightens. This property was deeply disturbing to mathematicians trained on smooth curves, and Koch's construction was offered explicitly as a counterexample to the naive belief that continuity implies differentiability.

The snowflake is exactly self-similar: each of its four main segments is a scaled copy of the whole. This recursive construction makes it analytically tractable, unlike natural fractals where self-similarity is only statistical.

Significance

The Koch snowflake demonstrates that geometric intuition fails at the infinite limit. A finite area can have an infinite perimeter; a continuous curve can lack tangents. These properties, once pathological, are now understood as generic features of complex systems. The snowflake appears in models of coastline formation, crystal growth, and the propagation of cracks in brittle materials.

The Koch snowflake is not a monster. It is a warning: the smooth world of calculus is a special case, and the generic world is jagged. To assume differentiability is to assume away the complexity that nature actually possesses.