info prev up next book cdrom email home

Koch Snowflake

\begin{figure}\begin{center}\BoxedEPSF{KochSnowflake.epsf scaled 700}\end{center}\end{figure}

A Fractal, also known as the Koch Island, which was first described by Helge von Koch in 1904. It is built by starting with an Equilateral Triangle, removing the inner third of each side, building another Equilateral Triangle at the location where the side was removed, and then repeating the process indefinitely. The Koch snowflake can be simply encoded as a Lindenmayer System with initial string "F-F-F", String Rewriting rule "F" -> "F+F-F+F", and angle 60°. The zeroth through third iterations of the construction are shown above. The fractal can also be constructed using a base curve and motif, illustrated below.

\begin{figure}\begin{center}\BoxedEPSF{KochSnowflakeMotif.epsf scaled 800}\end{center}\end{figure}


Let $N_n$ be the number of sides, $L_n$ be the length of a single side, $\ell_n$ be the length of the Perimeter, and $A_n$ the snowflake's Area after the $n$th iteration. Further, denote the Area of the initial $n=0$ Triangle $\Delta$, and the length of an initial $n=0$ side 1. Then

$\displaystyle N_n$ $\textstyle =$ $\displaystyle 3\cdot 4^n$ (1)
$\displaystyle L_n$ $\textstyle =$ $\displaystyle ({\textstyle{1\over 3}})^n=3^{-n}$ (2)
$\displaystyle \ell_n$ $\textstyle \equiv$ $\displaystyle N_nL_n = 3({\textstyle{4\over 3}})^n$ (3)
$\displaystyle A_n$ $\textstyle =$ $\displaystyle A_{n-1}+{\textstyle{1\over 4}}N_n {L_n}^2\Delta = A_{n-1}+{3\cdot 4^n\over 4}\left({1\over 3}\right)^{2n} \Delta$  
  $\textstyle =$ $\displaystyle A_{n-1}+{3\cdot 4^{n-1}\over 9^n}\Delta = A_{n-1}+{3\cdot 4^{4-1}\over 9\cdot 9^{n-1}}\Delta$  
  $\textstyle =$ $\displaystyle A_{n-1}+{\textstyle{1\over 3}}({\textstyle{4\over 9}})^{n-1}\Delta.$ (4)

The Capacity Dimension is then
$\displaystyle d_{\rm cap}$ $\textstyle =$ $\displaystyle -\lim_{n\to\infty} {\ln N_n\over \ln L_n} = -\lim_{n\to\infty} {\ln(3\cdot 4^n)\over \ln(3^{-n})}$  
  $\textstyle =$ $\displaystyle \lim_{n\to\infty} {\ln 3+n\ln 4\over n\ln 3}$  
  $\textstyle =$ $\displaystyle {\ln 4\over\ln 3} = {2\ln 2\over\ln 3} = 1.261859507\ldots.$ (5)

Now compute the Area explicitly,
$\displaystyle A_0$ $\textstyle =$ $\displaystyle \Delta$ (6)
$\displaystyle A_1$ $\textstyle =$ $\displaystyle A_0+{1\over 3}\left({4\over 9}\right)^0\Delta
= \Delta\left\{{1+{1\over 3}\left({4\over 9}\right)^0}\right\}$ (7)
$\displaystyle A_2$ $\textstyle =$ $\displaystyle A_1+{1\over 3}\left({4\over 9}\right)^1\Delta
= \Delta\left\{{1+{...
...r 3}\left[{\left({4\over 9}\right)^0+\left({4\over 9}\right)^1}\right]}\right\}$  
      (8)
$\displaystyle A_n$ $\textstyle =$ $\displaystyle \left[{1+{1\over 3}\sum_{k=0}^n \left({4\over 9}\right)^k}\right]\Delta,$ (9)

so as $n\to\infty$,
$\displaystyle A$ $\textstyle \equiv$ $\displaystyle A_\infty = \left[{1+{1\over 3}\sum_{k=1}^\infty \left({4\over 9}\...
...\left({1+{\textstyle{1\over 3}}{1\over{1-{\textstyle{4\over 9}}}}}\right)\Delta$  
  $\textstyle =$ $\displaystyle {\textstyle{8\over 5}}\Delta.$ (10)


\begin{figure}\begin{center}\BoxedEPSF{KochSnowflakeTilings.epsf scaled 800}\end{center}\end{figure}

Some beautiful Tilings, a few examples of which are illustrated above, can be made with iterations toward Koch snowflakes.

\begin{figure}\begin{center}\BoxedEPSF{KochSnowflakeTiling.epsf scaled 700}\end{center}\end{figure}

In addition, two sizes of Koch snowflakes in Area ratio 1:3 Tile the Plane, as shown above (Mandelbrot).


\begin{figure}\begin{center}\BoxedEPSF{KochFrillFlake3.epsf}\end{center}\end{figure}

Another beautiful modification of the Koch snowflake involves inscribing the constituent triangles with filled-in triangles, possibly rotated at some angle. Some sample results are illustrated above for 3 and 4 iterations.

See also Cesàro Fractal, Exterior Snowflake, Gosper Island, Koch Antisnowflake, Peano-Gosper Curve, Pentaflake, Sierpinski Sieve


References

Cundy, H. and Rollett, A. Mathematical Models, 3rd ed. Stradbroke, England: Tarquin Pub., pp. 65-66, 1989.

Dickau, R. M. ``Two-Dimensional L-Systems.'' http://forum.swarthmore.edu/advanced/robertd/lsys2d.html.

Dixon, R. Mathographics. New York: Dover, pp. 175-177 and 179, 1991.

Lauwerier, H. Fractals: Endlessly Repeated Geometric Figures. Princeton, NJ: Princeton University Press, pp. 28-29 and 32-36, 1991.

Pappas, T. ``The Snowflake Curve.'' The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, pp. 78 and 160-161, 1989.

Peitgen, H.-O.; Jürgens, H.; and Saupe, D. Chaos and Fractals: New Frontiers of Science. New York: Springer-Verlag, 1992.

Peitgen, H.-O. and Saupe, D. (Eds.). ``The von Koch Snowflake Curve Revisited.'' §C.2 in The Science of Fractal Images. New York: Springer-Verlag, pp. 275-279, 1988.

Wagon, S. Mathematica in Action. New York: W. H. Freeman, pp. 185-195, 1991.

mathematica.gif Weisstein, E. W. ``Fractals.'' Mathematica notebook Fractal.m.



info prev up next book cdrom email home

© 1996-9 Eric W. Weisstein
1999-05-26