Gabriel's horn

By Martin McBride, 2024-02-12
Tags: gabriels horn surface of revolution volume of revolution
Categories: integration differentiation calculus


Gabriel's horn is a 3-dimensional shape with an interesting and seemingly paradoxical property. It has a finite volume but an infinite surface area.

This leads to an apparent paradox called the painter's paradox that was covered in this article. The paradox arises because the shape can be filled with a finite amount of paint (since it has a finite volume). But when it is full, the paint must be touching every part of its inner surface. Since the surface area is infinite, this implies that we have covered an infinite area with a finite amount of paint! See the linked article for a resolution to this paradox.

In this article, we will prove that the shape has finite volume and infinite area. We will do this in two different ways, first using an infinite series of cylinders (similar to the way the problem was first solved by Evangelista Torricelli in the 17th century), and then using calculus.

Gabriel's Horn

Let's start with the definition of Gabriel's horn (you may already be familiar with this if you have read the previous article). The shape is based on this function:

1 over x

To create Gabriel's horn, we take the part of the curve where x is greater than or equal to 1:

1 over x

We then rotate the shape around the x-axis to form a surface of revolution:

Gabriel's horn

This horn is infinitely long because the original function never reaches 0. But it gets narrower and narrower and we travel along the x-axis in the positive direction.

Proving that the volume is finite

The obvious way to find the volume of the shape is to use integration to find the volume of revolution. However, that is not the only way to prove it is finite. Torricelli proved the result without the use of calculus. The method we will look at here is similar to Torricelli's method, but modified and simplified. It is mentioned in this wikepedia article and described in more detail in this nice Mathologer video.

To prove the result, we first create a step function that is always greater than or equal to the inverse function:

Volume proof

For x between 1 and 2, our step function has a value of 1, which is also the value of the horn function when x is 1. For x between 2 and 3, our step function has a value of 1/2, which is the value of the horn function when x is 2. The next step has a value of 1/3, then 1/4, and so on forever.

If we rotate the step function around the x-axis (just like we did to create the horn), each step creates a cylinder:

Volume proof

The first step creates a cylinder of radius 1. The next has a radius of 1/2, the next has a radius of 1/3 and so on. Now, since the step function is always greater than or equal to the inverse function, it follows that the rotated horn shape will be enclosed within the cylinders:

Volume proof

This means that the volume of the horn is less than the volume of the cylinders. So if we can prove that the volume of the cylinders is finite, we have also proved that the volume of the horn is finite. We will prove this now.

The volume of a cylinder is a standard formula:

Volume proof

Where r is the radius and d is the height of the cylinder (which is the width, as it is drawn above). Noting that all our cylinders have a width of 1 this simplifies to:

Volume proof

Now, the first cylinder has a radius of 1, the next has a radius of 1/2, then 1/3 and so on. So the total volume of all the cylinders is:

Volume proof

Taking out a common factor of π gives:

Volume proof

The term in brackets is the infinite sum of inverse squares, which is a well-known sum known as the Basel problem. Its value was calculated by Euler. The result is a little strange because it involves the square of π, but what is more important to us is that it is a finite value.

Since this volume is greater that the volume of Gabriel's horn, this proves that the volume of Gabriel's horn is also finite!

Proving that the surface area is infinite

We take a similar approach to the surface area. But since we are expecting it to be infinite, we start with a step function that is enclosed by the horn function:

Area proof

For x between 1 and 2, our step function has a value of 1/2, which is also the value of the horn function when x is 2. For x between 2 and 3, our step function has a value of 1/3, which is the value of the horn function when x is 3. The next step has a value of 1/4, then 1/5, and so on forever.

Again, if we rotate this about the x-axis we get a set of cylinders:

Area proof

The first step creates a cylinder of radius 1/2, then 1/3, then 1/4 etc. This time, since the step function is always less than or equal to the inverse function, it follows that the rotated horn shape will enclose the cylinders:

Area proof

We will be comparing the surface area of the horn with the sum of the surface areas of the edges of all the cylinders. We will ignore the areas of the two circular faces of each cylinder.

Looking at the first cylinder and comparing it to the corresponding part of the horn, the cylinder has a constant radius of 1/2. The section of the horn has a radius that varies between 1 and 1/2. The radius of the horn is always greater than or equal to the radius of the cylinder, therefore the surface area of the horn in that section must be greater than the surface area of the cylinder. That is true for every section of the horn, so the overall surface area of the horn is greater than the combined surface area of all the cylinders.

So if we can prove that the surface area of the cylinders is infinite, we will have proved that the surface area of the horn is infinite.

