← Back4 August 2026

Infinite edge, finite space

Infinity and unboundedness are two different things. You can add infinitely many positive pieces and still get a finite answer, provided the pieces shrink quickly enough.

This simple idea leads to two remarkable shapes:

Shape	Finite	Infinite
Koch snowflake	Area	Perimeter
Gabriel’s horn	Volume	Surface area

Both examples follow the same basic idea. We keep adding pieces forever, but the pieces become small fast enough for one total to settle down. Another total does not.

A snowflake with no end to its edge

Start with an equilateral triangle whose sides have length 1. At each step, split every line segment into three equal parts and replace the middle part with the other two sides of a small outward-pointing equilateral triangle.

This is the Koch snowflake. Each step makes the boundary more jagged.

Step: 0Perimeter ×1.000Area →1.000

Why its perimeter is infinite

At the start, the triangle has three sides, so its perimeter is 3.

At every step, each old segment is replaced by four new segments. Each new segment is one-third as long as the old one. So the perimeter is multiplied by

4 \times \frac{1}{3} = \frac{4}{3}

After $n$ steps, the perimeter is

P_n = 3\left(\frac{4}{3}\right)^n

Because $4/3$ is greater than 1, this grows without limit as $n$ grows. The finished snowflake has an infinite perimeter.

There is no contradiction here. The boundary contains infinitely many tiny turns, and their total length never settles down.

Why its area is finite

Now look at the area. The original triangle has area

A_0 = \frac{\sqrt{3}}{4}

On the first step, we add three small triangles. Each has side length $1/3$ , so each has one ninth of the original triangle’s area. The area added is therefore

\Delta A_1 = 3 \cdot \frac{1}{9} \cdot \frac{\sqrt{3}}{4} = \frac{\sqrt{3}}{12}

At the next step, there are four times as many new triangles, but each is one ninth the area of a triangle from the previous step. So each new layer adds $4/9$ as much area as the layer before it:

\Delta A_1,\quad \Delta A_1\left(\frac{4}{9}\right),\quad \Delta A_1\left(\frac{4}{9}\right)^2,\quad \ldots

This is a geometric series. Since $4/9$ is less than 1, it has a finite sum:

\begin{aligned} A &= \frac{\sqrt{3}}{4} + \frac{\sqrt{3}}{12} \left(1 + \frac{4}{9} + \left(\frac{4}{9}\right)^2 + \cdots\right) \\ &= \frac{\sqrt{3}}{4} + \frac{\sqrt{3}}{12}\left(\frac{1}{1-4/9}\right) \\ &= \frac{2\sqrt{3}}{5} \end{aligned}

So the Koch snowflake encloses a finite area, even though walking all the way around its edge would require infinite distance.

The key difference is the rate of change. The perimeter is multiplied by $4/3$ at each step, so it keeps growing. The new area is multiplied by $4/9$ , so the additions shrink fast enough to have a limit.

A horn you can fill but not paint

The second example comes from calculus. Take the curve

y = \frac{1}{x}, \qquad x \geq 1

and rotate it around the $x$ -axis. The result is Gabriel’s horn, a trumpet-shaped surface that extends forever to the right while becoming narrower and narrower.

It has finite volume. Yet its surface area is infinite.

Why it has finite volume

At a position $x$ , the horn has radius $1/x$ . Its cross-section is a circle with area

\pi\left(\frac{1}{x}\right)^2 = \frac{\pi}{x^2}

Adding all those circular slices gives the volume:

\begin{aligned} V &= \pi\int_1^\infty \frac{1}{x^2}\,dx \\ &= \pi\left[-\frac{1}{x}\right]_1^\infty \\ &= \pi \end{aligned}

The horn extends forever, but its radius shrinks quickly enough that all of its slices add up to $\pi$ cubic units.

Why it has infinite surface area

The surface-area formula for rotating $y=f(x)$ around the $x$ -axis is

S = 2\pi\int_a^b f(x)\sqrt{1 + \bigl(f'(x)\bigr)^2}\,dx

For $f(x)=1/x$ , we have $f'(x)=-1/x^2$ . Therefore

S = 2\pi\int_1^\infty \frac{1}{x}\sqrt{1+\frac{1}{x^4}}\,dx

The square root is always greater than 1, so the surface area is greater than

2\pi\int_1^\infty \frac{1}{x}\,dx

But this integral does not settle to a finite value:

\int_1^R \frac{1}{x}\,dx = \ln R

and $\ln R$ grows without bound as $R$ goes to infinity. Since the surface area is always larger than a quantity that grows without bound, it must be infinite too.

The famous version of this result says that Gabriel’s horn can be filled with a finite amount of paint, yet its surface can never be fully painted. Real paint is made of atoms and molecules, so you could never actually carry this out – but in the ideal mathematical model, the result is exact.

Infinite processes, finite totals

The snowflake and Gabriel’s horn illustrate a basic fact about infinity: an endless process does not necessarily have an infinite total.

What matters is how quickly the new pieces become smaller. If they shrink fast enough, their combined contribution has a finite total. If they do not, the total grows without bound.

The snowflake has a finite area even as its perimeter becomes infinite because each new round adds less area than the one before it, and those additions decrease quickly enough to have a finite sum. Gabriel’s horn follows the same pattern for volume: its slices shrink as $1/x^2$ , fast enough for their volumes to add up to a finite amount. Its surface contributions shrink as $1/x$ instead, the same rate as the harmonic series, so their total is infinite.

The same principle appears in supertasks: thought experiments in which infinitely many steps are completed in a finite time. If each step takes half as long as the previous one, the times form the series $1/2 + 1/4 + 1/8 + \cdots$ , which has a finite total. An infinite number of steps can fit into a finite interval for the same reason that infinitely many small areas can fit inside a finite region.

A shape can have finite area or volume while its perimeter or surface area is infinite – it comes down to how fast the relevant quantities shrink.

#infinity #fractals #calculus #geometry

Last updated 7 August 2026