## 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 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

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier