The Koch snowflake (also known as the Koch curve, Koch star, or Koch island) is a mathematical curve and one of the earliest fractal curves to have been described. It is based on the Koch curve, which appeared in a 1904 paper titled "On a continuous curve without tangents, constructible from elementary geometry" (original French title: Sur une courbe continue sans tangente, obtenue par une construction géométrique élémentaire) by the Swedish mathematician Helge von Koch.
The progression for the area of the snowflake converges to 8/ times the area of the original triangle, while the progression for the snowflake's perimeter diverges to infinity. Consequently, the snowflake has a finite area bounded by an infinitely long line.
- 1 Construction
- 2 Properties
- 3 Tessellation of the plane
- 4 Thue–Morse sequence and turtle graphics
- 5 Representation as Lindenmayer system
- 6 Variants of the Koch curve
- 7 See also
- 8 References
- 9 External links
The Koch snowflake can be constructed by starting with an equilateral triangle, then recursively altering each line segment as follows:
- divide the line segment into three segments of equal length.
- draw an equilateral triangle that has the middle segment from step 1 as its base and points outward.
- remove the line segment that is the base of the triangle from step 2.
The Koch snowflake is the limit approached as the above steps are followed over and over again. The Koch curve originally described by Helge von Koch is constructed with only one of the three sides of the original triangle. In other words, three Koch curves make a Koch snowflake.
Perimeter of the Koch snowflake
After each iteration, the number of sides of the Koch snowflake increases by a factor of 4, so the number of sides after n iterations is given by:
If the original equilateral triangle has sides of length s, the length of each side of the snowflake after n iterations is:
the perimeter of the snowflake after n iterations is:
The Koch curve has an infinite length because the total length of the curve increases by a factor of four thirds with each iteration. Each iteration creates four times as many line segments as in the previous iteration, with the length of each one being one-third the length of the segments in the previous stage. Hence the length of the curve after n iterations will be (4/)n times the original triangle perimeter, which is unbounded as n tends to infinity.
Limit of perimeter
As the number of iterations tends to infinity, the limit of the perimeter is:
since |4/| > 1.
Area of the Koch snowflake
In each iteration a new triangle is added on each side of the previous iteration, so the number of new triangles added in iteration n is:
The area of each new triangle added in an iteration is one ninth of the area of each triangle added in the previous iteration, so the area of each triangle added in iteration n is:
where a0 is the area of the original triangle. The total new area added in iteration n is therefore:
The total area of the snowflake after n iterations is:
Collapsing the geometric sum gives:
Limits of area
The limit of the area is:
since |4/| < 1.
So the area of the Koch snowflake is 8/ of the area of the original triangle. Expressed in terms of the side length s of the original triangle this is:
The Koch snowflake is self-replicating with six copies around a central point and one larger copy at the center. Hence it is an irreptile which is irrep-7.
Tessellation of the plane
It is possible to tessellate the plane by copies of Koch snowflakes in two different sizes. However, such a tessellation is not possible using only snowflakes of one size. Since each Koch snowflake in the tessellation can be subdivided into seven smaller snowflakes of two different sizes, it is also possible to find tessellations that use more than two sizes at once.
Thue–Morse sequence and turtle graphics
- If t(n) = 0, move ahead by one unit,
- If t(n) = 1, rotate counterclockwise by an angle of π/,
the resulting curve converges to the Koch snowflake.
Representation as Lindenmayer system
- Alphabet : F
- Constants : +, −
- Axiom : F
- Production rules:
- F → F+F--F+F
Here, F means "draw forward", - means "turn right 60°", and + means "turn left 60°".
To create the Koch snowflake, one would use F--F--F (an equilateral triangle) as the axiom.
Variants of the Koch curve
Following von Koch's concept, several variants of the Koch curve were designed, considering right angles (quadratic), other angles (Cesàro), circles and polyhedra and their extensions to higher dimensions (Sphereflake and Kochcube, respectively)
|1D, 85° angle||The Cesàro fractal is a variant of the Koch curve with an angle between 60° and 90° (here 85°).|
|1D, 90° angle|
|1D, 90° angle|
|1D, ln 3/|
|1D, ln 3.33/||Another variation. Its fractal dimension equals ln ln 3.33/ = 1.49.|
|2D, 90° angle||Extension of the quadratic type 1 curve. The illustration at left shows the fractal after the second iteration|
|3D||A three-dimensional fractal constructed from Koch curves. The shape can be considered a three-dimensional extension of the curve in the same sense that the Sierpiński pyramid and Menger sponge can be considered as extensions of the Sierpinski triangle and Sierpinski carpet. The version of the curve used for the shape uses 85° angles.|
Squares can be used to generate similar fractal curves. Starting with a unit square and adding to each side at each iteration a square with dimension one third of the squares in the previous iteration, it can be shown that both the length of the perimeter and the total area are determined by geometric progressions. The progression for the area converges to 2 while the progression for the perimeter diverges to infinity, so as in the case of the Koch snowflake, we have a finite area bounded by an infinite fractal curve. The resulting area fills a square with the same center as the original, but twice the area, and rotated by π/ radians, the perimeter touching but never overlapping itself.
The total area covered at the nth iteration is:
while the total length of the perimeter is:
which approaches infinity as n increases.
- List of fractals by Hausdorff dimension
- Gabriel's Horn (infinite surface area but encloses a finite volume)
- Gosper curve (also known as the Peano-Gosper curve or flowsnake)
- Osgood curve
- Weierstrass function
- Addison, Paul S. (1997). Fractals and Chaos: An Illustrated Course. Institute of Physics. p. 19. ISBN 0-7503-0400-6.
- "Arkiv för matematik, astronomi och fysik / utgifvet af K. Svenska Vetenskaps-Akademien v.1 1903-1904". HathiTrust. Retrieved 2017-12-11.
- Zhu, Zhi Wei; Zhou, Zuo Ling; Jia, Bao Guo (October 2003). "On the Lower Bound of the Hausdorff Measure of the Koch Curve". Acta Mathematica Sinica. 19 (4): 715–728. doi:10.1007/s10114-003-0310-2.
- Koch Snowflake
- Burns, Aidan (1994). "Fractal tilings". Mathematical Gazette. 78 (482): 193–196. JSTOR 3618577..
- Demonstrated by James McDonald in a public lecture at KAUST University on January 27, 2013. "Archived copy". Archived from the original on 2013-01-12. Retrieved 2013-01-29. retrieved 29 January 2013.
- Kasner, Edward; Newman, James (1940). Mathematics and the Imagination. Dover Press reprint of Simon & Schuster. pp. 344–351. ISBN 0-486-41703-4.
|Wikimedia Commons has media related to Koch curve.|
|Wikimedia Commons has media related to Koch snowflake.|
- von Koch Curve
- The Koch snowflake in Mathworld
- The Koch Curve poem by Bernt Wahl
- Computing iterations of the Koch curve in WolframAlpha
- Application of the Koch curve to an antenna
- A WebGL animation showing the construction of the Koch surface
- "A mathematical analysis of the Koch curve and quadratic Koch curve" (PDF). Archived from the original (pdf) on 26 April 2012. Retrieved 22 November 2011.