<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>トリチェリのラッパ on kenji.blog</title><link>http://kenji.blog/tags/%E3%83%88%E3%83%AA%E3%83%81%E3%82%A7%E3%83%AA%E3%81%AE%E3%83%A9%E3%83%83%E3%83%91/</link><description>Recent content in トリチェリのラッパ on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ja</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/tags/%E3%83%88%E3%83%AA%E3%83%81%E3%82%A7%E3%83%AA%E3%81%AE%E3%83%A9%E3%83%83%E3%83%91/index.xml" rel="self" type="application/rss+xml"/><item><title>ペンキで満たすことはできるが、表面を塗ることはできない？：ガブリエルのラッパ</title><link>http://kenji.blog/p/gabriels-horn/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/p/gabriels-horn/</guid><description>&lt;img src="http://kenji.blog/p/gabriels-horn/img/gabriels_horn.jpg" alt="Featured image of post ペンキで満たすことはできるが、表面を塗ることはできない？：ガブリエルのラッパ" />&lt;p>もし「体積は有限なのに、表面積が無限大である」ような容器があったらどうなるでしょうか？
直感的にはあり得ないように思えますが、数学の世界には確かにそのような立体が存在します。それが**「ガブリエルのラッパ（Gabriel&amp;rsquo;s Horn）」&lt;strong>、別名&lt;/strong>「トリチェリのラッパ」**と呼ばれる図形です。&lt;/p>
&lt;p>1641年にイタリアの数学者エヴァンジェリスタ・トリチェリによって発見されたこの図形は、当時の数学者や哲学者たちに大きな衝撃を与え、「無限」の本質についての激しい論争を引き起こしました。&lt;/p>
&lt;h2 id="ペンキ塗りのパラドックス">ペンキ塗りのパラドックス
&lt;/h2>&lt;p>この図形が持つ性質を、日常的な「ペンキ」に例えると、次のような奇妙なパラドックスが発生します。&lt;/p>
&lt;ol>
&lt;li>&lt;strong>ラッパをペンキで満たす場合&lt;/strong>：
ラッパの体積は有限（正確には $\pi$）なので、たった $\pi$ リットル（約3.14リットル）のペンキを注ぐだけで、ラッパの内部を完全に満たすことができます。&lt;/li>
&lt;li>&lt;strong>ラッパの表面をペンキで塗る場合&lt;/strong>：
ラッパの表面積は無限大です。したがって、ラッパの内側（または外側）の表面をハケで塗ろうとすると、どれだけ大量のペンキを用意しても永遠に塗り終えることができません。&lt;/li>
&lt;/ol>
&lt;p>&lt;strong>「3.14リットルのペンキで内部を満たせるのに、表面を塗るためのペンキは無限に必要になる」&lt;/strong>
この直感に反する事態は、なぜ起こるのでしょうか？&lt;/p>
&lt;div class="mermaid">graph TD
A["ガブリエルのラッパ"] --> B["体積の計算 (積分)"]
A --> C["表面積の計算 (積分)"]
B --> B1["体積 = π (有限)"]
B1 --> B2["内部をペンキで満たせる"]
C --> C1["表面積 = ∞ (無限大)"]
C1 --> C2["表面をペンキで塗りきれない"]
B2 --> D{"パラドックス！"}
C2 --> D
style A fill:#FFD54F,stroke:#333,stroke-width:2px
style B1 fill:#81C784,stroke:#333
style C1 fill:#E57373,stroke:#333,color:#fff
style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="数学的な証明微積分の魔法">数学的な証明：微積分の魔法
&lt;/h2>&lt;p>ガブリエルのラッパは、関数 $y = \frac{1}{x}$ のグラフ（ただし $x \ge 1$）を、$x$ 軸の周りに回転させることで作られます。
微積分を使って、この立体の体積 $V$ と表面積 $A$ を計算してみましょう。&lt;/p>
&lt;h3 id="1-体積の計算有限になる理由">1. 体積の計算（有限になる理由）
&lt;/h3>&lt;p>回転体の体積 $V$ は、断面積（半径 $\frac{1}{x}$ の円）を積分することで求められます。&lt;/p>
$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$
&lt;p>この定積分を計算すると：
&lt;/p>
$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$
&lt;p>
結果は有限の値 $\pi$ に収束します。&lt;/p>
&lt;h3 id="2-表面積の計算無限になる理由">2. 表面積の計算（無限になる理由）
&lt;/h3>&lt;p>一方、表面積 $A$ の計算は次のようになります。&lt;/p>
$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$
$$ \frac{dy}{dx} = -\frac{1}{x^2} $$
&lt;p> なので、平方根の中身は $1 + \frac{1}{x^4}$ となります。
ここで、すべての $x \ge 1$ において $\sqrt{1 + \frac{1}{x^4}} > 1$ であるため、次のような不等式が成り立ちます。&lt;/p>
$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$
&lt;p>自然対数 $\ln x$ は $x \to \infty$ で無限大に発散します。したがって、それよりも大きい表面積 $A$ も当然、&lt;strong>無限大&lt;/strong>に発散することになります。&lt;/p>
&lt;h2 id="このパラドックスの種明かし">このパラドックスの「種明かし」
&lt;/h2>&lt;p>数学的に正しいことは証明できても、現実世界の感覚としては納得がいかないかもしれません。
「ペンキで満たせるなら、そのペンキが内側の表面に触れているのだから、表面も塗れているはずではないか？」&lt;/p>
&lt;p>この直感のズレは、&lt;strong>数学的な概念と物理的な現実の混同&lt;/strong>から生まれています。&lt;/p>
&lt;p>数学の世界では、ペンキの「厚さ」をゼロまで無限に薄くすることができます。ガブリエルのラッパは先に行くほど無限に細くなりますが、数学的なペンキはいくらでも薄くなってその細い先端の奥の奥まで流れ込み、無限の表面積を有限の体積でコーティングすることができます（ただし、ペンキの膜の厚さは先端に向かってゼロに近づいていきます）。&lt;/p>
&lt;p>しかし、物理的な現実世界では、ペンキは原子や分子（有限の大きさを持つ粒）でできています。
現実のペンキを注いでも、ラッパの管が「ペンキ分子の直径」よりも細くなった時点で、ペンキはそれ以上奥へ進めなくなります。つまり、物理的には先端まで満たすことも、無限の表面を塗ることも不可能なのです。&lt;/p>
&lt;p>ガブリエルのラッパは、人間の直感が「有限の世界のルール」に縛られており、「無限」を扱う微積分の世界とは必ずしも一致しないことを教えてくれる美しい例です。&lt;/p></description></item></channel></rss>