#051 · Gabriel's Horn · Short Articles

A seventeenth-century Italian rotated a curve around an axis and built a trumpet of infinite length, finite volume, and infinite surface area. You can fill it with paint. You cannot paint it. Mathematicians have been arguing about what that means for nearly four hundred years.

In 1641, a thirty-two-year-old mathematician in Florence wrote to his old teacher with a result he could not quite believe. Evangelista Torricelli — Galileo's last assistant, the man who would later invent the barometer — had been rotating curves around axes to see what solids fell out. One of them, generated by spinning the curve y = 1/x around the x-axis from x = 1 outward to infinity, refused to behave. It stretched forever. Its volume was exactly π. Its surface area was unbounded.

Torricelli sent the proof to Bonaventura Cavalieri, who confirmed it. The thing was real. A trumpet that ran to infinity, narrowing forever, that you could in principle fill with a finite cup of paint and yet never finish painting on the outside.

This was forty years before Newton and Leibniz formalised the calculus. Torricelli reached it by Cavalieri's method of indivisibles: slicing a solid into infinitely thin pieces and adding them up. The technique was new, controversial, and — to its critics — obviously broken. Here was the proof.

The arithmetic of the horn

The shape is easy to describe. Take the curve y = 1/x for x ≥ 1, and rotate it around the x-axis. The result is a horn that opens at radius one and narrows toward zero as it extends rightward forever.

A long brass horn model rests on a dark Florence workbench Illustration · AI-generated (FLUX.1-dev)

Its volume comes out as the integral of π/x² from 1 to infinity. That integral converges. It equals π exactly — about 3.14159 cubic units, no matter how far the horn extends.

The surface area is the integral of 2π·(1/x)·√(1 + 1/x⁴) from 1 to infinity. Drop the square root, which is always at least 1, and what remains is the integral of 2π/x — the continuous form of the harmonic series. It diverges. Slowly, logarithmically, but unstoppably. Sum enough of it and you reach any number you like.

The volume is finite because cross-sections shrink as 1/x², and squares of small numbers are very small. The surface area is infinite because the circumference shrinks only as 1/x, and the horn never closes off. Each new metre of horn contributes a vanishing puff of volume and a stubborn ribbon of skin.

A viewpoint from inside a polished metal horn shows the circular walls tightening graduall Illustration · AI-generated (FLUX.1-dev)

The painter who could not paint

A decade after Torricelli's death, Thomas Hobbes read the proof and refused to accept it. "To understand this for sense," he wrote in 1656, "it is not required that a man should be a geometrician or a logician, but that he should be mad." Other contemporaries were gentler but no less rattled. The shape became known in English as Gabriel's Horn, after the archangel whose trumpet announces the end of the world — a fitting name for an object that does its work at the edge of the finite.

Gabriele Horn Simone Kornfeld · BY-SA 4.0

The vivid version of the paradox came later. Fill the horn with π units of paint. The paint touches every interior wall. So the inside surface, which has the same area as the outside, is now coated. But the outside requires infinite paint. The paint that fills the horn somehow covers a surface its own quantity could not.

A clear glass vessel shaped like Gabriel's Horn is being filled from the open bell with a Illustration · AI-generated (FLUX.1-dev)

The resolution is mathematical and a little deflating. Physical paint has thickness. A real coat is a thin layer of finite volume, and an infinite surface needs an infinite volume of such layers no matter how thin you make them. Inside the horn, past a certain x, the horn itself is narrower than any actual paint molecule. You cannot paint the inside either. The paradox is between two idealisations — a mathematical surface with no thickness and a mathematical paint that does — and once you commit to one, the other goes away.

What we still don't know

Whether Torricelli understood what he had built is unresolved. His own commentary treats the result as a curiosity of geometry, not a foundational shock. The shock comes through in his correspondents — Pierre de Fermat worked through it independently and seems to have been more startled than the author.

The horn sits at the head of a long line of objects that calculus would later produce in abundance: shapes with finite measure in one dimension and infinite measure in another, sets that are everywhere and nowhere, curves that fill space. Each generation has had to absorb a fresh batch. Whether any of these objects has a physical correlate — whether the universe ever instantiates a true infinity — is not a question mathematics is equipped to answer.

A young mathematician's Florence room in 1641 Illustration · AI-generated (FLUX.1-dev)

And the harmonic series, which is the engine of the horn's paradox, remains a recurring source of trouble. It diverges, but so slowly that summing the first 10⁴³ terms gets you only to about 100. Infinity, when it shows up in mathematics, often arrives by a road this long.

Torricelli died in 1647, at thirty-nine, of typhoid. He had been Galileo's successor at the Florentine court for five years. The horn was, by his own reckoning, the work he was most pleased with.

十七世纪的一位意大利人绕着轴旋转了一条曲线，构建出一支长度无限、体积有限却拥有无限表面积的喇叭。你可以用油漆将其填满，却无法为它刷漆。四百年来，数学家们一直在争论这究竟意味着什么。

1641年，佛罗伦萨一位三十二岁的数学家致信他以前的老师，文中提到一个他自己都难以置信的结果。Evangelista Torricelli——Galileo的最后一位助手，也是后来发明气压计的人——一直在尝试将曲线绕轴旋转，以观察会得到什么样的立体图形。其中一个图形，由曲线 y = 1/x 从 x = 1 向无穷远处绕 x 轴旋转生成，其表现极为顽固。它无限延伸，体积恰好为 π，而表面积却是无限的。

托里切利将这一证明寄给了Bonaventura Cavalieri，后者予以了证实。这东西确实存在。这是一把延伸至无穷远处、永远在收窄的号角；从理论上讲，你可以用有限的一杯油漆把它填满，但却永远无法漆完它的外表面。

这发生在牛顿和莱布尼茨完善微积分之前的四十年。托里切利是通过卡瓦列里的method of indivisibles推导出这一结果的：将一个立体切成无数个无限薄的切片，然后将它们累加起来。这种技巧在当时是崭新的、充满争议的，对批评者而言，它显然是荒谬的。然而，证据就摆在这里。

号角的算术

这个形状很容易描述。取曲线 y = 1/x（当 x ≥ 1 时），将其绕 x 轴旋转。结果得到的一把号角，在半径为 1 处开口，随着向右无限延伸，半径趋于零。

其体积积分的结果是 π/x² 从 1 到无穷大。该积分是收敛的，恰好等于 π——大约 3.14159 个立方单位，无论号角延伸多远都是如此。

其表面积是 2π·(1/x)·√(1 + 1/x⁴) 从 1 到无穷大的积分。去掉那个至少为 1 的平方根，剩下的就是 2π/x 的积分——即harmonic series的连续形式。它是发散的。虽然缓慢、对数级，但不可阻挡。将它加得足够多，你就能得到任何你想要的数字。

体积有限，是因为横截面以 1/x² 的速度缩小，而小数字的平方变得极小。表面积无限，是因为圆周仅以 1/x 的速度缩小，且号角从不闭合。每增加一米长的号角，都会贡献出一丁点几乎可以忽略的体积，但同时也会增加一圈顽固的表面带。

无法作画的画家

在托里切利去世十年后，Thomas Hobbes读到了这个证明并拒绝接受。他在 1656 年写道：“要理解其中的逻辑，并不要求一个人必须是几何学家或逻辑学家，而是要求他必须是个疯子。”其他同时代的人虽然措辞更温和，但同样感到震撼。在英语中，这个形状被称为“加百列号角”（Gabriel's Horn），得名于那位吹响号角宣告世界末日的天使——对于一个在有限边缘施展魔法的物体来说，这是一个恰如其分的名字。

这个悖论的生动表述出现在后来。用 π 单位的油漆填满号角，油漆会接触到每一个内壁。因此，面积与外表面相同的内表面现在被漆满了。但外表面却需要无限多的油漆。填满号角的油漆，竟然覆盖了一个自身数量无法企及的表面。

这个悖论的数学解释令人有些泄气。物理上的油漆是有厚度的。真实的涂层是具有有限体积的薄层，无论你将其涂得多么薄，一个无限的表面都需要无限体积的油漆来覆盖。在号角内部，超过某一个 x 值后，号角本身比任何实际的油漆分子都要窄。你根本无法漆满内部。这个悖论存在于两种理想化概念之间——即无厚度的数学表面和具有厚度的数学油漆——一旦你选择了其中一种，另一个悖论就会消失。

我们仍未知的领域

托里切利是否理解他所创造的东西，目前尚无定论。他自己的评论将这一结果视为几何学上的一个奇观，而非基础性的冲击。这种冲击在与他通信的人身上体现得更为明显——Pierre de Fermat独立推导了这一过程，他似乎比作者本人更感到吃惊。

这个号角引领了一系列后来由微积分大量产生的奇特对象：在某一维度上具有有限度量而在另一维度上具有无限度量的形状、处处存在又处处不存在的集合、填充空间的曲线。每一代人都不得不消化一批新鲜的此类概念。这些对象是否具有物理对应物——即宇宙是否真的实例化了一个真正的无穷大——这并不是数学所能回答的问题。

而作为号角悖论引擎的调和级数，仍然是一个反复出现的问题源。它发散，但发散得如此缓慢，以至于将前 10⁴³ 项相加也仅能达到 100 左右。当无穷大在数学中出现时，往往是通过一条如此漫长的道路抵达的。

