Mathwords logoMathwords

Gabriel's Horn — Definition, Formula & Examples

Gabriel's Horn is the solid of revolution formed by rotating the curve y=1xy = \frac{1}{x} (for x≥1x \geq 1) around the xx-axis. It produces a famous paradox: the resulting shape has finite volume but infinite surface area.

Gabriel's Horn is the surface and solid generated by revolving the graph of f(x)=x−1f(x) = x^{-1} about the xx-axis on the interval [1,∞)[1, \infty). Its volume, computed via the disk method, converges to π\pi, while the improper integral for its surface area diverges, demonstrating that a bounded volume can be enclosed by an unbounded surface.

Key Formula

V=π∫1∞1x2 dx=π,S=2π∫1∞1x1+1x4 dx=∞V = \pi \int_1^{\infty} \frac{1}{x^2}\,dx = \pi, \qquad S = 2\pi \int_1^{\infty} \frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\,dx = \infty
Where:
  • VV = Volume of Gabriel's Horn
  • SS = Surface area of Gabriel's Horn
  • xx = Variable of integration along the axis of revolution, from 1 to infinity

How It Works

To analyze Gabriel's Horn, you compute two improper integrals. The volume integral uses the disk method: V=π∫1∞1x2 dx=πV = \pi \int_1^{\infty} \frac{1}{x^2}\,dx = \pi. The surface area integral is S=2π∫1∞1x1+1x4 dxS = 2\pi \int_1^{\infty} \frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\,dx, which diverges because 1x1+1x4>1x\frac{1}{x}\sqrt{1 + \frac{1}{x^4}} > \frac{1}{x} and ∫1∞1x dx\int_1^{\infty} \frac{1}{x}\,dx diverges. The paradox is sometimes called the "Painter's Paradox": you could fill the horn with a finite amount of paint, yet you could never paint its inner surface because the surface area is infinite.

Worked Example

Problem: Show that the volume of Gabriel's Horn is finite by evaluating the improper integral.
Set up the disk method integral: Rotating y=1/xy = 1/x around the xx-axis from x=1x = 1 to x=bx = b, then letting b→∞b \to \infty.
V=π∫1∞(1x)2dx=π∫1∞1x2 dxV = \pi \int_1^{\infty} \left(\frac{1}{x}\right)^2 dx = \pi \int_1^{\infty} \frac{1}{x^2}\,dx
Evaluate the integral: Find the antiderivative and apply the limit.
π[−1x]1b=π(−1b+1)→b→∞π\pi \left[-\frac{1}{x}\right]_1^{b} = \pi\left(-\frac{1}{b} + 1\right) \xrightarrow{b \to \infty} \pi
Conclude: The improper integral converges, so the volume is finite.
V=πV = \pi
Answer: The volume of Gabriel's Horn is exactly π\pi cubic units.

Why It Matters

Gabriel's Horn is a standard example in Calculus II that builds intuition about the convergence behavior of improper integrals. It illustrates concretely why the pp-series test matters: ∫x−2 dx\int x^{-2}\,dx converges while ∫x−1 dx\int x^{-1}\,dx does not, and this single difference produces the entire paradox.

Common Mistakes

Mistake: Assuming that finite volume implies finite surface area, or that infinite surface area implies infinite volume.
Correction: Volume and surface area depend on different integrals (1/x21/x^2 vs. 1/x1/x in this case) that can have different convergence behaviors. Always evaluate each integral separately.