当サイトを閲覧いただきありがとうございます。 本記事は「ガブリエルのラッパ（トリチェリのトランペット）」のパラドックスについて解説します。
ある立体の表面積が無限大なのに体積は有限。つまりペンキで表面を塗ることは不可能だけど、中にペンキを注いで満たすことは可能という、考えれば考えるほど頭がこんがらがる不思議な図形です。
ガブリエルのラッパとは
この立体は、数学的に言うと y = 1/x のグラフ（x ≥ 1 の部分）をx軸を中心に回転させてできる回転体です。
形をイメージすると、ラッパのような形状になります。入り口（x = 1 のところ）は円形の開口部があり、そこからどんどん細くなりながら無限に伸びていきます。どこまでも細くなりますが、決して完全に閉じることはなく、無限の彼方まで延々と続きます。
17世紀のイタリアの数学者エヴァンジェリスタ・トリチェリが1641年にこの立体を発見し、その驚くべき性質を明らかにしました。トリチェリ自身もこの結果に驚愕し、「信じがたいが否定しがたい」と書き残しています。名前の由来は、天使ガブリエルが最後の審判の日に吹くとされるラッパからきています。
歴史的には、この発見はニュートンやライプニッツによる微積分の体系化より前のもので、無限に関する数学的議論に大きな波紋を投げかけました。当時の数学者たちは「無限に長い立体が有限の体積を持つ」という事実をどう受け止めるべきか、大いに議論したのです。
体積は有限
積分を使ってこの立体の体積を計算すると、驚くべきことにπ（パイ、約3.14）立方単位という有限の値になります。
無限に長い立体なのに、体積は有限。これは直感に反しますが、ラッパがどんどん細くなっていくスピードが速いため、遠くの部分が寄与する体積は急速にゼロに近づいていきます。その結果、無限に足し合わせても有限に収まるのです。
これはアキレスとカメのパラドックスでも出てきた「無限級数の収束」と同じ原理です。
表面積は無限大
一方、表面積を計算すると、こちらは無限大に発散します。
ラッパの表面は確かにどんどん細くなっていきますが、表面積の減少スピードは体積ほど速くないのです。そのため、無限に足し合わせると有限には収まらず、どこまでも大きくなっていきます。
ペンキのパラドックス
ここから面白い問いが生まれます。
体積がπであるということは、このラッパの内部にπ立方単位のペンキを注げば、中身を完全に満たすことができます。
しかし、表面積が無限大ということは、このラッパの外側の表面をペンキで塗ろうとすると、無限の量のペンキが必要になります。
ところが、中身をペンキで満たしたということは、内側の表面は既にペンキに接触しているはずです。内側の表面積も無限大なのに、有限量のペンキで内側を塗ったことになってしまいます。
有限量のペンキで無限の面積を塗れるのか、塗れないのか？ どう考えても矛盾しているように見えます。
このパラドックスの解消
実はこの矛盾は、「ペンキ」という物理的なメタファーを数学に持ち込んだことによる混乱です。
数学的な「体積を満たす」と物理的な「ペンキで塗る」は異なる操作です。体積の計算と表面積の計算は別々の積分であり、一方が有限だからといって他方も有限になるとは限りません。
物理的なペンキには厚みがありますが、ラッパは先に行くほど細くなり、いずれペンキの分子より細くなります。その先にはペンキは入らないため、物理的には内部をペンキで満たすこと自体が不可能です。
つまり、このパラドックスは数学的な理想化と物理的な現実の間のズレから生じているのです。しかし、有限の体積と無限の表面積が共存できるという数学的事実自体は、やはり驚くべきことです。
類似の図形
ガブリエルのラッパと同じ性質を持つ図形は他にもあります。「コッホ雪片」は有限の面積に無限の周長を持つ2次元図形です。また、「メンガーのスポンジ」は体積が0なのに表面積が無限大という、さらに極端な性質を持つフラクタル図形です。
これらは全て、「大きさ」の異なる次元の測定が独立に振る舞いうることを示しています。長さが無限でも面積が有限だったり、面積が無限でも体積が有限だったりする——こうした現象は無限の数学では珍しいことではなく、むしろ有限と無限が「次元をまたいで」共存するのは数学的には自然なことなのです。
数学的無限の関連パラドックス
ガブリエルのラッパと同じく無限と有限が交差する数学的な不思議を扱う関連パラドックスです。
まとめ
本記事は「ガブリエルのラッパ」のパラドックスについて解説しました。如何だったでしょうか。
有限と無限がこれほど密接に共存している図形は珍しく、数学における無限の振る舞いが日常の直感とかけ離れていることを鮮やかに示してくれます。
パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。
それでは次の記事も閲覧いただけると幸いです。
