Gabriel's horn (also called Torricelli's trumpet) is a particular geometric figure that has infinite surface area but finite volume. The name refers to the Christian tradition that (albeit not strictly supported by the Bible itself) identifies the archangel Gabriel as the angel who blows the horn to announce Judgment Day. The properties of this figure were first studied by Italian physicist and mathematician Evangelista Torricelli in the 17th century.
These colourful informal names and the allusion to religion came along later. Torricelli's own name for it is to be found in the Latin title of his paper De solido hyperbolico acuto, written in 1643, a truncated acute hyperbolic solid, cut by a plane. Volume 1, part 1 of his Opera geometrica published the following year included that paper and a second more orthodox (for the time) Archimedean proof of its theorem about the volume of a truncated acute hyperbolic solid. This name was used in mathematical dictionaries of the 18th century (including "Hyperbolicum Acutum" in Harris' 1704 dictionary and in Stone's 1726 one, and the French translation Solide Hyperbolique Aigu in d'Alembert's 1751 one.
Although credited with primacy by his contemporaries, Torricelli had not been the first to describe an infinitely long shape with a finite volume/area. The work of Nicole Oresme in the 14th century had either been forgotten by, or was unknown to them. Oresme had posited such things as an infinitely long shape constructed by subdividing two squares of finite total area 2 using a geometric series and rearranging the parts into a figure, infinitely long in one dimension, comprising a series of rectangles.
Gabriel's horn is formed by taking the graph of
The value 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 π; however, it does gradually draw nearer to π as a increases. Mathematically, the volume approaches π as a approaches infinity. Using the limit notation of calculus,
The surface area formula above gives a lower bound for the area as 2π times the natural logarithm of a. There is no upper bound for the natural logarithm of a, as a approaches infinity. That means, in this case, that the horn has an infinite surface area. That is to say,
In De solido hyperbolico acuto
Torricelli's original non-calculus proof used an object, slightly different to the aforegiven, that was constructed by truncating the acute hyperbolic solid with a plane perpendicular to the x axis and extending it from the opposite side of that plane with a cylinder of the same base. Whereas the calculus method proceeds by setting the plane of truncation at and integrating along the x axis, Torricelli proceeded by calculating the volume of this compound solid (with the added cylinder) by summing the surface areas of a series of concentric right cylinders within it along the y axis and showing that this was equivalent to summing areas within another solid whose (finite) volume was known.
In modern terminology this solid was created by constructing a surface of revolution of the function (for strictly positive b)
Theorem. An acute hyperbolic solid, infinitely long, cut by a plane [perpendicular] to the axis, together with the cylinder of the same base, is equal to that right cylinder of which the base is the latus versum (that is, the axis) of the hyperbola, and of which the altitude is equal to the radius of the basis of this acute body.— De solido hyperbolico acuto. Evangelista Torricelli. 1643. Translated G. Loria and G. Vassura 1919.
Torricelli showed that the volume of the solid could be derived from the surface areas of this series of concentric right cylinders whose radii were and heights . Substituting in the formula for the surface areas of (just the sides of) these cylinders yields a constant surface area for all cylinders of . This is the also the area of a circle of radius and the nested surfaces of the cylinders (filling the volume of the solid) are thus equivalent to the stacked areas of the circles of radius stacked from 0 to , and hence the volume of the aforementioned right cylinder, which is known to be :
Propterea omnes simul superficies cylindricae, hoc est ipsum solidum acutum , una cum cylindro basis , aequale erit omnibus circulis simul, hoc est cylindro . Quod erat etc.
(Therefore all the surfaces of the cylinders taken together, that is the acute solid itself, is the same as the cylinder of base , which will be equal to all its circles taken together, that is to cylinder .)
(The volume of the added cylinder is of course and thus the volume of the truncated acute hyperbolic solid alone is . If , as in the modern calculus derivation, .)
In the Opera geometrica this is one of two proofs of the volume of the (truncated) acute hyperbolic solid. The use of Cavalieri's indivisibles in this proof was controversial at the time and the result shocking (Torricelli later recording that Gilles de Roberval had attempted to disprove it); so when the Opera geometrica was published, the year after De solido hyperbolico acuto, Torricelli also supplied a second proof based upon orthodox Archimedean principles showing that the right cylinder (height radius ) was both upper and lower bound for the volume. Ironically, this was an echo of Archimedes' own caution in supplying two proofs, mechanical and geometrical, in his Quadrature of the Parabola to Dositheus.
When the properties of Gabriel's horn were discovered, the fact that the rotation of an infinitely large section of the xy plane about the x axis generates an object of finite volume was considered a paradox. While the section lying in the xy plane has an infinite area, any other section parallel to it has a finite area. Thus the volume, being calculated from the "weighted sum" of sections, is finite.
Another approach is to treat the solid as a stack of disks with diminishing radii. The sum of the radii produces a harmonic series that goes to infinity. However, the correct calculation is the sum of their squares. Every disk has a radius r = 1/x and an area πr2 or π/x2. The series 1/x diverges, but the series 1/x2 converges. In general, for any real ε > 0, the series 1/x1+ε converges.
There is a similar phenomenon that applies to lengths and areas in the plane. The area between the curves 1/x2 and −1/x2 from 1 to infinity is finite, but the lengths of the two curves are clearly infinite.
In lecture 16 of his 1666 Lectiones, Isaac Barrow held that Torricelli's theorem had constrained Aristotle's general dictum (from De Caelo book 1, part 6) that "there is no proportion between the finite and the infinite". Aristotle had himself, strictly speaking, been making a case for the impossibility of the physical existence of an infinite body rather than a case for its impossibility as a geometrical abstract. Barrow had been adopting the contemporary 17th-century view that Aristotle's dictum and other geometrical axioms were (as he had said in lecture 7) from "some higher and universal science", underpinning both mathematics and physics. Thus Torricelli's demonstration of an object with a relation between a finite (volume) and an infinite (area) contradicted this dictum, at least in part. Barrow's explanation was that Aristotle's dictum still held, but only in a more limited fashion when comparing things of the same type, length with length, area with area, volume with volume, and so forth. It did not hold when comparing things of two different genera (area with volume, for example) and thus an infinite area could be connected to a finite volume.
Others used Torricelli's theorem to bolster their own philosophical claims, unrelated to mathematics from a modern viewpoint. Ignace-Gaston Pardies in 1671 used the acute hyperbolic solid to argue that finite humans could comprehend the infinite, and proceeded to offer it as proof of the existences of God and immaterial souls. Since finite matter could not comprehend the infinite, Pardies argued, the fact that humans could comprehend this proof showed that humans must be more than matter, and have immaterial souls. In contrast, Antoine Arnauld argued that because humans perceived a paradox here, human thought was limited in what it could comprehend, and thus is not up to the task of disproving divine, religious, truths.
Hobbes' and Wallis' dispute was actually within the realm of mathematics: Wallis enthusiastically embracing the new concepts of infinity and indivisibles, proceeding to make further conclusions based upon Torricelli's work and to extend it to employ arithmetic rather than Torricelli's geometric arguments; and Hobbes claiming that since mathematics is derived from real world perceptions of finite things, "infinite" in mathematics can only mean "indefinite". These led to strongly worded letters by each to the Royal Society and in Philosophical Transactions, Hobbes resorting to namecalling Wallis "mad" at one point. In 1672 Hobbes tried to re-cast Torricelli's theorem as about a finite solid that was extended indefinitely, in an attempt to hold on to his contention that "natural light" (i.e. common sense) told us that an infinitely long thing must have an infinite volume. This aligned with Hobbes' other assertions that the use of the idea of a zero-width line in geometry was erroneous, and that Cavalieri's idea of indivisibles was ill-founded. Wallis argued that there existed geometrical shapes with finite area/volume but no centre of gravity based upon Torricelli, stating that understanding this required more of a command of geometry and logic "than M. Hobs [sic] is Master of". He also restructured the arguments in arithmetical terms as the sums of arithmetic progressions, sequences of arithmetic infinitesimals rather than sequences of geometric indivisibles.
Oresme had already demonstrated that an infinitely long shape can have a finite area where, as one dimension tends towards infinitely large, another dimension tends towards infinitely small. In Barrow's own words "the infinite diminution of one dimension compensates for the infinite increase of the other", in the case of the acute hyperbolic solid by the equation of the Apollonian hyperbola .
Since the horn has finite volume but infinite surface area, there is an apparent paradox that the horn could be filled with a finite quantity of paint and yet that paint would not be sufficient to coat its surface. However, this paradox is again only an apparent paradox caused by an incomplete definition of "paint", or by using contradictory definitions of paint for the actions of filling and painting.
One could be postulating a "mathematical" paint that is infinitely divisible (or infinitely thinnable, or simply zero-width like the zero-width geometric lines that Hobbes took issue with) and capable of travelling at infinite speed, or a "physical" paint with the properties of paint in the real world. With either one, the apparent paradox vanishes:
- Physical paint:
- Painting the outside of the solid would require an infinite amount of paint because physical paint has a non-zero thickness. Torricelli's theorem does not talk about a layer of finite width on the outside of the solid, which in fact would have infinite volume. Thus there is no contradiction between infinite volume of paint and infinite surface area to cover.
- It is impossible to paint the interior of the solid, the finite volume of Torricelli's theorem, with physical paint, so no contradiction exists. This is because:
- Physical paint can only fill an approximation of the volume of the solid. The molecules do not completely tile 3-dimensional space and leave gaps, and there is a point where the "throat" of the solid becomes too narrow for paint molecules to flow down.
- Physical paint travels at finite speed and would take an infinite amount of time to flow down. This also applies to "mathematical" paint of zero thickness if one does not additionally postulate it flowing at infinite speed.
- With "mathematical" paint it does not follow in the first place that an infinite surface area requires an infinite volume of paint, as infinite surface area times zero-thickness paint is indeterminate.
Other different postulates of "mathematical" paint, such as infinite-speed paint that gets thinner at a fast enough rate, remove the paradox too. For volume of paint, as the surface area to be covered A tends towards infinity, the thickness of the paint tends towards zero. Like with the solid itself, the infinite increase of the surface area to be painted in one dimension is compensated by the infinite decrease in another dimension, the thickness of the paint.
The converse of Torricelli's acute hyperbolic solid is a surface of revolution that has a finite surface area but an infinite volume.
In response to Torricelli's theorem, after learning of it from Marin Mersenne, Christiaan Huygens and René-François de Sluse wrote letters to each other about extending the theorem to other infinitely long solids of revolution; which have been mistakenly identified as finding such a converse.
Jan A. van Maanen, professor of mathematics at the University of Utrecht, reported in the 1990s that he once mis-stated in a conference at Kristiansand that de Sluse wrote to Huygens in 1658 that he had found such a shape:
evi opera dedicator meansura vasculie, pondere non magni, quod interim helluo nullus ebibat
(I give the measurements of a drinking glass (or vase), that has a small weight, but that even the hardest drinker could not empty.)— de Sluse in a letter to Huygens, translation Jan A. van Maanen
Professor van Maanen realized that this was a misinterpretation of de Sluse's letter, and that what de Sluse was actually reporting that the solid "goblet" shape, formed by rotating the cissoid of Diocles and its asymptote about the y axis, had a finite volume (and hence "small weight") and enclosed a cavity of infinite volume.
Huygens first showed that the area of the rotated two-dimensional shape (between the cissoid and its asymptote) was finite, calculating its area to be 3 times the area of the generating circle of the cissoid, and de Sluse applied Pappus's centroid theorem to show that the solid of revolution thus has finite volume, being a product of that finite area and the finite orbit of rotation. The area being rotated is finite; de Sluse did not actually say anything about the surface area of the resultant rotated volume.
Such a converse cannot occur (assuming Euclidean geometry) when revolving a continuous function on a closed set.
Let f : [1, ∞) → [0, ∞) be a continuously differentiable function. Write S for the solid of revolution of the graph y = f(x) about the x axis. If the surface area of S is finite, then so is the volume.
Since the lateral surface area A is finite, the limit superior:
- Hyperbola – Plane curve: conic section
- Koch snowflake – Fractal and mathematical curve
- Picard horn
- Pseudosphere – Geometrix surface
- Shape of the universe – The local and global geometry of the universe
- Surface of revolution – Mathematical term
- Zeno's paradoxes – Set of philosophical problems
- Mancosu 1999, p. 243.
- Struik 1969, p. 227.
- Bressoud 2021, p. 29.
- Mancosu 1999, p. 239–241.
- Mancosu 1999, p. 239–241.
- Król 2018, p. 83.
- Struik 1969, p. 229.
- Bressoud 2021, p. 28.
- Wallis 2013, p. xvi.
- Mancosu 1999, p. 143.
- Havil, Julian (2007). Nonplussed!: mathematical proof of implausible ideas. Princeton University Press. pp. 82–91. ISBN 978-0-691-12056-0.
- Mancosu 1999, p. 139.
- Mancosu 1999, p. 239.
- Mancosu 1999, p. 140.
- Mancosu 1999, p. 142.
- Jones 2008, p. 118.
- Mancosu 1999, pp. 145–146.
- Mancosu 1999, pp. 146–147.
- Mancosu 1999, p. 148.
- Mancosu 1999, p. 146.
- Wallis 2013, pp. xvi–xvii.
- Mancosu 1999, p. 241.
- Mancosu 1999, p. 130.
- Nahin 2021, p. xxxi.
- Nahin 2021, p. xxxii.
- Pickover 2008, p. 458.
- de Pillis 2002, pp. 140–141.
- Chang 2012, p. 30.
- Klymchuk & Staples 2013, pp. 64–65.
- van Maanen 1995, pp. 87–88.
- van Maanen 1995, p. 88.
- van Maanen 1995, pp. 88–89.
- Struik, D. J., ed. (1969). A Source Book in Mathematics, 1200–1800. Source Books in the History of the Sciences. Vol. 11. Harvard University Press. ISBN 9780674823556.
- Bressoud, David M. (2021). Calculus Reordered: A History of the Big Ideas. Princeton University Press. ISBN 9780691218786.
- Wallis, John (2013). "Introduction". In Stedall, Jacqueline A. (ed.). The Arithmetic of Infinitesimals. Sources and Studies in the History of Mathematics and Physical Sciences. Springer Science & Business Media. ISBN 9781475743128.
- Mancosu, Paolo (1999). "Paradoxes of the Infinite". Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Oxford University Press. ISBN 9780195132441.
- Król, Zbigniew (2018). "Basic intuitions concering the concept of infinity in mathematics from a historical and theological point of view". In Szatkowski, Mirosław (ed.). God, Time, Infinity. Philosophische Analyse. Vol. 75. Walter de Gruyter GmbH & Co KG. ISBN 9783110592030.
- Nahin, Paul J. (2021). When Least Is Best: How Mathematicians Discovered Many Clever Ways to Make Things as Small (or as Large) as Possible. Princeton Science Library. Vol. 118. Princeton University Press. ISBN 9780691218762.
- Chang, Mark (2012). Paradoxes in Scientific Inference. CRC Press. ISBN 9781466509863.
- Pickover, Clifford (2008). From Archimedes to Hawking: Laws of Science and the Great Minds Behind Them. OUP USA. ISBN 9780195336115.
- de Pillis, John (2002). 777 Mathematical Conversation Starters. Cambridge University Press. ISBN 9780883855409.
- Klymchuk, Sergiy; Staples, Susan (2013). Paradoxes and Sophisms in Calculus. American Mathematical Soc. ISBN 9781614441106.
- van Maanen, Jan A. (1995). "Alluvial deposits, conic sections, and improper glasses, or history of mathematics applied in the classroom". In Swetz, Frank (ed.). Learn from the Masters!. Classroom resource materials. Vol. 3. Cambridge University Press. ISBN 9780883857038. ISSN 1557-5918.
- Jones, Matthew L. (2008). The Good Life in the Scientific Revolution: Descartes, Pascal, Leibniz, and the Cultivation of Virtue. University of Chicago Press. ISBN 9780226409566.
- Royer, Melvin (2012). "Gabriel's Other Possessions". PRIMUS: Problems, Resources, and Issues in Mathematics Undergraduate Studies. 22 (4): 338–351. doi:10.1080/10511970.2010.517601. S2CID 119721808.
- Fleron, Julian F. "Gabriel's Wedding Cake" (PDF). Archived from the original (PDF) on 2016-12-13.
- Lynch, Mark. "A Paradoxical Paint Pail".
- Love, William P. (January 1989). "Supersolids: Solids Having Finite Volume and Infinite Surfaces". The Mathematics Teacher. 82 (1): 60–65. doi:10.5951/MT.82.1.0060. JSTOR 27966098.