ガブリエルのラッパ

「ガブリエルのラッパ」の3Dイラスト。

GeoGebraによるガブリエルのラッパの3D描画。

ガブリエルのホルン（テンプレート:Lang-en-short）またはガブリエルのトランペットは、有限の体積と無限の表面積を併せもつ幾何学的な空間図形である。その名称は、有限が無限（神）と結びつくこの現象を、最後の審判を告げる笛を吹くという伝承の大天使ガブリエルへなぞらえたものである。この図形の性質を調べた最初の人は、17世紀イタリアの物理学者兼数学者のエヴァンジェリスタ・トリチェリで、トリチェリのトランペット（テンプレート:Lang-en-short）とも呼ばれる。

数学的な定義

テンプレート:Mathのグラフ

ガブリエルのホルンは、テンプレート:Mathの領域 テンプレート:Math（つまり テンプレート:Math における漸近挙動の問題は関わってこない）での平面グラフを三次元において テンプレート:Mvar-軸の周りに回転させることで形作られる。 この発見は微分積分学の発明以前のことで、カヴァリエリの原理が使われたが、今日の微分積分学は テンプレート:Math と テンプレート:Math の間の体積と表面積の計算を利用することができる。 積分（詳細は、回転体及び回転面を参照）を用いて、体積 テンプレート:Mvar および表面積 テンプレート:Mvar は

$V_a=\pi \underset{1}{\overset{a}{\int }}\frac{1}{x^2}𝑑𝑥=\pi (1-\frac{1}{a})$

および

$A_a=2\pi \underset{1}{\overset{a}{\int }}\frac{1}{x}\sqrt{1+f^{\prime }(x{)}^2}𝑑𝑥>2\pi \underset{1}{\overset{a}{\int }}\frac{1}{x}𝑑𝑥=2\pi \ln a$

と求められる。テンプレート:Mvar は望む限り大きくすることができるが、上記の方程式から分かることとしてホルンの テンプレート:Math から テンプレート:Math までの部分の体積が テンプレート:Π を上回ることは無い（が、テンプレート:Mvar が大きくなればなるほど、体積は テンプレート:Π により近づく）。数学的に述べれば、テンプレート:Mvar が無限大へ近づく極限において体積は テンプレート:Π へ近づく、微分積分学における極限記法では

$\underset{a\to \mathrm{\infty }}{\lim }{V}_a=\underset{a\to \mathrm{\infty }}{\lim }\pi (1-\frac{1}{a})=\pi$

ということになる。一方、表面積に関する上記の式は、表面積の下界が テンプレート:Mvar の自然対数の テンプレート:Math-倍で与えられることをいっている。テンプレート:Mvar が無限大に近づく際にテンプレート:Mvar の自然対数に上界は無い。それはガブリエルのホルンにおいてはホルンが無限の表面積を持つという意味になる。言い換えるならば次のようになる。

$\underset{a\to \mathrm{\infty }}{\lim }{A}_a>\underset{a\to \mathrm{\infty }}{\lim }2\pi \ln a=\mathrm{\infty }$

パラドックス

ガブリエルのホルンの性質が発見された時代には、テンプレート:Mvar-平面上の無限に広い図形を テンプレート:Mvar-軸のまわりに回転させて生成された対象の体積が有限であるという事実は逆説的なものに受け取られた。実際には、ガブリエルのホルンは確かにテンプレート:Mvar-平面における断面積は無限大である一方で、これに平行な他の任意の断面は有限の面積を持つ。従ってその体積も（それは各断面の「重み付き」和に等しいから）有限になる。

恐らくより説得力のあるやり方は、半径が減衰する円板の積み重ねとしてホルンを扱うことである。それらの形状は同一なので、単に半径の和を計算したくなるかもしれないが、そうすると調和級数となって無限大に発散してしまう。より注意深く考察すると、半径の平方和を計算する必要があるとわかる。各円板は半径 テンプレート:Math と表面積 テンプレート:Math を持つ。それらの和を考えると テンプレート:Math の級数（つまり調和級数）は発散するが、テンプレート:Math の級数は収束する(より一般に、任意の実数 テンプレート:Math に対して テンプレート:Math の級数は収束する)。

このパラドックスは、トマス・ホッブズ、ジョン・ウォリス、ガリレオ・ガリレイといった、当時の重要な思想家の多くが関わってきた無限の性質について、大きな議論を呼んだ。

塗装工のパラドックス

ガブリエルのホルンは有限の体積を持つのだから有限量のペンキでそれを満たすことができるように思われるのに対して、ガブリエルのホルンの内側面を有限量のペンキで塗り尽くすことは不可能に見え、一見パラドックスが起きているように見える。

たしかに、ホルンの外側面を一定の厚みのペンキで覆うには無限の量のペンキが必要となる。しかし、内側面をペンキで覆う場合、原点から離れるにつれホルンは細くなっていくから、内面を一定の厚みのペンキで覆うことはできない。したがって、パラドックスは成立しない。

逆

ガブリエルのラッパとは逆の現象、つまり有限の表面積と無限の体積をあわせ持つ回転面は、存在しえない。

定理

テンプレート:Math は連続的微分可能とし、テンプレート:Math を テンプレート:Mvar-軸の周りに回転させた回転体を テンプレート:Mvar と書く。テンプレート:Mvar の表面積が有限ならば体積もそうである。

関連項目

• 双曲線
• コッホ曲線
• テンプレート:仮リンク
• 宇宙の形
• 回転面
• メンガーのスポンジ - 面積が無限大、体積が0の図形
• ゼノンのパラドックス

参考文献

• Gabriel's Other Possessions, Melvin Royer, テンプレート:DOI
• Gabriel's Wedding Cake, Julian F. Fleron, http://people.emich.edu/aross15/math121/misc/gabriels-horn-ma044.pdf
• A Paradoxical Paint Pail, Mark Lynch, http://www.maa.org/programs/faculty-and-departments/classroom-capsules-and-notes/a-paradoxical-paint-pail
• Supersolids: Solids Having Finite Volume and Infinite Surfaces, William P. Love, テンプレート:Jstor

外部リンク

• Information and diagrams about Gabriel's Horn
• Torricelli's Trumpet at PlanetMath
• テンプレート:MathWorld
• "Gabriel's Horn" by John Snyder, the Wolfram Demonstrations Project, 2007.
• Gabriel's Horn: An Understanding of a Solid with Finite Volume and Infinite Surface Area by Jean S. Joseph.