Define a sequence of figures [latex]\left\{{F}_{n}\right\}[/latex] recursively as follows in the figure below. Let [latex]{F}_{0}[/latex] be an equilateral triangle with sides of length [latex]1[/latex]. For [latex]n\ge 1[/latex], let [latex]{F}_{n}[/latex] be the curve created by removing the middle third of each side of [latex]{F}_{n - 1}[/latex] and replacing it with an equilateral triangle pointing outward. The limiting figure as [latex]n\to \infty [/latex] is known as Koch’s snowflake.

The first four figures, [latex]{F}_{0},{F}_{1},{F}_{2},\text{and}{F}_{3}[/latex], in the construction of the Koch snowflake.

1. Find the length [latex]{L}_{n}[/latex] of the perimeter of [latex]{F}_{n}[/latex]. Evaluate [latex]\underset{n\to \infty }{\text{lim}}{L}_{n}[/latex] to find the length of the perimeter of Koch’s snowflake.
2. Find the area [latex]{A}_{n}[/latex] of figure [latex]{F}_{n}[/latex]. Evaluate [latex]\underset{n\to \infty }{\text{lim}}{A}_{n}[/latex] to find the area of Koch’s snowflake.

1. Let [latex]{N}_{n}[/latex] denote the number of sides of figure [latex]{F}_{n}[/latex]. Since [latex]{F}_{0}[/latex] is a triangle, [latex]{N}_{0}=3[/latex]. Let [latex]{l}_{n}[/latex] denote the length of each side of [latex]{F}_{n}[/latex]. Since [latex]{F}_{0}[/latex] is an equilateral triangle with sides of length [latex]{l}_{0}=1[/latex], we now need to determine [latex]{N}_{1}[/latex] and [latex]{l}_{1}[/latex]. Since [latex]{F}_{1}[/latex] is created by removing the middle third of each side and replacing that line segment with two line segments, for each side of [latex]{F}_{0}[/latex], we get four sides in [latex]{F}_{1}[/latex]. Therefore, the number of sides for [latex]{F}_{1}[/latex] is
   
   [latex]{N}_{1}=4\cdot 3[/latex].

   
   
   Since the length of each of these new line segments is [latex]\frac{1}{3}[/latex] the length of the line segments in [latex]{F}_{0}[/latex], the length of the line segments for [latex]{F}_{1}[/latex] is given by
   

   [latex]{l}_{1}=\frac{1}{3}\cdot 1=\frac{1}{3}[/latex].

   
   
   Similarly, for [latex]{F}_{2}[/latex], since the middle third of each side of [latex]{F}_{1}[/latex] is removed and replaced with two line segments, the number of sides in [latex]{F}_{2}[/latex] is given by
   

   [latex]{N}_{2}=4{N}_{1}=4\left(4\cdot 3\right)={4}^{2}\cdot 3[/latex].

   
   
   Since the length of each of these sides is [latex]\frac{1}{3}[/latex] the length of the sides of [latex]{F}_{1}[/latex], the length of each side of figure [latex]{F}_{2}[/latex] is given by
   

   [latex]{l}_{2}=\frac{1}{3}\cdot {l}_{1}=\frac{1}{3}\cdot \frac{1}{3}={\left(\frac{1}{3}\right)}^{2}[/latex].

   
   
   More generally, since [latex]{F}_{n}[/latex] is created by removing the middle third of each side of [latex]{F}_{n - 1}[/latex] and replacing that line segment with two line segments of length [latex]\frac{1}{3}{l}_{n - 1}[/latex] in the shape of an equilateral triangle, we know that [latex]{N}_{n}=4{N}_{n - 1}[/latex] and [latex]{l}_{n}=\frac{{l}_{n - 1}}{3}[/latex]. Therefore, the number of sides of figure [latex]{F}_{n}[/latex] is
   

   [latex]{N}_{n}={4}^{n}\cdot 3[/latex]

   
   
   and the length of each side is
   

   [latex]{l}_{n}={\left(\frac{1}{3}\right)}^{n}[/latex].

   
   
   Therefore, to calculate the perimeter of [latex]{F}_{n}[/latex], we multiply the number of sides [latex]{N}_{n}[/latex] and the length of each side [latex]{l}_{n}[/latex]. We conclude that the perimeter of [latex]{F}_{n}[/latex] is given by
   

   [latex]{L}_{n}={N}_{n}\cdot {l}_{n}=3\cdot {\left(\frac{4}{3}\right)}^{n}[/latex].

   
   
   Therefore, the length of the perimeter of Koch’s snowflake is
   

   [latex]L=\underset{n\to \infty }{\text{lim}}{L}_{n}=\infty [/latex].

    

