## The Koch Curve

Arunn NarasimhanThe Koch Curve or the von Koch snowflake was discovered by Helge von Koch (1870-1924) in 1904. It is a closed fractal curve of infinite length within a finite region of space, enclosing a finite area. The construction of such a curve and some of its unique properties is explained in this note.

Take an equilateral triangle as shown below in Figure 1, with sides of, say, 1 unit each. This is the zeroth iteration of the Koch curve.

For the first iteration we split each side of the equilateral triangle into 3 equal parts, with the middle 1/3rd being replaced essentially by another smaller equilateral triangle made of side of 1/3 unit. The resulting figure is shown in Fig. 1b.

What we have done in the first iteration is to replace each side made of 1 unit stick by four, 1/3 unit sticks, arranged such that their end points remain fixed between the original 1 unit length of iteration zero. This procedure automatically fixes the angles of the protruding equilateral triangle in Figure 1b, and thus increases the original area confined by the equilateral triangle of Figure 1a, to that of Figure 1b.

By following the previous procedure, in the second iteration, we could now generate Figure 1c out of Figure 1b, with each of the sides of Figure 1b now being replaced in their middle thirds with even smaller equilateral triangles of sides made of 1/9 unit sticks.

Results of iteration three, four and five are shown in Figure 1d, e and f respectively.

The procedure could be repeated many times, to reach the von Koch Snowflake, when the iteration tends to infinity. There is an applet available at http://www.efg2.com/lab, for trying out more iterations and other Koch type of curves, starting from other basic geometrical figures instead of the equilateral triangle we used here.

Intuitively we could see that this resulting figure would have infinite length for its sides - if we could possibly draw it - while enclosing a finite area as shown in Fig. 1. How much would be the area when we actually do the infinite iterations?

To answer this let us put this procedure in a mathematical footing involving simple algebra.

The derivation for calculating the enclosed area done here follows the explanation given in [1]. Similar explanations are available in the Wikipedia page [2].

Let after n iterations (n ≥ 0)

- N
_{n}= number of sides - l
_{n}= length of each side - L
_{n}= length of perimeter = N_{n}× l_{n}

For instance, if l_{0} = 1, N_{0} = 3, then L_{0} = 3.

Since we increase in every iteration the number of sides by a factor of four
(compare Figure 1a and 1b) and since N_{0} = 3, then it means

Further, for each iteration, the length of a side decreases by a factor
of 3. for instance we used a stick of length unit 1 to form the side of
Figure 1a, while in Figure 1b each side of Figure 1a is replaced by 4
sticks of length unit 1/3 of the original. Since l_{0} = 1, we could write
then,

The perimeter after the n´th iteration becomes

which, in other words, means

So, the length of this closed curve does actually goes to infinity. Now, for the area it encloses.

We know from our high school trigonometry that the area of a triangle can be calculated using the Heron’s formula

where l_{n} is the length of a side, with s = 1∕2 × (l_{n} + l_{n} + l_{n}) = 3∕2 × l_{n}.

Using the above formula, for Figure 1a, the zeroth iteration of the Koch curve, we could write

By comparing Figure 1a and 1b we could see that we are increasing the area
by adding 3 × 4(n - 1) equilateral triangles (a triangle for each side) with
l_{n} = 1∕3^{n}. For example, with n = 1, we increase from A_{0} to A_{1}, by adding three
equilateral triangles, each with l_{1} = 1∕3.

The area of each of these triangles is obviously,

and so for the figure after n iterations

For clarity, if we write explicitly for the first few n values

Therefore, in general we could write

The expression inside the braces of the above equation can be seen to be in a geometric progression, which then could be simplified as

So, the area enclosed by the closed curve of infinite length is actually only 60 percent more than that of the original area of the equilateral triangle we started in Figure 1. A remarkable property indeed.

Reference

[1] When Least is Best by Paul J. Nahin. [Amazon Link]