<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Calculus on kenji.blog</title><link>http://kenji.blog/en/categories/calculus/</link><description>Recent content in Calculus on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/en/categories/calculus/index.xml" rel="self" type="application/rss+xml"/><item><title>Can it be filled with paint, but not painted on the surface?: Gabriel's Horn</title><link>http://kenji.blog/en/p/gabriels-horn/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/en/p/gabriels-horn/</guid><description>&lt;img src="http://kenji.blog/p/gabriels-horn/img/gabriels_horn.jpg" alt="Featured image of post Can it be filled with paint, but not painted on the surface?: Gabriel's Horn" />&lt;p>What would happen if there was a container with a &amp;ldquo;finite volume, yet an infinite surface area&amp;rdquo;?
Intuitively, it seems impossible, but in the world of mathematics, such a solid figure certainly exists. It is the figure known as &lt;strong>&amp;ldquo;Gabriel&amp;rsquo;s Horn&amp;rdquo;&lt;/strong>, also known as &lt;strong>&amp;ldquo;Torricelli&amp;rsquo;s Trumpet&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Discovered in 1641 by the Italian mathematician Evangelista Torricelli, this figure shocked mathematicians and philosophers of the time, sparking fierce debate about the nature of &amp;ldquo;infinity&amp;rdquo;.&lt;/p>
&lt;h2 id="the-painters-paradox">The Painter&amp;rsquo;s Paradox
&lt;/h2>&lt;p>If we liken the properties of this figure to everyday &amp;ldquo;paint&amp;rdquo;, the following bizarre paradox occurs.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>When filling the horn with paint&lt;/strong>:
Since the volume of the horn is finite (exactly $\pi$), you can completely fill the inside of the horn by pouring just $\pi$ liters (about 3.14 liters) of paint.&lt;/li>
&lt;li>&lt;strong>When painting the surface of the horn&lt;/strong>:
The surface area of the horn is infinite. Therefore, if you try to paint the inside (or outside) surface of the horn with a brush, no matter how much paint you prepare, you will never finish painting it for eternity.&lt;/li>
&lt;/ol>
&lt;p>&lt;strong>&amp;ldquo;You can fill the inside with 3.14 liters of paint, but you need an infinite amount of paint to paint the surface.&amp;rdquo;&lt;/strong>
Why does this counter-intuitive situation occur?&lt;/p>
&lt;div class="mermaid">graph TD
A["Gabriel's Horn"] --> B["Calculation of Volume (Integration)"]
A --> C["Calculation of Surface Area (Integration)"]
B --> B1["Volume = π (Finite)"]
B1 --> B2["Can fill the inside with paint"]
C --> C1["Surface Area = ∞ (Infinite)"]
C1 --> C2["Cannot completely paint the surface"]
B2 --> D{"Paradox!"}
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="mathematical-proof-the-magic-of-calculus">Mathematical Proof: The Magic of Calculus
&lt;/h2>&lt;p>Gabriel&amp;rsquo;s Horn is created by rotating the graph of the function $y = \frac{1}{x}$ (where $x \ge 1$) around the $x$-axis.
Let&amp;rsquo;s calculate the volume $V$ and surface area $A$ of this solid figure using calculus.&lt;/p>
&lt;h3 id="1-calculation-of-volume-why-it-becomes-finite">1. Calculation of Volume (Why it becomes finite)
&lt;/h3>&lt;p>The volume $V$ of a solid of revolution is found by integrating the cross-sectional area (a circle with radius $\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>Calculating this definite integral:
&lt;/p>
$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$
&lt;p>
The result converges to a finite value $\pi$.&lt;/p>
&lt;h3 id="2-calculation-of-surface-area-why-it-becomes-infinite">2. Calculation of Surface Area (Why it becomes infinite)
&lt;/h3>&lt;p>On the other hand, the calculation for the surface area $A$ is as follows.&lt;/p>
$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$
&lt;p>Since &lt;/p>
$$ \frac{dy}{dx} = -\frac{1}{x^2} $$
&lt;p>, the content inside the square root becomes $1 + \frac{1}{x^4}$.
Here, since $\sqrt{1 + \frac{1}{x^4}} > 1$ for all $x \ge 1$, the following inequality holds.&lt;/p>
$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$
&lt;p>The natural logarithm $\ln x$ diverges to infinity as $x \to \infty$. Therefore, the surface area $A$, which is larger than that, naturally also diverges to &lt;strong>infinity&lt;/strong>.&lt;/p>
&lt;h2 id="the-trick-behind-this-paradox">The &amp;ldquo;Trick&amp;rdquo; Behind This Paradox
&lt;/h2>&lt;p>Even if it can be proven mathematically correct, it might not make sense to our real-world intuition.
&amp;ldquo;If it can be filled with paint, that paint is touching the inner surface, so shouldn&amp;rsquo;t the surface be painted as well?&amp;rdquo;&lt;/p>
&lt;p>This discrepancy in intuition arises from the &lt;strong>confusion of mathematical concepts with physical reality&lt;/strong>.&lt;/p>
&lt;p>In the world of mathematics, the &amp;ldquo;thickness&amp;rdquo; of paint can be made infinitely thin down to zero. Although Gabriel&amp;rsquo;s Horn becomes infinitely narrow as it goes further, the mathematical paint can become infinitely thin and flow into the deepest depths of that narrow tip, coating the infinite surface area with a finite volume (however, the thickness of the paint film approaches zero towards the tip).&lt;/p>
&lt;p>However, in the physical real world, paint is made up of atoms and molecules (particles with a finite size).
Even if you pour real paint, once the horn&amp;rsquo;s tube becomes narrower than the &amp;ldquo;diameter of a paint molecule&amp;rdquo;, the paint can go no further. In other words, physically, it is impossible to fill it to the tip, nor to paint its infinite surface.&lt;/p>
&lt;p>Gabriel&amp;rsquo;s Horn is a beautiful example that teaches us that human intuition is bound by the &amp;ldquo;rules of a finite world&amp;rdquo; and does not always align with the world of calculus, which deals with &amp;ldquo;infinity&amp;rdquo;.&lt;/p></description></item></channel></rss>