Gabriel's Horn

Not to be confused with Gideon's Trumpet.

Gabriel's Horn (also called Torricelli's trumpet) is a geometric figure which has infinite surface area but encloses a finite volume. The name refers to the tradition identifying the Archangel Gabriel as the angel who blows the horn to announce Judgment Day, associating the divine, or infinite, with the finite. The properties of this figure were first studied by Italian physicist and mathematician Evangelista Torricelli.

Contents

Mathematical definition

Gabriel's horn is formed by taking the graph of y= \frac{1} {x}, with the domain x \ge 1 (thus avoiding the asymptote at x = 0) and rotating it in three dimensions about the x-axis. The discovery was made using Cavalieri's principle before the invention of calculus, but today calculus can be used to calculate the volume and surface area of the horn between x = 1 and x = a, where a > 1. Using integration (see Solid of revolution and Surface of revolution for details), it is possible to find the volume V and the surface area A:

V = \pi \int_{1}^{a} {1 \over x^2}\mathrm{d}x = \pi \left( 1 - {1 \over a} \right)
A = 2\pi \int_1^a \frac{\sqrt{1 %2B \frac{1}{x^4}}}{x}\mathrm{d}x > 2\pi \int_1^a \frac{\sqrt{1}}{x}\ \mathrm{d}x = 2\pi \ln a.

a can be as large as required, but it can be seen from the equation that the volume of the part of the horn between x = 1 and x = a will never exceed \pi; however, it will get closer and closer to \pi as a becomes larger. Mathematically, the volume approaches \pi as a approaches infinity. Using the limit notation of calculus, the volume may be expressed as:

\lim_{a \to \infty}\pi \left( 1 - {1 \over a} \right) = \pi.

This is so because as a approaches infinity, 1/a approaches zero. This means the volume approaches \pi(1 - 0) which equals \pi.

As for the area, the above shows that the area is greater than 2\pi times the natural logarithm of a. There is no upper bound for the natural logarithm of a as it approaches infinity. That means, in this case, that the horn has an infinite surface area. That is to say;

2 \pi \ln a \rightarrow \infty as a \rightarrow \infty

or

\lim_{a \to \infty}2 \pi \ln a = \infty.

Apparent paradox

When the properties of Gabriel's Horn were discovered, the fact that the rotation of an infinite curve about the x-axis generates an object of finite volume was considered paradoxical. However, the explanation is that the bounding curve, y= \tfrac{1}{x}, is simply a special case–just like the simple harmonic series (Σx-1)–for which the successive area 'segments' do not decrease rapidly enough to allow for convergence to a limit. For volume segments (Σ1/x2) however, and in fact for any generally constructed higher degree curve (eg y = 1/x1.001), the same is not true and the rate of decrease in the associated series is sufficiently rapid for convergence to a (finite) limiting sum.

The apparent paradox formed part of a great dispute over the nature of infinity involving many of the key thinkers of the time including Thomas Hobbes, John Wallis and Galileo.[1]

The paradox can also be considered from a non-mathematical perspective. If Gabriel’s Horn existed in reality, it could be filled with a finite amount of paint since it has a finite volume. But then too, it has an infinite area; so an infinite amount of paint would therefore be required to cover its inner surface. It seems nonsensical to be able to completely fill a space with paint, yet fail to cover all that space's surface. The real-world solution to the paradox is that paint is not infinitely divisible; at some point, the throat of the Horn will become too small to allow even a single paint molecule to pass. When considering the Horn to this limited length, the practicably paintable surface of the inner surface is less than the amount of paint needed to fill it to that point.[2]

See also

References

  1. ^ Havil, Julian (2007). Nonplussed!: mathematical proof of implausible ideas. Princeton University Press. pp. 82–91. ISBN 0691120560. 
  2. ^ Clegg, Brian (2003). Infinity: The Quest to Think the Unthinkable. Robinson (Constable & Robinson Ltd). pp. 239-242. ISBN 978-1-84119-650-3. 

External links