托里切利于 1647 年因伤寒去世，年仅三十九岁。他生前已在佛罗伦萨宫廷担任伽利略的继任者五年。按照他自己的评价，这把号角是他最满意的作品。

Un italiano del siglo XVII hizo girar una curva alrededor de un eje y construyó una trompeta de longitud infinita, volumen finito y superficie infinita. Puedes llenarla de pintura, pero no puedes pintarla. Los matemáticos han debatido sobre lo que esto significa durante casi cuatrocientos años.

En 1641, un matemático de treinta y dos años en Florencia escribió a su antiguo maestro sobre un resultado que apenas podía creer. Evangelista Torricelli, el último asistente de Galileo, el hombre que más tarde inventaría el barómetro, había estado rotando curvas alrededor de ejes para ver qué sólidos resultaban. Uno de ellos, generado al hacer girar la curva y = 1/x alrededor del eje x desde x = 1 hacia el infinito, se resistía a comportarse. Se extendía para siempre. Su volumen era exactamente π. Su superficie era ilimitada.

Torricelli envió la prueba a Bonaventura Cavalieri, quien la confirmó. Aquello era real. Una trompeta que se extendía hasta el infinito, estrechándose eternamente, que en principio se podría llenar con una taza finita de pintura y, sin embargo, nunca terminar de pintar por fuera.

Esto fue cuarenta años antes de que Newton y Leibniz formalizaran el cálculo. Torricelli llegó a ello mediante el method of indivisibles de Cavalieri: cortar un sólido en piezas infinitamente delgadas y sumarlas. La técnica era nueva, controvertida y, para sus críticos, evidentemente defectuosa. He aquí la prueba.

La aritmética del cuerno

La forma es fácil de describir. Tomemos la curva y = 1/x para x ≥ 1 y rotémosla alrededor del eje x. El resultado es un cuerno que se abre con un radio de uno y se estrecha hacia cero a medida que se extiende hacia la derecha para siempre.

Su volumen resulta ser la integral de π/x² desde 1 hasta el infinito. Esa integral converge. Es igual a π exactamente, aproximadamente 3,14159 unidades cúbicas, sin importar cuánto se extienda el cuerno.

El área de la superficie es la integral de 2π·(1/x)·√(1 + 1/x⁴) desde 1 hasta el infinito. Eliminemos la raíz cuadrada, que siempre es al menos 1, y lo que queda es la integral de 2π/x, la forma continua de la harmonic series. Diverge. Lentamente, logarítmicamente, pero imparablemente. Si sumas suficiente, alcanzarás cualquier número que desees.

El volumen es finito porque las secciones transversales se reducen como 1/x², y los cuadrados de números pequeños son muy pequeños. El área superficial es infinita porque la circunferencia se reduce solo como 1/x, y el cuerno nunca se cierra. Cada nuevo metro de cuerno aporta una bocanada insignificante de volumen y una obstinada cinta de piel.

El pintor que no podía pintar

Una década después de la muerte de Torricelli, Thomas Hobbes leyó la prueba y se negó a aceptarla. «Para entender esto como algo sensato», escribió en 1656, «no se requiere que un hombre sea geómetra o lógico, sino que esté loco». Otros contemporáneos fueron más amables, pero no menos desconcertados. La forma pasó a conocerse en inglés como el Cuerno de Gabriel, en honor al arcángel cuya trompeta anuncia el fin del mundo, un nombre apropiado para un objeto que realiza su labor en el límite de lo finito.

La versión vívida de la paradoja llegó más tarde. Llena el cuerno con π unidades de pintura. La pintura toca toda la pared interior. Por tanto, la superficie interior, que tiene la misma área que la exterior, queda recubierta. Pero el exterior requiere una cantidad infinita de pintura. La pintura que llena el cuerno cubre, de algún modo, una superficie que su propia cantidad no podría abarcar.

La resolución es matemática y un poco decepcionante. La pintura física tiene grosor. Una capa real es una lámina delgada de volumen finito, y una superficie infinita necesita un volumen infinito de tales capas, por muy delgadas que se hagan. Dentro del cuerno, más allá de cierto punto x, el cuerno mismo es más estrecho que cualquier molécula de pintura real. Tampoco se puede pintar el interior. La paradoja se da entre dos idealizaciones —una superficie matemática sin grosor y una pintura matemática que sí tiene uno— y, una vez que te decides por una, la otra desaparece.

Lo que aún no sabemos

Si Torricelli entendió lo que había construido es algo que sigue sin resolverse. Su propio comentario trata el resultado como una curiosidad geométrica, no como una conmoción fundacional. El impacto lo sintieron sus corresponsales; Pierre de Fermat lo resolvió de forma independiente y parece haberse quedado más asombrado que el autor.

El cuerno se sitúa a la cabeza de una larga lista de objetos que el cálculo produciría más tarde en abundancia: formas con medida finita en una dimensión y medida infinita en otra, conjuntos que están en todas partes y en ninguna, curvas que llenan el espacio. Cada generación ha tenido que absorber una nueva hornada. Si alguno de estos objetos tiene un correlato físico, si el universo llega a instanciar un infinito real, no es una pregunta que la matemática esté equipada para responder.

Y la serie armónica, que es el motor de la paradoja del cuerno, sigue siendo una fuente recurrente de problemas. Diverge, pero tan lentamente que sumar los primeros 10⁴³ términos apenas te lleva a unos 100. El infinito, cuando aparece en las matemáticas, a menudo llega por un camino así de largo.

Torricelli murió en 1647, a los treinta y nueve años, de tifus. Había sido el sucesor de Galileo en la corte florentina durante cinco años. El cuerno fue, según su propio juicio, el trabajo con el que se sintió más satisfecho.

Um italiano do século XVII rotacionou uma curva em torno de um eixo e construiu uma trombeta de comprimento infinito, volume finito e área de superfície infinita. Você pode enchê-la de tinta. Você não pode pintá-la. Matemáticos vêm discutindo o que isso significa há quase quatrocentos anos.

Em 1641, um matemático de trinta e dois anos em Florença escreveu ao seu antigo professor sobre um resultado em que ele próprio mal conseguia acreditar. Evangelista Torricelli — o último assistente de Galileo, o homem que mais tarde inventaria o barômetro — estivera a rotacionar curvas em torno de eixos para ver que sólidos resultavam disso. Um deles, gerado pelo giro da curva y = 1/x em torno do eixo x, de x = 1 para o infinito, recusava-se a comportar-se. Estendia-se para sempre. O seu volume era exatamente π. A sua área de superfície era ilimitada.

Torricelli enviou a prova a Bonaventura Cavalieri, que a confirmou. Aquilo era real. Uma trombeta que se estendia até ao infinito, estreitando-se perpetuamente, que, em teoria, se poderia encher com um copo finito de tinta e, ainda assim, nunca se terminaria de pintar o exterior.

Isto aconteceu quarenta anos antes de Newton e Leibniz formalizarem o cálculo. Torricelli chegou lá através do method of indivisibles de Cavalieri: fatiar um sólido em pedaços infinitamente finos e somá-los. A técnica era nova, controversa e — para os seus críticos — obviamente falha. Ali estava a prova.

A aritmética da trombeta

A forma é fácil de descrever. Tome a curva y = 1/x para x ≥ 1 e rotacione-a em torno do eixo x. O resultado é uma trombeta que abre com raio um e estreita em direção a zero à medida que se estende para a direita, para sempre.

O seu volume resulta no integral de π/x² de 1 ao infinito. Esse integral converge. É igual a exatamente π — cerca de 3,14159 unidades cúbicas, não importa quão longe a trombeta se estenda.

A área da superfície é o integral de 2π·(1/x)·√(1 + 1/x⁴) de 1 ao infinito. Despreze a raiz quadrada, que é sempre pelo menos 1, e o que resta é o integral de 2π/x — a forma contínua da harmonic series. Ela diverge. Lentamente, logaritmicamente, mas imparavelmente. Some o suficiente e chegará a qualquer número que desejar.

O volume é finito porque as secções transversais encolhem como 1/x², e os quadrados de números pequenos são muito pequenos. A área da superfície é infinita porque a circunferência encolhe apenas como 1/x, e a trombeta nunca se fecha. Cada novo metro de trombeta contribui com um sopro ínfimo de volume e uma fita persistente de pele.

O pintor que não podia pintar

Uma década após a morte de Torricelli, Thomas Hobbes leu a prova e recusou-se a aceitá-la. "Para entender isto como sensato", escreveu ele em 1656, "não é necessário que um homem seja geômetra ou lógico, mas sim que esteja louco." Outros contemporâneos foram mais gentis, mas não menos abalados. A forma tornou-se conhecida em inglês como Trombeta de Gabriel, em homenagem ao arcanjo cuja trombeta anuncia o fim do mundo — um nome apropriado para um objeto que realiza o seu trabalho no limite do finito.

A versão vívida do paradoxo surgiu mais tarde. Encha a trombeta com π unidades de tinta. A tinta toca em todas as paredes interiores. Portanto, a superfície interna, que tem a mesma área que a externa, está agora coberta. Mas o exterior exige tinta infinita. A tinta que enche a trombeta cobre, de alguma forma, uma superfície que a sua própria quantidade não poderia.

