In 1641, the Italian mathematician Evangelista Torricelli discovered that by rotating the function f(x)=1xf(x) = \frac{1}{x} about the x-axis he could create a solid with a finite volume but an infinite surface area (Mancosu et al. 50). The solid shape has since been named "Gabriel's Horn" after the archangel Gabriel in Abrahamic religions who blows such a horn to announce the resurrection of the dead and the end of time (McCasland 159).
 
A golden statue of an angel blowing a horn.
 
A mathematical analysis of the shape's volume and surface area is a useful study of elementary calculus as an investigation covers topics including improper integrals, the comparison test, and the threshold of p-series. Beyond its pedagogical uses, the horn connects to broader mathematical concepts such as fractals and the nature of infinity.
 
A 3D rendered model of Gabriel's Horn, a trumpet-like shape that narrows infinitely to the right.
A 3D model of Gabriel's Horn (Dey).
 

Volume

To calculate the volume of Gabriel's Horn, we must understand how to calculate the volume of a solid with integral calculus. When a function y=f(x)y = f(x) is rotated about an axis over the interval [a,b][a, b], the resulting volume can be understood as an infinite stack of infinitesimally thin disks. Each disk has a radius of f(x)f(x) and a thickness of dxdx, so the volume would be π[f(x)]2dx\pi [f(x)]^2,dx. Summing these disks from x = a to x = b gives the disk method formula (Stewart 424):
V=π∫ab[f(x)]2dxV = \pi \int_a^b [f(x)]^2,dx
If the interval extends to infinity the volume becomes an improper integral and can be calculated with the limit:
V=πlim⁡t→∞∫at[f(x)]2dxV = \pi \lim_{t \to \infty} \int_a^t [f(x)]^2,dx
If the improper limit exists, the solid will have a finite volume despite its infinite length.
 
Gabriel's Horn is defined by rotating the function f(x)=1xf(x) = \frac{1}{x} about the x-axis for x≥1x \ge 1. Substituting this into the disk method formula, we get:
V=π∫1∞(1x)2dx=π∫1∞(x−2)dxV = \pi \int_1^\infty \left(\frac{1}{x}\right)^2 dx = \pi \int_1^\infty (x^{-2}),dx
As this is an improper integral, it is evaluated by a limit:
V=πlim⁡t→∞∫1t(x−2)dxV = \pi \lim_{t \to \infty} \int_1^t (x^{-2}),dx
The antiderivative of x−2x^{-2} is −x−1-x^{-1}. Thus:
∫1t(x−2)dx=[−1x]1t=(−1t)−(−11)=1−1t\int_1^t (x^{-2}),dx = \left[-\frac{1}{x}\right]_1^t = \left(-\frac{1}{t}\right) - \left(-\frac{1}{1}\right) = 1 - \frac{1}{t}
Taking the limit gives:
lim⁡t→∞(1−1t)=1\lim_{t \to \infty} \left(1 - \frac{1}{t}\right) = 1
Therefore:
V=π⋅1=πV = \pi \cdot 1 = \pi
The volume of Gabriel's Horn is exactly π cubic units despite being infinitely long (Coll et al.). The finiteness of the volume comes from the behavior of [f(x)]2=1x2[f(x)]^2 = \frac{1}{x^2} as x→∞x \to \infty. Generally, for a function f(x)=1xpf(x) = \frac{1}{x^p} the volume is calculated with the integral ∫1∞(x−2p)dx\int_1^\infty (x^{-2p}),dx. Using the p-series test, this integral converges when 2p>12p > 1, and thus when p>12p > \frac{1}{2}. For Gabriel's Horn, p=1p = 1, so 2p=2>12p = 2 > 1, so the integral converges. The key reason is that the radius of the horn shrinks extremely fast such that the additional volume from the next unit of length becomes negligible. After a certain point, the horn is so narrow that extending it further adds an infinitesimally small amount to the total volume. Mathematically, the area under [f(x)]2=1x2[f(x)]^2 = \frac{1}{x^2} from 1 to infinity is finite, which is why the volume converges to the finite value of π.
 
A graph of f(x) = 1/x, a curve that drops steeply near x = 0 and flattens toward the x-axis as x increases.
The graph of f(x) = 1/x.
 
To help conceptualize this result, compare Gabriel's Horn to a standard circular cylinder with a height of 1 and a radius of 1. The cylinder has the volume:
Vcylinder=πr2h=π(1)2(1)=πV_{cylinder} = \pi r^2 h = \pi (1)^2 (1) = \pi
The cylinder's measurements are all finite. In contrast, Gabriel's Horn stretches infinitely to the right, yet it has the same finite volume as the cylinder. Conceptually, Gabriel's Horn could be "rolled out" and fit the same amount of space as a standard circular cylinder.
 

Area