2. Let [latex]{T}_{n}[/latex] denote the area of each new triangle created when forming [latex]{F}_{n}[/latex]. For [latex]n=0[/latex], [latex]{T}_{0}[/latex] is the area of the original equilateral triangle. Therefore, [latex]{T}_{0}={A}_{0}=\frac{\sqrt{3}}{4}[/latex]. For [latex]n\ge 1[/latex], since the lengths of the sides of the new triangle are [latex]\frac{1}{3}[/latex] the length of the sides of [latex]{F}_{n - 1}[/latex], we have
   
   [latex]{T}_{n}={\left(\frac{1}{3}\right)}^{2}{T}_{n - 1}=\frac{1}{9}\cdot {T}_{n - 1}[/latex].

   
   
   Therefore, [latex]{T}_{n}={\left(\frac{1}{9}\right)}^{n}\cdot \frac{\sqrt{3}}{4}[/latex]. Since a new triangle is formed on each side of [latex]{F}_{n - 1}[/latex],
   

   [latex]\begin{array}{cc}\hfill {A}_{n}& ={A}_{n - 1}+{N}_{n - 1}\cdot {T}_{n}\hfill \\ & ={A}_{n - 1}+\left(3\cdot {4}^{n - 1}\right)\cdot {\left(\frac{1}{9}\right)}^{n}\cdot \frac{\sqrt{3}}{4}\hfill \\ & ={A}_{n - 1}+\frac{3}{4}\cdot {\left(\frac{4}{9}\right)}^{n}\cdot \frac{\sqrt{3}}{4}.\hfill \end{array}[/latex]

   
   
   Writing out the first few terms [latex]{A}_{0},{A}_{1},{A}_{2}[/latex], we see that
   

   [latex]\begin{array}{}\\ {A}_{0}=\frac{\sqrt{3}}{4}\hfill \\ {A}_{1}={A}_{0}+\frac{3}{4}\cdot \left(\frac{4}{9}\right)\cdot \frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}+\frac{3}{4}\cdot \left(\frac{4}{9}\right)\cdot \frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}\cdot \left(\frac{4}{9}\right)\right]\hfill \\ {A}_{2}={A}_{1}+\frac{3}{4}\cdot {\left(\frac{4}{9}\right)}^{2}\cdot \frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}\cdot \left(\frac{4}{9}\right)\right]+\frac{3}{4}\cdot {\left(\frac{4}{9}\right)}^{2}\cdot \frac{\sqrt{3}}{4}=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}\cdot \left(\frac{4}{9}\right)+\frac{3}{4}\cdot {\left(\frac{4}{9}\right)}^{2}\right].\hfill \end{array}[/latex]

   
   
   More generally,
   

   [latex]{A}_{n}=\frac{\sqrt{3}}{4}\left[1+\frac{3}{4}\left(\frac{4}{9}+{\left(\frac{4}{9}\right)}^{2}+\cdots +{\left(\frac{4}{9}\right)}^{n}\right)\right][/latex].

   
   
   Factoring [latex]\frac{4}{9}[/latex] out of each term inside the inner parentheses, we rewrite our expression as
   

   [latex]{A}_{n}=\frac{\sqrt{3}}{4}\left[1+\frac{1}{3}\left(1+\frac{4}{9}+{\left(\frac{4}{9}\right)}^{2}+\cdots +{\left(\frac{4}{9}\right)}^{n - 1}\right)\right][/latex].

   
   
   The expression [latex]1+\left(\frac{4}{9}\right)+{\left(\frac{4}{9}\right)}^{2}+\cdots +{\left(\frac{4}{9}\right)}^{n - 1}[/latex] is a geometric sum. As shown earlier, this sum satisfies
   

   [latex]1+\frac{4}{9}+{\left(\frac{4}{9}\right)}^{2}+\cdots +{\left(\frac{4}{9}\right)}^{n - 1}=\frac{1-{\left(\frac{4}{9}\right)}^{n}}{1-\left(\frac{4}{9}\right)}[/latex].

   
   
   Substituting this expression into the expression above and simplifying, we conclude that
   

   [latex]\begin{array}{cc}\hfill {A}_{n}& =\frac{\sqrt{3}}{4}\left[1+\frac{1}{3}\left(\frac{1-{\left(\frac{4}{9}\right)}^{n}}{1-\left(\frac{4}{9}\right)}\right)\right]\hfill \\ & =\frac{\sqrt{3}}{4}\left[\frac{8}{5}-\frac{3}{5}{\left(\frac{4}{9}\right)}^{n}\right].\hfill \end{array}[/latex]

   
   
   Therefore, the area of Koch’s snowflake is
   

   [latex]A=\underset{n\to \infty }{\text{lim}}{A}_{n}=\frac{2\sqrt{3}}{5}[/latex].

The Koch snowflake is interesting because it has finite area, yet infinite perimeter. Although at first this may seem impossible, recall that you have seen similar examples earlier in the text. For example, consider the region bounded by the curve [latex]y=\frac{1}{{x}^{2}}[/latex] and the [latex]x[/latex] -axis on the interval [latex]\left[1,\infty \right)[/latex]. Since the improper integral

converges, the area of this region is finite, even though the perimeter is infinite.