A resolução é matemática e um pouco dececionante. A tinta física tem espessura. Uma camada real é uma película fina de volume finito, e uma superfície infinita precisa de um volume infinito de tais camadas, não importa quão finas as faça. Dentro da trombeta, além de um certo x, a própria trombeta é mais estreita do que qualquer molécula de tinta real. Também não se pode pintar o interior. O paradoxo existe entre duas idealizações — uma superfície matemática sem espessura e uma tinta matemática que a possui — e, uma vez que se assume uma, a outra desaparece.

O que ainda não sabemos

Se Torricelli compreendeu o que tinha construído é algo por resolver. O seu próprio comentário trata o resultado como uma curiosidade geométrica, não como um choque fundacional. O choque transparece nos seus correspondentes — Pierre de Fermat analisou-o independentemente e parece ter ficado mais surpreendido do que o autor.

A trombeta situa-se à frente de uma longa linhagem de objetos que o cálculo produziria mais tarde em abundância: formas com medida finita numa dimensão e infinita noutra, conjuntos que estão em toda a parte e em lugar nenhum, curvas que preenchem o espaço. Cada geração teve de absorver uma nova leva. Se algum destes objetos tem um correlato físico — se o universo alguma vez instancia um verdadeiro infinito — não é uma questão que a matemática esteja equipada para responder.

E a série harmónica, que é o motor do paradoxo da trombeta, permanece uma fonte recorrente de problemas. Ela diverge, mas tão lentamente que somar os primeiros 10⁴³ termos leva-o apenas a cerca de 100. O infinito, quando aparece na matemática, chega frequentemente por uma estrada tão longa quanto esta.

Torricelli morreu em 1647, aos trinta e nove anos, de tifo. Tinha sido o sucessor de Galileu na corte florentina durante cinco anos. A trombeta foi, nas suas próprias contas, o trabalho que mais lhe agradou.

Un Italien du XVIIe siècle fit pivoter une courbe autour d'un axe et bâtit une trompette de longueur infinie, de volume fini et de surface infinie. On peut la remplir de peinture. On ne peut pas la peindre. Les mathématiciens débattent de la signification de ce paradoxe depuis près de quatre cents ans.

En 1641, un mathématicien de trente-deux ans à Florence écrivit à son ancien professeur pour lui faire part d'un résultat auquel il pouvait à peine croire. Evangelista Torricelli — le dernier assistant de Galileo, l'homme qui inventerait plus tard le baromètre — faisait tourner des courbes autour d'axes pour observer les solides qui en résultaient. L'un d'eux, engendré par la rotation de la courbe y = 1/x autour de l'axe des x, de x = 1 jusqu'à l'infini, refusait de se laisser dompter. Il s'étirait à l'infini. Son volume était exactement π. Son aire de surface, en revanche, n'était pas bornée.

Torricelli envoya la preuve à Bonaventura Cavalieri, qui la confirma. La chose était réelle. Une trompette s'étendant à l'infini, se rétrécissant à jamais, que l'on pourrait en principe remplir avec une quantité finie de peinture, mais dont on ne finirait jamais de peindre l'extérieur.

C'était quarante ans avant que Newton et Leibniz ne formalisent le calcul infinitésimal. Torricelli y parvint grâce à la method of indivisibles de Cavalieri : découper un solide en tranches infiniment fines et les additionner. La technique était nouvelle, controversée et, pour ses détracteurs, manifestement bancale. Pourtant, la preuve était là.

L'arithmétique de la corne

La forme est facile à décrire. Prenez la courbe y = 1/x pour x ≥ 1, et faites-la tourner autour de l'axe des x. Le résultat est une corne qui s'ouvre avec un rayon de un et se rétrécit vers zéro à mesure qu'elle s'étend indéfiniment vers la droite.

Son volume s'obtient par l'intégrale de π/x² de 1 à l'infini. Cette intégrale converge. Elle est égale exactement à π — soit environ 3,14159 unités cubiques, peu importe la longueur de la corne.

L'aire de la surface est l'intégrale de 2π·(1/x)·√(1 + 1/x⁴) de 1 à l'infini. Si l'on écarte la racine carrée, qui est toujours au moins égale à 1, il reste l'intégrale de 2π/x — la forme continue de la harmonic series. Elle diverge. Lentement, de façon logarithmique, mais inéluctablement. Additionnez-en suffisamment et vous atteindrez n'importe quel nombre souhaité.

Le volume est fini car les sections transversales diminuent selon 1/x², et les carrés de petits nombres sont très petits. L'aire de la surface est infinie car la circonférence ne diminue que selon 1/x, et la corne ne se referme jamais. Chaque nouveau mètre de corne apporte une bouffée de volume évanescente et un ruban de peau obstiné.

Le peintre qui ne pouvait peindre

Dix ans après la mort de Torricelli, Thomas Hobbes lut la preuve et refusa de l'accepter. « Pour comprendre cela selon le bon sens », écrivit-il en 1656, « il n'est pas nécessaire d'être géomètre ou logicien, mais il faut être fou. » D'autres contemporains furent plus courtois mais non moins déconcertés. La forme devint connue en anglais sous le nom de Corne de Gabriel, en référence à l'archange dont la trompette annonce la fin du monde — un nom approprié pour un objet qui accomplit son œuvre à la limite du fini.

La version imagée du paradoxe apparut plus tard. Remplissez la corne avec π unités de peinture. La peinture touche toute la paroi intérieure. Ainsi, la surface intérieure, qui possède la même aire que l'extérieure, est désormais recouverte. Mais l'extérieur exige une quantité infinie de peinture. La peinture qui remplit la corne recouvre en quelque sorte une surface que sa propre quantité ne pourrait couvrir.

La résolution est mathématique et quelque peu décevante. La peinture physique a une épaisseur. Une couche réelle est une pellicule mince de volume fini, et une surface infinie nécessite un volume infini de telles couches, quelle que soit leur finesse. À l'intérieur de la corne, au-delà d'un certain x, la corne elle-même devient plus étroite que n'importe quelle molécule de peinture réelle. Vous ne pouvez pas non plus peindre l'intérieur. Le paradoxe naît de la confrontation entre deux idéalités — une surface mathématique sans épaisseur et une peinture mathématique qui en a une — et dès que vous en choisissez une, l'autre disparaît.

Ce que nous ignorons encore

La question de savoir si Torricelli a compris la portée de sa découverte reste irrésolue. Ses propres commentaires traitent le résultat comme une curiosité géométrique, et non comme un bouleversement fondamental. Le choc transparaît davantage chez ses correspondants — Pierre de Fermat travailla dessus de son côté et semble avoir été plus stupéfait que l'auteur lui-même.

La corne se trouve à l'origine d'une longue lignée d'objets que le calcul infinitésimal produira plus tard en abondance : des formes ayant une mesure finie dans une dimension et infinie dans une autre, des ensembles qui sont partout et nulle part, des courbes qui remplissent l'espace. Chaque génération a dû assimiler une nouvelle fournée. La question de savoir si l'un de ces objets possède un corrélat physique — si l'univers instaure jamais une véritable infinité — n'est pas une question à laquelle les mathématiques sont équipées pour répondre.

Et la série harmonique, qui est le moteur du paradoxe de la corne, reste une source récurrente de difficultés. Elle diverge, mais si lentement que la somme des 10⁴³ premiers termes ne vous mène qu'à environ 100. L'infini, lorsqu'il apparaît en mathématiques, arrive souvent par une route aussi longue.

Torricelli mourut en 1647, à trente-neuf ans, de la typhoïde. Il avait été le successeur de Galilée à la cour de Florence pendant cinq ans. La corne était, selon ses propres termes, l'œuvre dont il était le plus satisfait.

सत्रहवीं सदी के एक इतालवी ने एक वक्र को अक्ष पर घुमाया और अनंत लंबाई, परिमित आयतन और अनंत पृष्ठीय क्षेत्रफल वाला एक तुरहीनुमा आकार रचा। [[Label]] आप इसे रंग से भर तो सकते हैं, पर इसे बाहर से रंगा नहीं जा सकता। गणितज्ञ लगभग चार सौ वर्षों से इस पहेली के अर्थ पर बहस कर रहे हैं।

1641 में, फ्लोरेंस के बत्तीस वर्षीय एक गणितज्ञ ने अपने पुराने शिक्षक को एक परिणाम के बारे में लिखा जिस पर उन्हें खुद भी पूरी तरह विश्वास नहीं हो रहा था। Evangelista Torricelli — Galileo के अंतिम सहायक, वह व्यक्ति जिसने बाद में बैरोमीटर का आविष्कार किया — वक्रों (curves) को अक्षों के चारों ओर घुमाकर यह देख रहे थे कि कौन सी ठोस आकृतियाँ निकलती हैं। उनमें से एक, जो x = 1 से अनंत तक x-अक्ष के चारों ओर वक्र y = 1/x को घुमाने से बनी थी, किसी भी नियम में बंधने से इनकार कर रही थी। यह हमेशा के लिए फैलती गई। इसका आयतन (volume) बिल्कुल π था। इसका पृष्ठीय क्षेत्रफल (surface area) असीमित था।