For a solid defined by the curve y=f(x)y = f(x) rotated about the x-axis from x=ax = a to x=bx = b, the surface area is given by (Stewart 554):
S=2π∫abf(x)1+[f′(x)]2dxS = 2\pi \int_a^b f(x)\sqrt{1 + [f'(x)]^2},dx
The factor 1+[f′(x)]2\sqrt{1 + [f'(x)]^2} accounts for the arc length of the curve. Intuitively, when a small segment of a curve is rotated the resulting surface has width equal to the arc length ds=1+(dydx)2dxds = \sqrt{1 + \left(\frac{dy}{dx}\right)^2},dx. When the interval extends to infinity, we again take a limit:
S=2πlim⁡t→∞∫atf(x)1+[f′(x)]2dxS = 2\pi \lim_{t \to \infty} \int_a^t f(x)\sqrt{1 + [f'(x)]^2},dx
For Gabriel's Horn, f(x)=1xf(x) = \frac{1}{x} and f′(x)=−1x2f'(x) = -\frac{1}{x^2}. Substituting these into the formula, we get:
S=2π∫1∞(1x1+(−1x2)2)dx=2π∫1∞(1x1+1x4)dxS = 2\pi \int_1^\infty \left(\frac{1}{x}\sqrt{1 + \left(-\frac{1}{x^2}\right)^2}\right) dx = 2\pi \int_1^\infty \left(\frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\right) dx
This simplified integral does not have an antiderivative that can be easily derived, so instead we use the comparison test to see whether it is infinite or finite.
 
For all x≥1x \ge 1, 1+1x4>1\sqrt{1 + \frac{1}{x^4}} > 1. Therefore:
1x1+1x4>1x\frac{1}{x}\sqrt{1 + \frac{1}{x^4}} > \frac{1}{x}
It follows that:
S=2π∫1∞(1x1+1x4)dx>2π∫1∞(1x)dxS = 2\pi \int_1^\infty \left(\frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\right) dx > 2\pi \int_1^\infty \left(\frac{1}{x}\right) dx
Now evaluate the simpler integral:

∫1∞1xdx=lim⁡t→∞∫1t1xdx=lim⁡t→∞[ln⁡x]1t\int_1^\infty \frac{1}{x},dx = \lim_{t \to \infty} \int_1^t \frac{1}{x},dx = \lim_{t \to \infty} [\ln x]_1^t =lim⁡t→∞(ln⁡t−ln⁡1)=lim⁡t→∞ln⁡t=∞= \lim_{t \to \infty} (\ln t - \ln 1) = \lim_{t \to \infty} \ln t = \infty Since the integral diverges to infinity, and original surface area integral is larger, the surface area of Gabriel's Horn must also diverge: S=∞S = \infty Thus, Gabriel's Horn has an infinite surface area. The determining factor of this result is f(x)=1xf(x) = \frac{1}{x} itself, not the fact that 1+1x4\sqrt{1 + \frac{1}{x^4}} approaches 1 as x→∞x \to \infty. For surface area, the integrand is f(x)⋅1=1xf(x) \cdot 1 = \frac{1}{x}. The exponent (1) is the boundary between convergence and divergence as ∫1∞1xpdx\int_1^\infty \frac{1}{x^p},dx converges only when p>1p > 1. Since p=1p = 1 here, the integral diverges.  

Implications

The finite volume yet infinite surface area of Gabriel's Horn leads to the Painter's Paradox (Kaufman 2). Imagine we have a finite can of paint. If the can contains at least π cubic units of paint, the inside of the horn would be completely filled. However, with a finite amount of paint it would be impossible to paint in the interior of the horn because the surface area is infinite. At first glance, this seems contradictory as a finite amount of paint can fill but not coat the interior of the horn. Mathematically, covering an infinite area would require an infinite amount of material. Yet physically, as the horn narrows beyond the size of a paint molecule, the paint simply cannot enter, and the "infinite" part of the surface becomes unreachable. Thus, the paradox simply illustrates how different measurements of size, volume and surface area, behave independently for the same object.   In the end, Gabriel's Horn is a gateway into questions of infinity, integral calculus, and the relationship between physical reality and mathematical analysis. For students, it offers a valuable lesson: never trust your intuition when infinity is involved.    

Works Cited

Coll, Vincent, and Michael Harrison. "Gabriel's Horn: A Revolutionary Tale." Mathematics Magazine, vol. 87, no. 4, 2014, pp. 263-275. JSTOR, https://doi.org/10.4169/math.mag.87.4.263.
 
Dey, Rajashi. "Gabriel's Horn." Soul of Mathematics, 28 Mar. 2021, https://soulofmathematics.com/index.php/gabriels-horn/. Accessed 17 May 2026.
 
Kaufman, R. "Gabriel's Horn and the Painter's Paradox in Perspective." Ohio Journal of School Mathematics, vol. 94, no. 1, 2023, pp. 1-5. https://doi.org/10.18061/ojsm.4192.
 
Mancosu, Paolo, and Ezio Vailati. "Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century." Isis, vol. 82, no. 1, 1991, pp. 50-70. JSTOR, http://www.jstor.org/stable/233514. Accessed 22 May 2026.
 
McCasland, S. Vernon. "Gabriel's Trumpet." Journal of Bible and Religion, vol. 9, no. 3, 1941, pp. 159-61. JSTOR, http://www.jstor.org/stable/1456405. Accessed 25 May 2026.
 
Stewart, James. Single Variable Calculus: Early Transcendentals. Thomson Learning, Inc., 2008.