当サイトを閲覧いただきありがとうございます。 本記事は「ガブリエルのラッパ（トリチェリのトランペット）」のパラドックスについて解説します。
ある立体の表面積が無限大なのに体積は有限。つまりペンキで表面を塗ることは不可能だけど、中にペンキを注いで満たすことは可能という、考えれば考えるほど頭がこんがらがる不思議な図形です。
ガブリエルのラッパとは
この立体は、数学的に言うと y = 1/x のグラフ（x ≥ 1 の部分）をx軸を中心に回転させてできる回転体です。
形をイメージすると、ラッパのような形状になります。入り口（x = 1 のところ）は円形の開口部があり、そこからどんどん細くなりながら無限に伸びていきます。どこまでも細くなりますが、決して完全に閉じることはなく、無限の彼方まで延々と続きます。
17世紀のイタリアの数学者エヴァンジェリスタ・トリチェリが1641年にこの立体を発見し、その驚くべき性質を明らかにしました。トリチェリ自身もこの結果に驚愕し、「信じがたいが否定しがたい」と書き残しています。名前の由来は、天使ガブリエルが最後の審判の日に吹くとされるラッパからきています。
歴史的には、この発見はニュートンやライプニッツによる微積分の体系化より前のもので、無限に関する数学的議論に大きな波紋を投げかけました。当時の数学者たちは「無限に長い立体が有限の体積を持つ」という事実をどう受け止めるべきか、大いに議論しました。
体積は有限
積分を使ってこの立体の体積を計算すると、驚くべきことにπ（パイ、約3.14）立方単位という有限の値になります。
無限に長い立体なのに、体積は有限。これは直感に反しますが、ラッパがどんどん細くなっていくスピードが速いため、遠くの部分が寄与する体積は急速にゼロに近づいていきます。その結果、無限に足し合わせても有限に収まるのです。
これはアキレスとカメのパラドックスでも出てきた「無限級数の収束」と同じ原理です。
表面積は無限大
一方、表面積を計算すると、こちらは無限大に発散します。
ラッパの表面は確かにどんどん細くなっていきますが、表面積の減少スピードは体積ほど速くないのですので、無限に足し合わせると有限には収まらず、どこまでも大きくなっていきます。
ペンキのパラドックス
ここから面白い問いが生まれます。
体積がπであるということは、このラッパの内部にπ立方単位のペンキを注げば、中身を完全に満たすことができます。
しかし、表面積が無限大ということは、このラッパの外側の表面をペンキで塗ろうとすると、無限の量のペンキが必要になります。
ところが、中身をペンキで満たしたということは、内側の表面は既にペンキに接触しているはずです。内側の表面積も無限大なのに、有限量のペンキで内側を塗ったことになってしまいます。
有限量のペンキで無限の面積を塗れるのか、塗れないのか？ どう考えても矛盾しているように見えます。
このパラドックスの解消
実はこの矛盾は、「ペンキ」という物理的なメタファーを数学に持ち込んだことによる混乱です。
数学的な「体積を満たす」と物理的な「ペンキで塗る」は異なる操作です。体積の計算と表面積の計算は別々の積分であり、一方が有限だからといって他方も有限になるとは限りません。
物理的なペンキには厚みがありますが、ラッパは先に行くほど細くなり、いずれペンキの分子より細くなります。その先にはペンキは入らないため、物理的には内部をペンキで満たすこと自体が不可能です。
このパラドックスは数学的な理想化と物理的な現実の間のズレから生じています。しかし、有限の体積と無限の表面積が共存できるという数学的事実自体は、やはり驚くべきことです。
類似の図形
ガブリエルのラッパと同じ性質を持つ図形は他にもあります。「コッホ雪片」は有限の面積に無限の周長を持つ2次元図形ですし、「メンガーのスポンジ」は体積が0なのに表面積が無限大という、さらに極端な性質を持つフラクタル図形です。
これらは全て、「大きさ」の異なる次元の測定が独立に振る舞いうることを示しています。長さが無限でも面積が有限だったり、面積が無限でも体積が有限だったりする。こうした現象は無限の数学では珍しいことではなく、むしろ有限と無限が「次元をまたいで」共存するのは数学的には自然なことなのです。
ペンキの話を数字で確かめる
「中を満たすペンキは有限なのに、内側を塗るペンキは無限に要る」という言い方は分かりやすい反面、少し誤解を招きます。
塗るという言葉が指しているもの
数学的な表面積が無限になるのは、ラッパが先へ行くほど細くなりながら、無限に続くからです。細くなる速さと長さの伸び方の兼ね合いで、体積は収束し表面積は発散します。
ところが現実のペンキには厚みがあります。仮に厚さを0.1ミリとすると、ラッパの直径が0.2ミリを下回った時点で、それ以上奥へは塗れなくなります。
| 見方 | 表面積 | 必要なペンキ |
|---|---|---|
| 厚さゼロの理想的な塗膜 | 無限大 | 無限 |
| 厚さのある現実のペンキ | 有限（塗れる範囲まで） | 有限 |
| 中を液体で満たす | 関係なし | 有限（体積ぶん） |
要するに、「満たせるのに塗れない」という言い方は、満たす方は現実の話、塗る方は厚さゼロという数学的な理想の話という具合に、2つの水準を混ぜているという形になります。
条件を揃えれば矛盾は消えます。どちらも理想的に扱えば表面積は無限で塗れませんし、どちらも現実的に扱えば両方とも有限で済みます。
同じ性質を持つ図形たち
体積と表面積が食い違う図形は、ガブリエルのラッパだけではありません。
・コッホ雪片：面積は有限だが、周の長さは無限 ・シェルピンスキーのカーペット：面積はゼロに収束するが、周は無限 ・メンガーのスポンジ：体積はゼロに収束するが、表面積は無限
いずれも次元の違う量は独立に振る舞えるという同じ事実を、別の形で表しています。
人間の直感は「大きいものは全部大きい」と考えがちですが、長さと面積と体積は互いに独立です。片方が有限でもう片方が無限という組み合わせは、数学の中では珍しくありません。
微分積分より前に見つかっていた
この図形が発見されたのは1641年、イタリアの数学者エヴァンジェリスタ・トリチェリによってです。ニュートンとライプニッツが微分積分を整備するより、半世紀近く前のことでした。
トリチェリは気圧計の発明で知られる人物ですが、数学者としても優れた仕事を残しています。彼はこの図形を「鋭い双曲線体」と呼びました。
当時はまだ積分の記法がなかったため、証明にはカヴァリエリの不可分量法という手法が使われました。図形を無限に薄い断片の集まりとみなして体積を求める方法で、現代の積分の前身にあたります。
発表当時の衝撃はかなりのものでした。無限に長い物体が有限の体積を持つという結論は、当時の数学者や哲学者にとって受け入れがたいものだったからです。
トマス・ホッブズはこの結果に激しく反発し、「これを信じるくらいなら、私は数学を捨てる」という趣旨の言葉を残したと伝えられています。
無限の扱いをめぐる分水嶺
この図形が重要なのは、無限を計算に持ち込むことの是非をめぐる論争の中心に置かれたためです。
・反対派：無限を扱う計算そのものが信用できない。矛盾した結論が出るのが証拠だ ・擁護派：結論が直感に反するだけで、計算に誤りはない。直感の方を修正すべきだ
結果として擁護派が勝ち、無限を扱う手法は微分積分として体系化されました。直感に反する結論が出たときに、計算を疑うか直感を疑うかという判断が、ここで数学の進む方向を決めたことになります。
似た構図は、後の非ユークリッド幾何や無限集合論でも繰り返されます。奇妙な結論を排除せずに受け入れた側が、結果として新しい分野を手に入れてきました。
トリチェリのラッパは、その最初期の例のひとつだと言えます。「気持ち悪いから間違っている」が通用しなくなった瞬間を示す図形なのだと思うと、見え方が少し変わってくるところがあります。
数学的無限の関連パラドックス
ガブリエルのラッパと同じく無限と有限が交差する数学的な不思議を扱う関連パラドックスです。
まとめ
本記事は「ガブリエルのラッパ」のパラドックスについて解説しました。如何だったでしょうか。
有限と無限がこれほど密接に共存している図形は珍しく、数学における無限の振る舞いが日常の直感とかけ離れていることを鮮やかに示してくれます。
パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。
それでは次の記事も閲覧いただけると幸いです。
こちらもよく読まれています
📚 シリーズ：世界のパラドックス（19/81）