The surface area of the edge of one cylinder, again where r is the radius and d is the height, is given by the standard equation:

Area proof

Again, all our cylinders have a width of 1 so this simplifies to:

Area proof

Now, the first cylinder has a radius of 1/2, the next has a radius of 1/3, then 1/4 and so on. So the total area of all the cylinders is:

Area proof

Taking out a common factor of 2 π gives:

Area proof

The series in brackets, the sum of all the integer fractions, is known as the harmonic series, and it is well known that it diverges (ie it has an infinite sum). Strictly speaking, the harmonic series starts with 1, then 1/2, 1/3 etc. So our equation is 1 less than the sum of the harmonic series, but of course, infinity minus 1 is still infinity, so the surface area of the cylinders is infinite.

This proves that the surface area of Gabriel's horn is also infinite.

Proofs using calculus

Gabriel's horn is a solid of revolution created by rotating the function 1/x around the x-axis. There is a standard formula for calculating the volume of this shape, for a general function f(x). We won't prove it here (that is a topic for a different article), we will just state that the volume of the 3D solid between a and b is:

Volume of revolution

The surface area of the solid is given by:

Volume of revolution

One other thing we need to consider is that we are trying to find the value of these integrals between 1 and infinity. An integral with a limit of infinity is called an improper integral and we can't evaluate it simply by plugging the value infinity into the normal equation for a definite integral. Instead, we must first calculate the definite integral up to some finite limit b and then calculate the limit of the result as b tends to infinity:

Volume of revolution

Proving finite volume using calculus

We can calculate the horn volume using the volume integral above, with the function 1/x, over the range 1 to infinity. As discussed above, we express the improper integral as a limit:

Volume of revolution

Simplifying and taking π outside the integral gives:

Volume of revolution

We use the standard integral:

Volume of revolution

And evaluate between 1 and b:

Volume of revolution

This gives:

Volume of revolution

As b tends to infinity, 1/b goes to 0 so the final result is simply:

Volume of revolution

This proves that the volume is finite, and as a bonus, we know its exact value.

Proving infinite surface area using calculus

We can also calculate the horn volume using the area integral from above:

Area of revolution

Once again we use the horn function 1/x. This area formula also requires the derivative of 1/x, which is a standard result:

Area of revolution

If we substitute f(x) and f'(x) into the integral, we get:

Area of revolution

This simplifies to:

Area of revolution

This is not a particularly nice integral to solve, but fortunately, we can sidestep the problem. As with the previous cylinder solution, we are only interested in proving that the integral is infinite. This allows for a neat simplification. Over the interval of interest [1, ∞) this is true:

Area of revolution

Of course for any number greater than 1, the square root will also be greater than 1:

Area of revolution

And since 1/x is positive over that interval, this is also true:

Area of revolution

If we replace the square root term with 1 in the original integral, then it will always be less than the surface area:

Area of revolution

This is useful because we know how to integrate 1/x, it is a standard result, the natural log of x:

Area of revolution

Since ln(1) is 0, the result is just ln(b), which tends to infinity as b increases.

Area of revolution

This means that A must also be infinite.

See also



Join the GraphicMaths Newletter

Sign up using this form to receive an email when new content is added:

Popular tags

adder adjacency matrix alu and gate angle area argand diagram binary maths cartesian equation chain rule chord circle cofactor combinations complex modulus complex polygon complex power complex root cosh cosine cosine rule cpu cube decagon demorgans law derivative determinant diagonal directrix dodecagon eigenvalue eigenvector ellipse equilateral triangle euler eulers formula exponent exponential exterior angle first principles flip-flop focus gabriels horn gradient graph hendecagon heptagon hexagon horizontal hyperbola hyperbolic function hyperbolic functions infinity integration by parts integration by substitution interior angle inverse hyperbolic function inverse matrix irrational irregular polygon isosceles trapezium isosceles triangle kite koch curve l system line integral locus maclaurin series major axis matrix matrix algebra mean minor axis nand gate newton raphson method nonagon nor gate normal normal distribution not gate octagon or gate parabola parallelogram parametric equation pentagon perimeter permutations polar coordinates polynomial power probability probability distribution product rule proof pythagoras proof quadrilateral radians radius rectangle regular polygon rhombus root sech set set-reset flip-flop sine sine rule sinh sloping lines solving equations solving triangles square standard curves standard deviation star polygon statistics straight line graphs surface of revolution symmetry tangent tanh transformation transformations trapezium triangle turtle graphics variance vertical volume of revolution xnor gate xor gate