टॉरिसिली ने इसका प्रमाण Bonaventura Cavalieri को भेजा, जिन्होंने इसकी पुष्टि की। वह आकृति वास्तविक थी। एक तुरही जो अनंत तक जाती थी, हमेशा के लिए संकरी होती जाती थी, जिसे आप सिद्धांत रूप में रंग के एक सीमित प्याले से भर तो सकते थे, फिर भी बाहर से उसे रंगना कभी पूरा नहीं कर सकते थे।

यह न्यूटन और लाइबनिज द्वारा कैलकुलस को औपचारिक रूप देने से चालीस साल पहले की बात है। टॉरिसिली ने इसे कैवलियरी की method of indivisibles द्वारा हासिल किया: एक ठोस को अनंत पतले टुकड़ों में काटना और उन्हें जोड़ना। यह तकनीक नई थी, विवादास्पद थी, और — इसके आलोचकों के लिए — स्पष्ट रूप से त्रुटिपूर्ण थी। और यहाँ उसका प्रमाण मौजूद था।

तुरही का अंकगणित

इस आकृति का वर्णन करना आसान है। x ≥ 1 के लिए वक्र y = 1/x लें, और इसे x-अक्ष के चारों ओर घुमाएँ। परिणाम एक ऐसी तुरही है जो त्रिज्या एक पर खुलती है और जैसे-जैसे दाईं ओर अनंत तक फैलती है, शून्य की ओर संकरी होती जाती है।

इसका आयतन 1 से अनंत तक π/x² के समाकल (integral) के रूप में निकलता है। वह समाकल अभिसरित (converge) होता है। यह बिल्कुल π के बराबर है — लगभग 3.14159 घन इकाइयाँ, चाहे तुरही कितनी भी दूर तक क्यों न फैल जाए।

पृष्ठीय क्षेत्रफल 1 से अनंत तक 2π·(1/x)·√(1 + 1/x⁴) का समाकल है। वर्गमूल को छोड़ दें, जो हमेशा कम से कम 1 होता है, तो जो बचता है वह 2π/x का समाकल है — harmonic series का निरंतर रूप। यह अपसरित (diverge) होता है। धीरे-धीरे, लघुगणकीय (logarithmically) रूप से, लेकिन रुकने का नाम नहीं लेता। इसका पर्याप्त योग करने पर आप जितनी चाहें उतनी बड़ी संख्या तक पहुँच सकते हैं।

आयतन सीमित है क्योंकि अनुप्रस्थ काट (cross-sections) 1/x² के रूप में सिकुड़ते हैं, और छोटी संख्याओं के वर्ग बहुत छोटे होते हैं। पृष्ठीय क्षेत्रफल अनंत है क्योंकि परिधि केवल 1/x के रूप में सिकुड़ती है, और तुरही कभी बंद नहीं होती। तुरही का प्रत्येक नया मीटर आयतन की एक नगण्य सी फुहार और सतह की एक जिद्दी पट्टी जोड़ता है।

वह चित्रकार जो चित्र नहीं बना सका

