Gabriel's Horn · Torricelli's Trumpet · 1643
The Horn You Can Fill but Never Paint
Spin the curve y = 1/x around and you get a trumpet that never ends. It holds only π cups of paint — a little over three. Yet its inner surface is infinite, so the story goes: you can fill it, but you could never paint it. Pull the horn longer below and watch it happen — the volume creeps to π and stops; the surface never stops. Then watch the paradox come apart in your hands.
In the early 1640s, before calculus had its machinery, Evangelista Torricelli found a solid that was infinitely long and yet enclosed a finite volume. It drew immediate dispute — Roberval, one of the finest geometers in France, first declared it impossible — and fed a running argument over whether an actually-infinite object could be reasoned about at all. Three centuries later someone else noticed its surface was infinite while its volume stayed finite, dressed the pair as a paradox about paint, and hung the archangel's name on it. Here is the object, rebuilt so you can operate it — and here, at the end, is why the paradox was never one.
y = 1/x; the race, with the volume flattening
against π while the surface sails through and keeps climbing (S ≈ 2π·ln b + 0.70996…);
the fill pouring to the tip with the film V/S → 0; and the record-correction — Torricelli
proved the volume only; the painter's paradox is a much later addition, and an equivocation on the word
paint. Every number on screen is computed live by the same functions this page and
research/gabriels-horn/verify.mjs (28/28) use; the music is built from the horn's own
harmonic series (partials 1/n = the radii 1/x). No claim on screen the verifier does not assert.
Volume (paint to fill it)
V = π(1 − 1/b) → π ≈ 3.1416
Inner surface (skin to paint)
S = 2π∫₁ᵇ (1/x)√(1+1/x⁴) dx > 2π·ln b · no ceiling
At b = 10 the horn is ten units long. Its volume is already 2.83, most of the way to π. Its surface is 15.2 and climbing with no ceiling in sight.
The volume of the whole endless horn is exactly π — the supremum it approaches but no finite length ever quite reaches. The surface has no such ceiling: because √(1+1/x⁴) > 1 everywhere, the surface is strictly larger than 2π·ln b, and ln b marches to infinity. One quantity saturates; the other diverges — logarithmically, but without bound. Watch them race.
Both curves start together at b = 1 (an empty horn). The blue volume flattens against the dashed line at π and can never cross it. The gold surface sails straight through and keeps climbing. That gap — finite below, infinite above — is the whole paradox, drawn.
So: fill it, then try to paint it
Here is the trap the paradox sets. Filling the horn takes under π cups — finite, done. Painting the inside, the argument says, means coating that infinite surface, and a coat of any fixed thickness over an infinite area needs infinite paint. Fill: finite. Paint: infinite. Same object. Feels impossible. Operate it and see exactly where the sleight of hand lives.
To fill it
cups · = V(b), capped at π
To coat it, thickness h
cups · ≈ h·S(b) → ∞
The film, if you spread the fill
thick · = V/S → 0
Pick any coat thickness you like — then pull the length slider on the first horn out further. For every fixed h, the coat eventually needs more paint than the fill, and then more than any fill, forever. But the fill you already poured in? It reached the end.
There it is. The π cups you poured in didn't stop partway — a liquid fills to the tip, touching every point of the infinite inner surface. So in the only sense that matters, the fill painted the horn. The catch is the thickness: spread that finite paint over the infinite surface and the film is V/S thick — a number that thins to zero as the horn lengthens. The famous impossibility — "you'd need infinite paint" — is true only if you demand a coat of constant thickness. Filling never promised that. The word "paint" was quietly doing two different jobs: a volume when we filled, a fixed-thickness coat when we despaired. Hold it to one meaning and there is no paradox at all — only a surface so vast that any finite paint, poured on, must spread itself infinitely thin.
The check — every number recomputed in front of you
The volume is the exact antiderivative π(1−1/b). The surface is the integral 2π∫₁ᵇ(1/x)√(1+1/x⁴)dx, evaluated live (via the substitution u=ln x, which makes it the well-behaved 2π∫₀^{ln b}√(1+e⁻⁴ᵘ)du). These are the figures the offline verifier reproduces by two independent integrators.
| length b | V(b) — volume | S(b) — surface | flat area ln b | film V/S |
|---|
The volume converges to π ≈ 3.141593; the surface diverges as 2π·ln b + 0.70996… (the constant checked to six places); even the flat region you spun — the area under 1/x — is already infinite, so the finite volume is no accident of a small region but the squeeze of the r² in a volume integral. Run it yourself: node research/gabriels-horn/verify.mjs (28/28).
What's exactly true, what's the sleight of hand, and what Torricelli actually did
Exactly true. The solid of revolution of y=1/x for x≥1 has volume π and infinite lateral surface area — both provable in one line of calculus, both reproduced here live and offline. There is no error in either number, and no error in the sentence "finite volume, infinite surface." That much is not a trick.
The sleight of hand is entirely in the word paint. To "fill" is to supply a volume; to "paint" is usually taken to mean a coat of some fixed positive thickness. Those are different asks, and the paradox smuggles you from one to the other. Under a single honest definition the mystery evaporates: (a) with paint allowed to thin, π units coat the whole infinite surface — the fill is a coat, of thickness V/S → 0; (b) with a coat of fixed thickness h>0, you need about h·S(b), which grows past every bound — but then you also can't finish "filling" with such a coat either. Nothing is both fillable and unpaintable once "paint" means one thing.
The category error underneath it. Comparing "π of volume" with "∞ of area" and calling it a contradiction compares a cubic quantity with a square one. Volume and area are incommensurable; the only bridge is the word paint, and paint is a volume. Once you notice that, the two facts stop arguing with each other — they were never about the same kind of thing.
And a real horn? There isn't one. Past the point where the tube is narrower than a paint molecule — long before x is large — nothing can flow in, so a physical horn can be neither filled nor painted. The object is purely mathematical; "paint" is a metaphor that snaps at the scale of atoms. That the metaphor breaks is the honest end of the story, not a loophole.
What Torricelli actually proved (and what he didn't). In his tract De solido hyperbolico acuto (written 1643, published 1644 in the Opera geometrica), Evangelista Torricelli showed that this "acute hyperbolic solid" — a rectangular hyperbola spun about one of its asymptotes — though infinitely long, has a finite volume, equal to that of a definite finite cylinder. He proved it two ways: with Cavalieri's method of indivisibles (two generations before Newton and Leibniz gave calculus its machinery) and with a classical Archimedean exhaustion argument for the doubters. The result provoked real dispute — Gilles de Roberval at first held it false and impossible, and it fed a seventeenth-century argument about actual infinity and the legitimacy of indivisibles (the surprise, some historians stress, was about method and infinity, not that "finite volume" was intuitively absurd). Crucially, Torricelli's work was about volume only: the infinite surface area, and the "painter's paradox" that pairs it with the finite volume, are a much later, pedagogical addition — not his, and I found no reliable first-namer for it. The names are later still: neither "Torricelli's trumpet" nor "Gabriel's Horn" was used by Torricelli (into the 1700s reference works still called it the hyperbolicum acutum); they are modern coinages. "Gabriel's Horn" evokes the archangel Gabriel, whose horn sounds the Last Judgment — a finite mouthpiece opening onto an infinite bell, the earthly touching the divine.
Ground Truthcalculusinfinity Torricellirecord-correctinginteractive