## You are here

HomeKoch curve

## Primary tabs

# Koch curve

A Koch curve is a fractal generated by a replacement rule. This rule is, at each step, to replace the middle $1/3$ of each line segment with two sides of a right triangle having sides of length equal to the replaced segment. Two applications of this rule on a single line segment gives us:

To generate the Koch curve, the rule is applied indefinitely, with a starting line segment. Note that, if the length of the initial line segment is $l$, the length $L_{K}$ of the Koch curve at the $n$th step will be

$L_{K}=\left(\frac{4}{3}\right)^{n}l$ |

This quantity increases without bound; hence the Koch curve has infinite length. However, the curve still bounds a finite area. We can prove this by noting that in each step, we add an amount of area equal to the area of all the equilateral triangles we have just created. We can bound the area of each triangle of side length $s$ by $s^{2}$ (the square containing the triangle.) Hence, at step $n$, the area $A_{K}$ “under” the Koch curve (assuming $l=1$) is

$\displaystyle A_{K}$ | $\displaystyle<$ | $\displaystyle\left(\frac{1}{3}\right)^{2}+3\left(\frac{1}{9}\right)^{2}+9\left% (\frac{1}{27}\right)^{2}+\cdots$ | ||

$\displaystyle=$ | $\displaystyle\sum_{{i=1}}^{n}\frac{1}{3^{{i-1}}}$ |

but this is a geometric series of ratio less than one, so it converges. Hence a Koch curve has infinite length and bounds a finite area.

A Koch snowflake is the figure generated by applying the Koch replacement rule to an equilateral triangle indefinitely.

## Mathematics Subject Classification

28A33*no label found*28A80

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia