가브리엘의 나팔

곡선을 회전시켜 만든 나팔의 역설을 봅니다. 부피는 유한한데 겉넓이는 무한대입니다.

안에 채우는 양과 겉을 칠하는 양이 다르게 행동합니다. 얇아지는 속도가 두 계산에서 갈립니다. 그래서 한쪽은 멈추고 한쪽은 계속 자랍니다.

예를 들면, 🧵 줄을 말아 넣으면 작은 📦 상자에 다 들어가요. 하지만 그 줄을 전부 펴서 바닥에 깔면 끝없이 넓은 방이 필요해요.

V=π∫1∞dxx2=πV = \pi\int_1^{\infty} \frac{dx}{x^2} = \pi
A≥2π∫1Rdxx=2πln⁡R→∞A \ge 2\pi\int_1^R \frac{dx}{x} = 2\pi\ln R \to \infty

예제

회전체 부피 공식(원판법)으로 가브리엘의 뿔 전체 부피가 π\pi임을 완전히 증명하세요: V=π∫1∞1x2 dx=πV = \pi\int_1^{\infty} \frac{1}{x^2}\,dx = \pi.

V(R)=π∫1Rx−2 dx=π(1−1R)→R→∞πV(R) = \pi\int_1^R x^{-2}\,dx = \pi\left(1 - \frac{1}{R}\right) \xrightarrow[R\to\infty]{} \pi
R=50R = 50: V(50)=π(1−1/50)≈3.0788V(50) = \pi(1 - 1/50) \approx 3.0788 — 이미 π≈3.1416\pi \approx 3.1416에 바짝 다가갔습니다.
증명 보기

  1. xx에서의 단면은 반지름 1/x1/x인 원판이므로, RR에서 자른 뿔의 부피는 이상적분 V(R)=∫1Rπ(1x)2dx=π∫1Rx−2 dxV(R) = \int_1^R \pi\left(\frac{1}{x}\right)^2 dx = \pi\int_1^R x^{-2}\,dx입니다.

  2. 원시함수는 −1/x-1/x이므로 V(R)=π[−1x]1R=π(1−1R)V(R) = \pi\left[-\frac{1}{x}\right]_1^R = \pi\left(1 - \frac{1}{R}\right)입니다. R→∞R \to \infty에서 1/R→01/R \to 0이므로 V(R)→πV(R) \to \pi — 뿔 전체의 부피는 유한하고 정확히 π\pi입니다.

  3. ∫1∞x−2 dx\int_1^{\infty} x^{-2}\,dx가 수렴하는 것은 pp-적분 판정법 (p=2>1p = 2 > 1)의 전형적인 예입니다. 아래 패널의 파란 곡선이 π\pi 점선에 달라붙는 모습이 바로 이 수렴입니다.

회전체 겉넓이 공식으로 A(R)=2π∫1R1x1+1x4 dx≥2πln⁡RA(R) = 2\pi\int_1^R \frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\,dx \ge 2\pi\ln R임을 보이고, 가브리엘의 뿔의 겉넓이가 무한대임을 완전히 증명하세요.

A(R)=2π∫1R1x1+1x4 dx>2π∫1Rdxx=2πln⁡R→∞A(R) = 2\pi\int_1^R \frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\,dx > 2\pi\int_1^R \frac{dx}{x} = 2\pi\ln R \to \infty
R=10R = 10: 하한 2πln⁡10≈14.46762\pi\ln 10 \approx 14.4676, 수치적분값 ≈15.1774\approx 15.1774 — 하한 위에 있으며, RR을 키우면 둘 다 끝없이 자랍니다.
증명 보기

  1. 곡선 y=f(x)=1/xy = f(x) = 1/x를 xx축 둘레로 회전시킨 겉넓이는 A(R)=2π∫1Rf(x)1+f′(x)2 dxA(R) = 2\pi\int_1^R f(x)\sqrt{1 + f'(x)^2}\,dx입니다. f′(x)=−1/x2f'(x) = -1/x^2이므로 A(R)=2π∫1R1x1+1x4 dxA(R) = 2\pi\int_1^R \frac{1}{x}\sqrt{1 + \frac{1}{x^4}}\,dx입니다.

  2. 모든 x≥1x \ge 1에서 1+1/x4>1\sqrt{1 + 1/x^4} > 1이므로 피적분함수는 2πx\frac{2\pi}{x}보다 큽니다. 따라서 A(R)>2π∫1Rdxx=2πln⁡RA(R) > 2\pi\int_1^R \frac{dx}{x} = 2\pi\ln R입니다.

  3. R→∞R \to \infty에서 2πln⁡R→∞2\pi\ln R \to \infty이므로 A(R)→∞A(R) \to \infty — 겉넓이는 무한대입니다. 부피는 x−2x^{-2} (p=2>1p = 2 > 1, 수렴)인데 겉넓이는 1x1+1/x4∼1x\frac{1}{x}\sqrt{1 + 1/x^4} \sim \frac{1}{x} (p=1p = 1, 발산) — 이 한 차수 차이가 역설의 전부입니다.

'페인트공 역설'을 해소하세요: 부피가 π\pi로 유한하므로 뿔을 페인트 π\pi만큼으로 채울 수는 있지만, 두께가 δ>0\delta > 0인 균일한 코팅으로 표면을 칠하려면 무한대의 페인트가 필요함을 증명하세요.

fill: V=π<∞,coat: Vcoat≥min⁡(δ,12) A(R)→∞\text{fill: } V = \pi < \infty, \qquad \text{coat: } V_{\text{coat}} \ge \min(\delta,\tfrac12)\,A(R) \to \infty
R=5R = 5: 부피는 π(1−1/5)≈2.5133\pi(1 - 1/5) \approx 2.5133으로 π\pi에 수렴 중이지만, 겉넓이는 이미 ≥2πln⁡5≈10.1124\ge 2\pi\ln 5 \approx 10.1124입니다.
증명 보기

  1. 채우기: 문제 1에서 뿔 전체의 부피가 π\pi이므로, 페인트 π\pi만큼을 부으면 뿔이 가득 찹니다 — 유한한 양으로 충분합니다.

  2. 칠하기: 표면 위에 두께 δ>0\delta > 0인 균일 코팅을 입히면, 그 코팅이 차지하는 부피는 min⁡(δ,12)⋅A(R)\min(\delta, \tfrac12) \cdot A(R) 이상입니다 (정당화는 다음 단계). 문제 2에서 A(R)→∞A(R) \to \infty이므로, 어떤 δ>0\delta > 0에 대해서도 코팅 부피는 ∞\infty로 발산합니다 — 유한한 페인트로는 표면 전체를 칠할 수 없습니다.

  3. 하한의 정당화 — 바깥쪽 법선 방향의 관형 좌표 (x,φ,t)(x, \varphi, t) (0≤t≤δ0 \le t \le \delta)를 씁니다.

    뿔 표면의 주곡률은 자오선 방향으로 κm=r′′(1+(r′)2)3/2=2/x3(1+1/x4)3/2≥0\kappa_m = \frac{r''}{(1+(r')^2)^{3/2}} = \frac{2/x^3}{(1+1/x^4)^{3/2}} \ge 0, 위선 방향으로 κp=1r1+(r′)2≥0\kappa_p = \frac{1}{r\sqrt{1+(r')^2}} \ge 0 (r=1/xr = 1/x)이며, 부피 원소는 dV=(1+tκm)(1+tκp) dA dtdV = (1 + t\kappa_m)(1 + t\kappa_p)\,dA\,dt입니다. 법선 조각들은 t<1/max⁡κmt < 1/\max\kappa_m 범위에서 서로 겹치지 않습니다: 볼록한 자오선 곡선의 법선은 초점 거리 1/κm≥11/\kappa_m \ge 1 이전에는 만나지 않고, φ\varphi가 다른 법선은 ρ>0\rho > 0을 유지하므로 만날 수 없습니다.

    t≥0t \ge 0에서 (1+tκm)(1+tκp)≥1(1+t\kappa_m)(1+t\kappa_p) \ge 1이므로, δ0=min⁡(δ,12)\delta_0 = \min(\delta, \tfrac12)에 대해 Vcoat(δ)≥Vcoat(δ0)=∫0δ0 ⁣ ⁣∫S(1+tκm)(1+tκp) dA dt≥δ0⋅A(R)V_{\text{coat}}(\delta) \ge V_{\text{coat}}(\delta_0) = \int_0^{\delta_0}\!\!\int_S (1+t\kappa_m)(1+t\kappa_p)\,dA\,dt \ge \delta_0 \cdot A(R)입니다.

  4. 역설이 아닌 이유: '채우기'는 부피 π\pi를 쓰는 일이고, '칠하기'는 표면에 두께를 곱한 부피를 쓰는 일입니다.

    서로 다른 양을 재는 것이므로, 한쪽이 유한하고 다른 쪽이 무한대여도 모순이 아닙니다.

    페인트에 두께가 있다는 물리적 직관이 무너지는 지점이 바로 여기입니다.

11. 적분