Why Coastlines Have No Finite Length: The Infinite Perimeter of the Koch Curve

The Koch curve, introduced by Swedish mathematician Helge von Koch in 1904, is built by repeatedly replacing the middle third of each line segment with the two sides of an equilateral triangle.

Start with a straight line segment.

Divide the segment into three equal parts and replace the middle part with the two sides of an equilateral triangle, forming a four‑segment broken line.

Apply the same replacement to every segment of the new broken line, producing 16 segments.

Repeat the process indefinitely, each iteration increasing the number of segments and the total length.

The limit of this infinite process is the Koch curve.

Unlike a smooth curve, the Koch curve remains highly irregular at every scale; any magnified segment looks as complex as the whole. Measuring its length with a ruler of size \(\ell\) requires \(4^n\) steps after \(n\) iterations, giving a measured length \(L_n = (4/3)^n\). As \(n\) grows, \(L_n\) diverges to infinity, showing the curve has infinite perimeter.

In contrast, a smooth curve (e.g., a circle) becomes indistinguishable from a straight line when examined at sufficiently small scales; the measurement error shrinks as the ruler length approaches zero, and the measured length converges to a finite value.

The Koch snowflake, formed by joining three Koch curves, encloses a finite area while its perimeter remains infinite, highlighting the stark difference between smooth and fractal geometries.

Because every small piece of the Koch curve is a reduced copy of the whole, no matter how short the measuring stick, it cannot be approximated by a straight line; thus the curve’s length is not measurable in the traditional sense.

Although the Koch curve’s perimeter is infinite, its area is effectively zero. By constructing the curve via successive removal of equilateral triangles from an isosceles triangle, the total removed area forms a convergent geometric series, leaving a negligible remaining area.

Key characteristics of the Koch curve:

Nowhere smooth; it has no tangent at any point, and local detail mirrors the whole.

Its length is infinite while its area is zero, making conventional measurements unsuitable.

It exhibits exact self‑similarity: any magnified fragment reproduces the entire curve.

Despite its complexity, it is generated by a simple recursive rule.