टॉरिसिली की मृत्यु के एक दशक बाद, Thomas Hobbes ने इस प्रमाण को पढ़ा और इसे स्वीकार करने से इनकार कर दिया। 1656 में उन्होंने लिखा, "इसे समझ में आने वाली बात मानने के लिए, यह आवश्यक नहीं है कि कोई व्यक्ति ज्यामितिज्ञ या तर्कशास्त्री हो, बल्कि यह आवश्यक है कि वह पागल हो।" अन्य समकालीन लोग थोड़े विनम्र थे लेकिन उतने ही हैरान भी। अंग्रेजी में यह आकृति गैब्रियल की तुरही (Gabriel's Horn) के नाम से जानी जाने लगी, उस महादूत (archangel) के नाम पर जिसकी तुरही दुनिया के अंत की घोषणा करती है — एक ऐसी वस्तु के लिए उपयुक्त नाम जो सीमित के किनारे पर अपना काम करती है।

इस विरोधाभास का जीवंत संस्करण बाद में आया। तुरही को π इकाइयों रंग से भरें। रंग हर आंतरिक दीवार को छूता है। तो अंदरूनी सतह, जिसका क्षेत्रफल बाहर की तरह ही है, अब रंगी हुई है। लेकिन बाहर की सतह के लिए अनंत रंग की आवश्यकता होती है। जो रंग तुरही को भरता है, वह किसी तरह एक ऐसी सतह को ढक लेता है जिसे उसकी अपनी मात्रा नहीं ढक सकती थी।

इसका समाधान गणितीय है और थोड़ा निराशाजनक भी। भौतिक रंग की मोटाई होती है। रंग की एक वास्तविक परत सीमित आयतन की एक पतली परत होती है, और एक अनंत सतह को रंग की अनंत मात्रा की आवश्यकता होती है, चाहे आप परतें कितनी भी पतली क्यों न बना लें। तुरही के अंदर, एक निश्चित x के आगे, तुरही स्वयं रंग के किसी भी वास्तविक अणु से अधिक संकरी है। आप अंदरूनी हिस्से को भी नहीं रंग सकते। विरोधाभास दो आदर्शों के बीच है — एक गणितीय सतह जिसकी कोई मोटाई नहीं है और एक गणितीय रंग जिसकी मोटाई है — और एक बार जब आप किसी एक को चुन लेते हैं, तो दूसरा समाप्त हो जाता है।

जो हम अभी भी नहीं जानते

क्या टॉरिसिली समझ गए थे कि उन्होंने क्या बनाया है, यह अनसुलझा है। उनकी अपनी टिप्पणी इस परिणाम को ज्यामिति की एक जिज्ञासा के रूप में देखती है, न कि किसी आधारभूत झटके के रूप में। यह झटका उनके संवाददाताओं में झलकता है — Pierre de Fermat ने स्वतंत्र रूप से इस पर काम किया और ऐसा लगता है कि वे लेखक की तुलना में अधिक चकित थे।

यह तुरही उन वस्तुओं की लंबी सूची में सबसे ऊपर है जिन्हें कैलकुलस ने बाद में बहुतायत से उत्पन्न किया: एक आयाम में सीमित माप और दूसरे में अनंत माप वाली आकृतियाँ, ऐसे समुच्चय जो हर जगह हैं और कहीं नहीं हैं, ऐसे वक्र जो स्थान को भर देते हैं। प्रत्येक पीढ़ी को नए प्रयोगों को आत्मसात करना पड़ा है। क्या इनमें से किसी भी वस्तु का कोई भौतिक संबंध है — क्या ब्रह्मांड कभी एक सच्चे अनंत को मूर्त रूप देता है — यह कोई ऐसा प्रश्न नहीं है जिसका उत्तर देने के लिए गणित सुसज्जित है।

और हार्मोनिक श्रेणी, जो तुरही के विरोधाभास का इंजन है, परेशानी का एक आवर्ती स्रोत बनी हुई है। यह अपसरित होती है, लेकिन इतनी धीमी गति से कि पहले 10⁴³ पदों का योग करने पर आप केवल 100 तक ही पहुँच पाते हैं। गणित में जब अनंत सामने आता है, तो अक्सर वह इतनी लंबी यात्रा करके ही पहुँचता है।

टॉरिसिली की मृत्यु 1647 में, उनतालीस वर्ष की आयु में, टाइफाइड से हुई। वे पाँच वर्षों से फ्लोरेंटाइन दरबार में गैलीलियो के उत्तराधिकारी थे। उनकी अपनी गणना के अनुसार, तुरही वह काम था जिससे वे सबसे अधिक प्रसन्न थे।

十七世紀のイタリア人が、曲線を軸の周りに回転させ、無限の長さを持ちながら有限の体積を占め、しかも表面積が無限であるという奇妙なラッパを作り上げた。あなたはこのラッパをペンキで満たすことはできるが、その内側を塗りつぶすことはできない。数学者たちは四百年近くもの間、この不可思議な意味をめぐって議論を続けている。

1641年、フィレンツェにいた32歳の数学者が、恩師にあてて信じがたい成果を報告する手紙を書いた。Evangelista Torricelli――Galileoの最後の助手であり、後に気圧計を発明することになる人物――は、曲線を軸のまわりに回転させ、どのような立体ができあがるかを調べていた。その一つ、曲線y = 1/xをx軸のまわりにx = 1から無限大まで回転させて生成される立体は、常識では考えられないものだった。それは永遠に伸び続けていく。その体積は正確にπである。にもかかわらず、表面積は無限大であった。

トリチェリはその証明をBonaventura Cavalieriに送り、彼もまたそれを裏付けた。この物体は実在したのである。永遠に狭まりながら無限の彼方へと伸びるラッパス。理論上、有限のペンキで満たすことはできても、その外側を塗り終えることは決してできない物体。

これはニュートンとライプニッツが微積分を体系化する40年前のことである。トリチェリはカヴァリエリのmethod of indivisibles、すなわち立体を無限に薄い断片に切り分けて積み上げる手法によってこの結論に達した。この手法は新しく、物議を醸し、批判者たちからは明らかに論理が破綻しているとみなされていた。だが、ここにその証明があったのだ。

ラッパの算術

この図形の記述は容易である。x ≥ 1の範囲で曲線y = 1/xをとり、それをx軸のまわりに回転させる。結果として現れるのは、半径1で開口し、右方向へ向かって永遠にゼロへと狭まっていくラッパのような形である。

その体積は、π/x²を1から無限大まで積分したものとなる。この積分は収束する。その値は正確にπ、つまりラッパがどれほど伸びようとも約3.14159立方単位である。

表面積は、2π·(1/x)·√(1 + 1/x⁴)を1から無限大まで積分したものとなる。ここで少なくとも1以上の値をとる平方根を無視すれば、残るのは2π/xの積分、すなわちharmonic seriesの連続形式である。これは発散する。ゆっくりと、対数的に、しかし止まることなく。十分に足し合わせれば、望むどんな数にでも到達できる。

体積が有限なのは、断面積が1/x²の割合で減少するためであり、小さい数の二乗は非常に小さくなるからである。一方で表面積が無限なのは、円周が1/xの割合でしか減少せず、このラッパが決して閉じることがないからである。ラッパが1メートル伸びるごとに、体積は消え入るようなわずかな分しか加わらないが、表面の膜は執拗に伸び続けていく。

塗ることのできないペンキ職人

トリチェリの死から10年後、Thomas Hobbesはこの証明を読み、受け入れることを拒んだ。「これを意味あるものとして理解するには、幾何学者や論理学者である必要はない。狂人である必要があるのだ」と彼は1656年に記している。他の同時代人たちも、彼ほど露骨ではないにせよ、同様に困惑した。この図形は、英語圏では「ガブリエルのラッパ」として知られるようになった。世界の終わりを告げる天使が吹くラッパになぞらえて名付けられたのであり、有限の境界でその役割を果たす物体にはふさわしい名前であった。

このパラドックスの鮮烈な変種は、後になって生まれた。ラッパをπ単位のペンキで満たす。ペンキは内部の壁すべてに触れる。つまり、外側と同じ面積を持つ内側の表面は、これで塗りつぶされたことになる。しかし、外側を塗るには無限のペンキが必要だ。ラッパを満たすはずのペンキが、その量では足りないはずの表面を覆ってしまう。

この解決は数学的であり、少し拍子抜けするかもしれない。物理的なペンキには厚みがある。現実の塗り層は有限の体積を持つ薄い膜であり、どれほど薄くしようとも無限の表面積を塗るには無限の体積のペンキが必要となる。ラッパの内部、あるxの点を超えれば、ラッパ自体がどんなペンキの分子よりも細くなってしまう。内側を塗ることさえ不可能なのである。このパラドックスは、厚みを持たない数学的な表面と、厚みを持つ数学的なペンキという二つの理想化のあいだに生じている。どちらか一方を受け入れれば、もう一方は消え去るのだ。

私たちがまだ知らないこと

トリチェリが自分が作り上げたものの本質を理解していたかどうかは、今も未解決のままである。彼自身の注釈では、この結果は基礎を揺るがす驚異としてではなく、幾何学的な興味深い例として扱われている。この衝撃を受け止めたのは、彼の文通相手たちであった。Pierre de Fermatは独自にこの問題を解き、著者よりも驚いていたようである。

このラッパは、後に微積分が豊富に生み出すことになる数々の対象の先駆けとなった。ある次元では有限の尺度を持ちながら、別の次元では無限の尺度を持つ図形、いたるところに存在しながらどこにも存在しない集合、空間を埋め尽くす曲線。世代が変わるごとに、数学者たちはこうした新たな難問を飲み込む必要に迫られてきた。これらの対象のどれかに物理的な対応物があるのか――すなわち、宇宙が真の無限を具現化していることがあるのか――は、数学だけでは答えられない問いである。

そして、このラッパのパラドックスのエンジンである調和級数は、依然として厄介な問題の源であり続けている。それは発散するが、その歩みはあまりにも遅く、最初の10⁴³項を足してもようやく100に達する程度である。数学において無限が現れるとき、多くの場合、それほどまでに長い道のりを経てやってくる。

トリチェリは1647年、腸チフスにより39歳で亡くなった。彼は5年間、フィレンツェの宮廷でガリレオの後継者を務めていた。彼自身によれば、このラッパこそが、彼が最も誇りとしていた成果であった。

В семнадцатом веке итальянец вращал кривую вокруг оси и построил трубу бесконечной длины, конечного объема и бесконечной площади поверхности. Её можно заполнить краской. Но покрасить её нельзя. Математики спорят о том, что это значит, уже почти четыреста лет.

В 1641 году тридцатидвухлетний математик из Флоренции написал своему бывшему учителю о результате, в который сам почти не мог поверить. Evangelista Torricelli — последний помощник Galileo, человек, который позже изобретет барометр, — вращал кривые вокруг осей, чтобы посмотреть, какие тела получатся в результате. Одно из них, порожденное вращением кривой y = 1/x вокруг оси x от x = 1 до бесконечности, отказывалось вести себя пристойно. Оно уходило в бесконечность. Его объем составлял ровно π. Площадь же его поверхности была не ограничена.

Торричелли отправил доказательство Bonaventura Cavalieri, который подтвердил его. Это было реальностью. Труба, уходящая в бесконечность и вечно сужающаяся, которую, в принципе, можно было наполнить конечным количеством краски, но при этом невозможно закрасить ее внешнюю поверхность.

Это было за сорок лет до того, как Ньютон и Лейбниц формализовали математический анализ. Торричелли пришел к этому с помощью method of indivisibles Кавальери: разбиения тела на бесконечно тонкие части и их суммирования. Этот метод был новым, спорным и — по мнению его критиков — явно ошибочным. И вот оно, доказательство.

Арифметика рога

Эту фигуру легко описать. Возьмем кривую y = 1/x для x ≥ 1 и вращаем ее вокруг оси x. В результате получается рог, который имеет радиус единица у своего основания и сужается к нулю, бесконечно вытягиваясь вправо.

Его объем вычисляется как интеграл π/x² от 1 до бесконечности. Этот интеграл сходится. Он равен в точности π — около 3,14159 кубических единиц, независимо от того, насколько далеко простирается рог.

Площадь поверхности — это интеграл от 2π·(1/x)·√(1 + 1/x⁴) от 1 до бесконечности. Если отбросить квадратный корень, который всегда не меньше единицы, то останется интеграл от 2π/x — непрерывная форма harmonic series. Он расходится. Медленно, логарифмически, но неумолимо. Сложите достаточное количество таких членов, и вы получите любое число, какое пожелаете.

Объем конечен, потому что поперечные сечения уменьшаются как 1/x², а квадраты малых чисел очень малы. Площадь поверхности бесконечна, потому что окружность уменьшается только как 1/x, и рог никогда не закрывается. Каждый новый метр рога добавляет исчезающе малую частицу объема и упрямую ленту «кожи».

Художник, который не мог красить

Спустя десять лет после смерти Торричелли Thomas Hobbes ознакомился с доказательством и отказался его принять. «Чтобы понять это с точки зрения здравого смысла, — писал он в 1656 году, — не требуется быть геометром или логиком, нужно быть сумасшедшим». Другие современники были мягче, но не менее потрясены. На английском языке фигура стала известна как Рог Гавриила — в честь архангела, чей трубный глас возвещает о конце света; подходящее название для объекта, работающего на самой грани конечного.

Яркая версия парадокса появилась позже. Наполним рог π единицами краски. Краска соприкасается со всей внутренней стенкой. Таким образом, внутренняя поверхность, имеющая ту же площадь, что и внешняя, теперь покрыта краской. Но внешняя требует бесконечного количества краски. Краска, заполняющая рог, каким-то образом покрывает поверхность, которую она сама в своем количестве покрыть не может.

Разрешение парадокса математическое и немного обескураживающее. Физическая краска обладает толщиной. Настоящий слой краски — это тонкое покрытие конечного объема, а бесконечная поверхность требует бесконечного объема таких слоев, какими бы тонкими вы их ни делали. Внутри рога, после определенного значения x, сам рог становится уже, чем любая реальная молекула краски. Вы не можете покрасить и внутреннюю поверхность тоже. Парадокс возникает между двумя идеализациями — математической поверхностью без толщины и математической краской, у которой толщина есть, — и как только вы принимаете одну из них, другая исчезает.

Чего мы до сих пор не знаем

Понимал ли Торричелли, что именно он создал, остается неясным. В его собственных комментариях результат трактуется как геометрическая диковинка, а не фундаментальное потрясение. Потрясение чувствуется в письмах его корреспондентов — Pierre de Fermat проработал это доказательство независимо и, по-видимому, был больше удивлен, чем сам автор.

Рог стоит во главе длинного ряда объектов, которые математический анализ впоследствии будет производить в изобилии: фигуры с конечной мерой в одном измерении и бесконечной в другом, множества, которые находятся везде и нигде, кривые, заполняющие пространство. Каждое поколение должно было усваивать свою порцию таких открытий. Имеет ли какой-либо из этих объектов физический коррелят — воплощает ли Вселенная когда-либо подлинную бесконечность, — это не тот вопрос, на который математика способна дать ответ.

А гармонический ряд, который является двигателем парадокса рога, остается постоянным источником проблем. Он расходится, но настолько медленно, что сумма первых 10⁴³ членов даст вам лишь около 100. Бесконечность, когда она появляется в математике, часто прибывает по столь длинной дороге.

Торричелли умер в 1647 году, в возрасте тридцати девяти лет, от тифа. Пять лет он был преемником Галилея при флорентийском дворе. Рог, по его собственному признанию, был работой, которой он гордился больше всего.

Ein Italiener des siebzehnten Jahrhunderts rotierte eine Kurve um eine Achse und erschuf einen Trichter von unendlicher Länge, endlichem Volumen und unendlicher Oberfläche. Man kann ihn mit Farbe füllen. Man kann ihn nicht streichen. Mathematiker streiten seit fast vierhundert Jahren darüber, was das zu bedeuten hat.

Im Jahr 1641 schrieb ein zweiunddreißigjähriger Mathematiker in Florenz an seinen ehemaligen Lehrer und berichtete von einem Ergebnis, das er selbst kaum glauben konnte. Evangelista Torricelli — der letzte Assistent von Galileo und der Mann, der später das Barometer erfinden sollte — hatte Kurven um Achsen rotieren lassen, um zu sehen, welche Festkörper daraus hervorgehen würden. Einer dieser Körper, erzeugt durch die Rotation der Kurve y = 1/x um die x-Achse von x = 1 bis ins Unendliche, weigerte sich, sich der Vernunft zu fügen. Er erstreckte sich ins Endlose. Sein Volumen betrug exakt π. Seine Oberfläche war unbegrenzt.

Torricelli sandte den Beweis an Bonaventura Cavalieri, der ihn bestätigte. Die Sache war real. Ein Horn, das sich ins Unendliche erstreckte und sich immer weiter verjüngte, ein Körper, den man im Prinzip mit einer endlichen Menge Farbe füllen konnte, während man doch niemals fertig würde, ihn von außen anzustreichen.

Dies geschah vierzig Jahre bevor Newton und Leibniz die Infinitesimalrechnung formalisierten. Torricelli gelangte zu diesem Ergebnis durch Cavalieris method of indivisibles: die Zerlegung eines Festkörpers in unendlich dünne Scheiben und deren anschließende Summation. Die Technik war neu, umstritten und – nach Ansicht ihrer Kritiker – offensichtlich fehlerhaft. Hier jedoch lag der Beweis.

Die Arithmetik des Horns

Die Form ist einfach zu beschreiben. Man nehme die Kurve y = 1/x für x ≥ 1 und rotiere sie um die x-Achse. Das Resultat ist ein Horn, das bei einem Radius von eins beginnt und sich beim Streben nach rechts in Richtung Null immer weiter verjüngt, und zwar für immer.

Das Volumen ergibt sich als das Integral von π/x² von 1 bis unendlich. Dieses Integral konvergiert. Es entspricht exakt π – etwa 3,14159 Volumeneinheiten, ganz gleich, wie weit sich das Horn erstreckt.

Die Oberfläche ist das Integral von 2π·(1/x)·√(1 + 1/x⁴) von 1 bis unendlich. Lässt man die Quadratwurzel weg, die stets mindestens 1 ist, bleibt das Integral von 2π/x übrig – die stetige Form der harmonic series. Sie divergiert. Langsam, logarithmisch, aber unaufhaltsam. Summiert man genug davon auf, erreicht man jede beliebige Zahl.

Das Volumen ist endlich, weil die Querschnitte mit 1/x² schrumpfen und die Quadrate kleiner Zahlen sehr klein sind. Die Oberfläche ist unendlich, weil der Umfang nur mit 1/x schrumpft und das Horn sich niemals schließt. Jeder neue Meter Horn trägt einen verschwindend geringen Zuwachs an Volumen bei, aber ein beharrliches Stück Haut.

Der Maler, der nicht malen konnte

Ein Jahrzehnt nach Torricellis Tod las Thomas Hobbes den Beweis und weigerte sich, ihn zu akzeptieren. „Um dies als sinnvoll zu begreifen“, schrieb er 1656, „ist es nicht erforderlich, dass ein Mann Geometer oder Logiker sei, sondern dass er wahnsinnig ist.“ Andere Zeitgenossen waren sanfter, aber nicht weniger erschüttert. Die Form wurde im Englischen als „Gabriel’s Horn“ bekannt, benannt nach dem Erzengel, dessen Posaune das Ende der Welt verkündet – ein passender Name für ein Objekt, das sein Werk am Rande des Endlichen verrichtet.

Die anschauliche Version des Paradoxons kam später. Man fülle das Horn mit π Einheiten Farbe. Die Farbe berührt jede Innenwand. Somit ist die Innenfläche, die denselben Flächeninhalt wie die Außenseite besitzt, nun beschichtet. Doch die Außenseite erfordert unendlich viel Farbe. Die Farbe, die das Horn ausfüllt, bedeckt auf unerklärliche Weise eine Oberfläche, für die ihre eigene Menge nicht ausreichen dürfte.

Die Auflösung ist mathematischer Natur und ein wenig ernüchternd. Physische Farbe hat eine Dicke. Ein realer Anstrich ist eine dünne Schicht mit endlichem Volumen, und eine unendliche Oberfläche benötigt ein unendliches Volumen solcher Schichten, egal wie dünn man sie aufträgt. Im Inneren des Horns ist der Raum ab einem bestimmten x-Wert enger als jedes tatsächliche Farbmolekül. Man kann also auch das Innere nicht bestreichen. Das Paradoxon entsteht zwischen zwei Idealisierungen – einer mathematischen Oberfläche ohne Dicke und einer mathematischen Farbe, die ebenfalls keine besitzt –, und sobald man sich für eine entscheidet, verschwindet die andere.

Was wir immer noch nicht wissen

Ob Torricelli begriff, was er geschaffen hatte, ist ungeklärt. Sein eigener Kommentar behandelt das Ergebnis als eine Kuriosität der Geometrie, nicht als ein fundamentale Erschütterung. Die Erschütterung findet sich eher bei seinen Korrespondenzpartnern – Pierre de Fermat arbeitete das Problem unabhängig durch und scheint deutlich stärker erstaunt gewesen zu sein als der Autor selbst.

Das Horn steht am Anfang einer langen Reihe von Objekten, die die Infinitesimalrechnung später in Hülle und Fülle hervorbringen sollte: Formen mit endlichem Maß in einer Dimension und unendlichem Maß in einer anderen, Mengen, die überall und nirgends sind, Kurven, die den Raum ausfüllen. Jede Generation musste eine neue Ladung solcher Konzepte verarbeiten. Ob eines dieser Objekte ein physisches Korrelat hat – ob das Universum jemals eine echte Unendlichkeit hervorbringt –, ist keine Frage, die die Mathematik beantworten kann.

Und die harmonische Reihe, der Motor hinter dem Paradoxon des Horns, bleibt eine wiederkehrende Quelle des Unbehagens. Sie divergiert, aber so langsam, dass die Summe der ersten 10⁴³ Terme nur etwa 100 ergibt. Unendlichkeit, wenn sie in der Mathematik auftaucht, kommt oft auf einem Weg daher, der so lang ist wie dieser.

Torricelli starb 1647 im Alter von neununddreißig Jahren an Typhus. Er war fünf Jahre lang Galileis Nachfolger am florentinischen Hof gewesen. Das Horn war, seiner eigenen Einschätzung nach, die Arbeit, mit der er am zufriedensten war.

أدار إيطالي من القرن السابع عشر منحنىً حول محور، فبنى بوقاً ذا طولٍ لانهائي وحجمٍ محدود ومساحة سطحٍ لانهائية. يمكنك ملؤه بالطلاء، لكن لا يمكنك طلاؤه. ومنذ ما يقارب الأربعمئة عام، لا يزال علماء الرياضيات يتجادلون حول ما يعنيه ذلك.

في عام 1641، كتب عالم رياضيات يبلغ من العمر اثنين وثلاثين عاماً في فلورنسا إلى معلمه القديم بنتيجة لم يستطع تصديقها تماماً. كان هذا الرياضي هو Evangelista Torricelli، آخر مساعدي Galileo والرجل الذي سيخترع لاحقاً البارومتر؛ وقد كان يقوم بتدوير منحنيات حول محاور ليرى ما سينتج عنها من مجسمات. أحد تلك المجسمات، والذي تولد عن دوران المنحنى y = 1/x حول محور السينات من x = 1 وصولاً إلى ما لا نهاية، رفض أن يخضع للمنطق. لقد امتد إلى الأبد، وكان حجمه π بالضبط، بينما كانت مساحة سطحه غير محدودة.

أرسل توريتشيلي البرهان إلى Bonaventura Cavalieri، الذي أكد صحته. لقد كان الأمر حقيقياً؛ بوق يمتد إلى ما لا نهاية، ويضيق باستمرار، يمكنك نظرياً ملؤه بكوب محدود من الطلاء، ومع ذلك لا يمكنك إنهاء طلاء سطحه الخارجي.

حدث هذا قبل أربعين عاماً من وضع نيوتن وليبنتز القواعد الرسمية لحساب التفاضل والتكامل. وقد توصل توريتشيلي إلى ذلك عبر method of indivisibles الخاصة بكافاليري: وهي تقطيع مجسم إلى أجزاء دقيقة متناهية الصغر ثم جمعها. كانت هذه التقنية جديدة ومثيرة للجدل، وبالنسبة لنقادها، كانت معطوبة بوضوح. وها هو البرهان بين أيديهم.

حسابات البوق

من السهل وصف هذا الشكل؛ خذ المنحنى y = 1/x حيث x ≥ 1، وقم بتدويره حول محور السينات. النتيجة هي بوق يفتح بنصف قطر يساوي واحداً ويضيق باتجاه الصفر كلما امتد جهة اليمين إلى ما لا نهاية.

يأتي حجمه كتكامل لـ π/x² من 1 إلى ما لا نهاية. هذا التكامل يتقارب، ويساوي π بالضبط، أي حوالي 3.14159 وحدة مكعبة، بغض النظر عن مدى امتداد البوق.

أما مساحة السطح فهي تكامل لـ 2π·(1/x)·√(1 + 1/x⁴) من 1 إلى ما لا نهاية. إذا استبعدنا الجذر التربيعي، الذي تبلغ قيمته دائماً واحداً على الأقل، فإن ما يتبقى هو تكامل 2π/x، وهو الشكل المتصل لـ harmonic series. هذا التكامل يتباعد؛ ببطء شديد، وبطريقة لوغاريتمية، لكن بلا توقف. إذا جمعت ما يكفي من حدوده، يمكنك الوصول إلى أي عدد تريده.

حجم المجسم محدود لأن المقاطع العرضية تتقلص بمعدل 1/x²، ومربعات الأعداد الصغيرة تكون صغيرة جداً. بينما مساحة السطح لا نهائية لأن المحيط يتقلص فقط بمعدل 1/x، والبوق لا يغلق أبداً. كل متر جديد من البوق يضيف قدراً ضئيلاً جداً من الحجم وشريطاً مستمراً من السطح.

الرسام الذي لم يستطع الطلاء

بعد عقد من وفاة توريتشيلي، قرأ Thomas Hobbes البرهان ورفض قبوله. كتب في عام 1656: "لفهم هذا كمعنى، ليس مطلوباً من المرء أن يكون هندسياً أو منطقياً، بل يجب أن يكون مجنوناً". كان معاصروه الآخرون أكثر تهذيباً لكنهم لم يكونوا أقل اضطراباً. أصبح الشكل يُعرف في الإنجليزية باسم بوق جبرائيل، تيمناً بالملاك الذي يعلن بوقه نهاية العالم، وهو اسم مناسب لشيء يؤدي عمله عند حافة المحدود.

جاءت النسخة الحية للمفارقة لاحقاً: املأ البوق بـ π من وحدات الطلاء. يلمس الطلاء كل جدار داخلي، لذا فإن السطح الداخلي، الذي له نفس مساحة السطح الخارجي، يصبح مغطى الآن. لكن الخارج يتطلب كمية لا نهائية من الطلاء. يبدو أن الطلاء الذي يملأ البوق يغطي سطحاً لا تكفيه كميته الخاصة.

الحل رياضي ومحبط قليلاً؛ فالطلاء الفيزيائي له سماكة. الطبقة الحقيقية هي غلاف رقيق ذو حجم محدود، والسطح اللانهائي يحتاج إلى حجم لا نهائي من هذه الطبقات بغض النظر عن مدى رقتها. داخل البوق، بعد نقطة معينة من x، يصبح البوق نفسه أضيق من أي جزيء طلاء فعلي. لا يمكنك طلاء الداخل أيضاً. تكمن المفارقة بين مثاليتين: سطح رياضي بدون سماكة وطلاء رياضي ذو سماكة، وبمجرد أن تلتزم بواحدة، تتلاشى الأخرى.

ما لا نزال نجهله

لم يُحسم بعد ما إذا كان توريتشيلي يدرك كنه ما بناه. تتعامل تعليقاته الخاصة مع النتيجة كطرافة هندسية، لا كصدمة تأسيسية. تأتي الصدمة من خلال مراسليه؛ فقد عمل Pierre de Fermat على المسألة بشكل مستقل ويبدو أنه كان أكثر ذهولاً من المؤلف نفسه.

يحتل البوق صدارة قائمة طويلة من الأشياء التي أنتجها حساب التفاضل والتكامل لاحقاً بوفرة: أشكال ذات قياس محدود في بُعد وقياس لا نهائي في بُعد آخر، مجموعات موجودة في كل مكان ولا مكان، منحنيات تملأ الفضاء. كان على كل جيل أن يستوعب دفعة جديدة منها. وما إذا كان لأي من هذه الأشياء نظير فيزيائي، أي ما إذا كان الكون يجسد يوماً ما ما لا نهاية حقيقية، فهو ليس سؤالاً قادراً على الإجابة عنه في ميدان الرياضيات.

ولا تزال المتسلسلة التوافقية، وهي محرك مفارقة البوق، مصدراً متكرراً للمشاكل. إنها تتباعد، ولكن ببطء شديد لدرجة أن جمع أول 10⁴³ حداً يوصلك فقط إلى حوالي 100. إن اللانهائية، عندما تظهر في الرياضيات، غالباً ما تصل عبر طريق طويل كهذا.

توفي توريتشيلي عام 1647 عن عمر يناهز التاسعة والثلاثين بسبب حمى التيفوئيد. وكان قد عمل خليفة لغاليليو في بلاط فلورنسا لمدة خمس سنوات. وكان البوق، وفقاً لتقديره الشخصي، هو العمل الذي كان أكثر فخراً به.

Seorang pria Italia abad ketujuh belas memutar kurva di sekeliling sumbu dan membangun terompet dengan panjang tak terhingga, volume terbatas, dan luas permukaan tak terhingga. Anda bisa mengisinya dengan cat. Anda tidak bisa mengecatnya. Para matematikawan telah memperdebatkan apa maknanya selama hampir empat ratus tahun.

Pada tahun 1641, seorang matematikawan berusia tiga puluh dua tahun di Florence menulis surat kepada mantan gurunya mengenai hasil yang nyaris tidak bisa ia percayai. Evangelista Torricelli — asisten terakhir Galileo, pria yang nantinya menemukan barometer — telah merotasi kurva mengelilingi sumbu untuk melihat benda padat apa yang tercipta. Salah satunya, yang dihasilkan dengan memutar kurva y = 1/x mengelilingi sumbu-x dari x = 1 ke arah tak hingga, menolak untuk bersikap wajar. Bentuk itu memanjang selamanya. Volumenya tepat π. Luas permukaannya tidak terbatas.

Torricelli mengirimkan pembuktiannya kepada Bonaventura Cavalieri, yang mengonfirmasinya. Benda itu nyata. Sebuah terompet yang membentang hingga tak hingga, mengecil selamanya, yang secara prinsip bisa Anda isi dengan secangkir cat hingga penuh namun tidak akan pernah selesai dicat bagian luarnya.

Ini terjadi empat puluh tahun sebelum Newton dan Leibniz meresmikan kalkulus. Torricelli mencapainya melalui method of indivisibles karya Cavalieri: mengiris benda padat menjadi kepingan-kepingan setipis tak hingga lalu menjumlahkannya. Teknik ini tergolong baru, kontroversial, dan — bagi para pengkritiknya — jelas-jelas keliru. Inilah buktinya.

Aritmetika sang terompet

Bentuk ini mudah dijelaskan. Ambil kurva y = 1/x untuk x ≥ 1, dan rotasikan mengelilingi sumbu-x. Hasilnya adalah terompet yang terbuka pada jari-jari satu dan menyempit menuju nol saat memanjang ke kanan selamanya.

Volumenya menghasilkan integral dari π/x² dari 1 hingga tak hingga. Integral tersebut konvergen. Hasilnya tepat π — sekitar 3,14159 satuan kubik, tidak peduli seberapa jauh terompet itu memanjang.

Luas permukaannya adalah integral dari 2π·(1/x)·√(1 + 1/x⁴) dari 1 hingga tak hingga. Abaikan akar kuadratnya, yang nilainya setidaknya 1, dan yang tersisa adalah integral dari 2π/x — bentuk kontinu dari harmonic series. Deret ini divergen. Secara perlahan, secara logaritmik, namun tak terhentikan. Jumlahkan deret tersebut sebanyak yang Anda mau, dan Anda akan mencapai angka berapa pun yang Anda sukai.

Volumenya terbatas karena penampang melintang menyusut sebesar 1/x², dan kuadrat dari angka kecil sangatlah kecil. Luas permukaannya tak hingga karena kelilingnya menyusut hanya sebesar 1/x, dan terompet itu tidak pernah benar-benar menutup. Setiap meter tambahan terompet hanya menyumbang sedikit sekali volume dan pita kulit yang gigih.

Pelukis yang tidak bisa melukis

Satu dekade setelah kematian Torricelli, Thomas Hobbes membaca pembuktian tersebut dan menolak untuk menerimanya. "Untuk memahami ini sebagai sesuatu yang masuk akal," tulisnya pada tahun 1656, "seseorang tidak perlu menjadi ahli geometri atau ahli logika, melainkan harus gila." Rekan-rekan sezaman lainnya bersikap lebih halus namun tidak kalah goncang. Bentuk ini kemudian dikenal dalam bahasa Inggris sebagai Terompet Gabriel, merujuk pada malaikat agung yang terompetnya mengumumkan akhir dunia — nama yang pas untuk objek yang bekerja di ambang batas tak hingga.

Versi paradoks yang lebih hidup muncul kemudian. Isi terompet tersebut dengan cat sebanyak π satuan. Cat tersebut menyentuh setiap dinding bagian dalam. Jadi permukaan bagian dalam, yang memiliki luas yang sama dengan permukaan luar, kini telah terlapisi. Namun bagian luarnya membutuhkan cat tak hingga. Cat yang mengisi terompet entah bagaimana menutupi permukaan yang tidak bisa ditutupi oleh jumlah cat yang sama.

Penyelesaiannya bersifat matematis dan sedikit mengecewakan. Cat fisik memiliki ketebalan. Lapisan nyata adalah lapisan tipis dengan volume terbatas, dan permukaan tak hingga membutuhkan volume tak hingga dari lapisan semacam itu, tidak peduli seberapa tipis Anda membuatnya. Di dalam terompet, melewati titik x tertentu, terompet itu sendiri lebih sempit daripada molekul cat apa pun yang ada. Anda tidak bisa mengecat bagian dalamnya juga. Paradoks ini terjadi di antara dua idealisasi — permukaan matematis tanpa ketebalan dan cat matematis yang memiliki ketebalan — dan begitu Anda memilih satu, yang lain akan hilang.

Apa yang masih belum kita ketahui

Apakah Torricelli memahami apa yang telah ia bangun masih belum terjawab. Komentarnya sendiri memperlakukan hasil tersebut sebagai keingintahuan geometri, bukan kejutan mendasar. Kejutan itu justru dirasakan oleh korespondennya — Pierre de Fermat mengerjakan pembuktiannya secara mandiri dan tampaknya jauh lebih terkejut daripada sang penulis sendiri.

Terompet ini berada di urutan teratas dari serangkaian objek yang kemudian diproduksi secara melimpah oleh kalkulus: bentuk-bentuk dengan ukuran terbatas dalam satu dimensi namun tak terbatas dalam dimensi lain, himpunan yang ada di mana-mana namun tidak ada di mana pun, kurva yang mengisi ruang. Setiap generasi harus menyerap kumpulan temuan baru. Apakah ada dari objek-objek ini yang memiliki padanan fisik — apakah alam semesta pernah mewujudkan ketakterhinggaan yang sejati — bukanlah pertanyaan yang bisa dijawab oleh matematika.

Dan deret harmonik, yang merupakan mesin dari paradoks terompet ini, tetap menjadi sumber masalah yang berulang. Deret ini divergen, tetapi sangat lambat sehingga menjumlahkan 10⁴³ suku pertama hanya akan membawa Anda ke angka sekitar 100. Tak hingga, saat muncul dalam matematika, sering kali datang melalui jalan yang sepanjang ini.

Torricelli meninggal pada tahun 1647, pada usia tiga puluh sembilan tahun, karena tifus. Ia telah menjadi penerus Galileo di istana Florence selama lima tahun. Menurut pengakuannya sendiri, terompet inilah karya yang paling membuatnya puas.

17세기의 한 이탈리아인이 곡선을 축으로 회전시켜 길이는 무한하고 부피는 유한하며 표면적은 무한한 나팔을 만들었다. 속은 페인트로 채울 수 있다. 그러나 겉은 칠할 수 없다. 수학자들은 그 의미가 무엇인지를 두고 거의 400년 동안 논쟁해 왔다.

1641년, 피렌체의 서른두 살 수학자가 자신의 옛 스승에게 믿기 어려운 결과 하나를 편지로 보냈다. Evangelista Torricelli — Galileo의 마지막 조수이자 훗날 기압계를 발명하는 인물 — 는 곡선을 축을 중심으로 회전시켜 어떤 입체가 나오는지 살펴보고 있었다. 그중 하나, 곡선 y = 1/x를 x축을 중심으로 x = 1부터 바깥쪽 무한대까지 돌려 만든 도형은 도무지 정상적으로 행동하지 않았다. 그것은 끝없이 뻗어나갔다. 부피는 정확히 π였다. 겉넓이는 무한했다.

토리첼리는 증명을 Bonaventura Cavalieri에게 보냈고, 그는 이를 확인해 주었다. 그 물체는 실재했다. 무한대로 뻗어가며 끝없이 가늘어지는 나팔. 원리적으로는 유한한 양의 물감으로 그 내부를 채울 수 있지만, 외부는 영원히 칠할 수 없는 형상이었다.

이는 뉴턴과 라이프니츠가 미적분학을 정식화하기 40년 전의 일이었다. 토리첼리는 그 결과에 카발리에리의 method of indivisibles을 통해 도달했는데, 입체를 무한히 얇은 조각으로 나눈 뒤 그것들을 모두 더하는 방법이었다. 이 기법은 새롭고 논쟁적이었으며, 비판자들에게는 명백히 결함이 있는 것으로 여겨졌다. 바로 그 증명이 여기 있었다.

뿔의 산술

이 도형은 설명하기 쉽다. x ≥ 1에서 곡선 y = 1/x를 취하고, 그것을 x축을 중심으로 회전시킨다. 그 결과는 반지름 1에서 시작하여 오른쪽으로 영원히 나아가면서 0을 향해 가늘어지는 뿔이다.

부피는 1부터 무한대까지 π/x²의 적분으로 나온다. 이 적분은 수렴하며, 정확히 π, 약 3.14159 세제곱 단위가 된다. 뿔이 아무리 멀리 뻗어도 마찬가지다.

겉넓이는 1부터 무한대까지 2π·(1/x)·√(1 + 1/x⁴)의 적분이다. 항상 1 이상인 제곱근을 떼어내면 남는 것은 2π/x의 적분, 즉 harmonic series의 연속적 형태다. 이 적분은 발산한다. 느리게, 로그적으로, 그러나 멈추지 않고. 충분히 많은 항을 더하면 원하는 어떤 수치에도 도달할 수 있다.

부피가 유한한 이유는 단면이 1/x²으로 줄어들고, 작은 수의 제곱은 매우 작기 때문이다. 겉넓이가 무한한 이유는 둘레가 1/x로만 줄어들고, 뿔이 결코 닫히지 않기 때문이다. 뿔의 새로운 1미터마다 사라지듯 적은 부피와 함께, 고집스럽게 이어지는 껍질의 띠가 더해진다.

칠할 수 없었던 화가

토리첼리가 죽고 10년 뒤, Thomas Hobbes는 이 증명을 읽고 받아들이기를 거부했다. 그는 1656년에 이렇게 썼다. "이것을 상식으로 이해하려면, 사람이 기하학자나 논리학자일 필요는 없고, 미친 사람이어야 한다." 다른 동시대인들은 더 온건했으나 당혹스러워하기는 마찬가지였다. 그 도형은 영어로 가브리엘의 뿔(Gabriel's Horn)로 알려지게 되었는데, 나팔로 세상의 종말을 알리는 대천사의 이름을 딴 것이다. 유한함의 경계에서 작동하는 대상에 어울리는 이름이었다.

이 역설의 선명한 버전은 이후에 등장했다. 뿔을 π 단위의 물감으로 채우면, 물감은 모든 내벽에 닿는다. 따라서 바깥 면적과 같은 안쪽 면은 이제 칠해진 셈이다. 그러나 바깥쪽은 무한한 물감을 필요로 한다. 뿔을 채운 물감이 어떻게든 자신의 양으로는 덮을 수 없는 표면을 덮는 것이다.

해결책은 수학적이며 다소 싱거운 것이다. 실제 물감에는 두께가 있다. 진짜 칠은 유한한 부피를 가진 얇은 막이고, 무한한 표면은 그 막이 아무리 얇아도 무한한 부피의 막을 필요로 한다. 뿔 내부에서는 어떤 x 지점을 지나면 뿔 자체가 어떤 실제 물감 분자보다도 좁아진다. 따라서 안쪽조차도 칠할 수 없다. 이 역설은 두 가지 이상화 — 두께가 없는 수학적 표면과 두께가 있는 수학적 물감 — 사이의 대립이며, 한쪽에 전념하는 순간 다른 쪽은 사라진다.

우리가 여전히 모르는 것

토리첼리가 자신이 만든 것을 제대로 이해했는지는 불분명하다. 그 자신의 해설은 이 결과를 기하학의 흥미로운 호기심 정도로 다루며, 근본적인 충격으로 보지 않는다. 충격은 그의 서신 교환자들에게서 드러난다. Pierre de Fermat는 독자적으로 이 문제를 풀었으며, 저자보다 더 놀란 듯 보인다.

이 뿔은 미적분학이 이후 풍부하게 만들어낼 긴 계열의 대상들 중 첫머리에 자리한다. 한 차원에서는 유한하고 다른 차원에서는 무한한 측도를 지닌 도형들, 어디에나 있으면서 어디에도 없는 집합들, 공간을 가득 채우는 곡선들. 각 세대는 새로운 무리를 흡수해야 했다. 이런 대상들 중 어느 것이 물리적 대응물을 가지는지 — 우주가 진정한 무한을 실제로 구현하는지 — 는 수학이 답할 수 있는 질문이 아니다.

그리고 뿔의 역설을 추동하는 엔진인 조화 급수는 여전히 되풀이되는 골칫거리로 남아 있다. 그것은 발산하지만, 너무나 느려서 첫 10⁴³ 항까지 더해도 약 100에 도달할 뿐이다. 수학에서 무한은 이처럼 긴 길을 통해 도착하는 경우가 많다.

토리첼리는 1647년 서른아홉의 나이에 장티푸스로 사망했다. 그는 5년간 피렌체 궁정에서 갈릴레오의 후임자로 있었다. 그 뿔은, 스스로 생각하기에, 그가 가장 흡족해한 작업이었다.

Gabriel's Horn