z 2 − 2 a z = ( z − a ) 2 − a 2 z^2-2az = (z-a)^2 -a^2 z 2 − 2 a z = ( z − a ) 2 − a 2 이므로 다음을 얻는다.
S = { ( x , y , z ∣ x 2 + y 2 + ( z − a ) 2 = 4 a 2 , z ≥ 0 } S=\big\{ \ (x,y,z\ \big|\ x^2+y^2 +(z-a)^2=4a^2,\ z\ge 0\ \big\} S = { ( x , y , z x 2 + y 2 + ( z − a ) 2 = 4 a 2 , z ≥ 0 }
V V V 를 다음과 같은 입체라 하자.
V = { ( x , y , z ) ∣ x 2 + y 2 + ( z − a ) 2 ≤ 4 a 2 , z ≥ 0 } V=\big\{ \ (x,y,z)\ \big|\ x^2+y^2+(z-a)^2\le 4a^2,\ z\ge 0\ \big\} V = { ( x , y , z ) x 2 + y 2 + ( z − a ) 2 ≤ 4 a 2 , z ≥ 0 }
이것은 중심이 ( 0 , 0 , a ) (0,0,a) ( 0 , 0 , a ) 이고 반지름이 2 a 2a 2 a 인 구의 내부이다.
V V V 의 경계면(바깥쪽 법선)은 S S S (법선이 원점에서 멀어지는 쪽을 향함)와
원판
B = { ( x , y , 0 ) ∣ x 2 + y 2 ≤ 3 a 2 } B=\big\{ \ (x,y,0)\ \big|\ x^2+y^2\le 3a^2\ \big\} B = { ( x , y , 0 ) x 2 + y 2 ≤ 3 a 2 }
(법선 − k ^ -\hat{\mathbf{k}} − k ^ )의 합집합이다. 따라서 발산 정리에 의해
∬ S F ⋅ n ^ d S = ∭ V n ⋅ F d V − ∬ B F ⋅ ( − k ^ ) d S = ∭ V ( 2 x + 2 y + 1 ) d V − ∬ B ( − 3 − x ) d S \begin{aligned}
\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\, \mathrm{d}S
&=\iiint _V\mathbf{n}\cdot\mathbf{F}\,\mathrm{d}V-\iint _B\mathbf{F}\cdot(-\hat{\mathbf{k}})\,\mathrm{d}S\\
&=\iiint _V(2x+2y+1)\,\mathrm{d}V-\iint _B(-3-x)\,\mathrm{d}S
\end{aligned} ∬ S F ⋅ n ^ d S = ∭ V n ⋅ F d V − ∬ B F ⋅ ( − k ^ ) d S = ∭ V ( 2 x + 2 y + 1 ) d V − ∬ B ( − 3 − x ) d S
이다. V V V 와 B B B 는 모두 x → − x x\rightarrow -x x → − x 와 y → − y y\rightarrow
-y y → − y 에 대해 불변이므로 ∭ V x d V = ∭ V y d V = ∬ B x d S = 0 \iiint _Vx\,\mathrm{d}V=\iiint _Vy\,\mathrm{d}V=\iint _B x\,\mathrm{d}S=0 ∭ V x d V = ∭ V y d V = ∬ B x d S = 0 이고,
∬ S F ⋅ n ^ d S = ∭ V d V + 3 ∬ B d S \begin{aligned}
\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\, \mathrm{d}S
&=\iiint _V \,\mathrm{d}V+3\iint _B\,\mathrm{d}S
\end{aligned} ∬ S F ⋅ n ^ d S = ∭ V d V + 3 ∬ B d S
이다.
V V V 에 대한 적분을 계산하기 위해, z z z 는
0 0 0 에서 3 a 3a 3 a 까지 변하고
V = { ( x , y , z ) ∣ 0 ≤ z ≤ 3 a , x 2 + y 2 ≤ 4 a 2 − ( z − a ) 2 , z ≥ 0 } V=\big\{ \ (x,y,z)\ \big|\ 0\le z\le 3a,\ x^2+y^2\le 4a^2-(z-a)^2,\ z\ge 0\ \big\} V = { ( x , y , z ) 0 ≤ z ≤ 3 a , x 2 + y 2 ≤ 4 a 2 − ( z − a ) 2 , z ≥ 0 }
의 z z z 를 고정한 단면은 원판 x 2 + y 2 ≤ 4 a 2 − ( z − a ) 2 = 3 a 2 + 2 a z − z 2 x^2+y^2\le 4a^2-(z-a)^2
= 3a^2 +2a z - z^2 x 2 + y 2 ≤ 4 a 2 − ( z − a ) 2 = 3 a 2 + 2 a z − z 2 이며,
이 원판의 넓이는 π ( 3 a 2 + 2 a z − z 2 ) 2 \pi\big({\sqrt{3a^2+2az-z^2}\,}\big)^2 π ( 3 a 2 + 2 a z − z 2 ) 2 임에 주목한다.
따라서
∬ S F ⋅ n ^ d S = ∫ 0 3 a π ( 3 a 2 + 2 a z − z 2 ) 2 d z + 3 넓이 ( B ) = π ∫ 0 3 a ( 3 a 2 + 2 a z − z 2 ) d z + 3 π ( 3 a 2 ) = π ( 3 a 2 × 3 a + 2 a × 9 a 2 2 − 27 a 3 3 ) + 9 π a 2 = 9 π a 3 + 9 π a 2 \begin{aligned}
\iint _S\mathbf{F}\cdot\hat{\mathbf{n}}\, \mathrm{d}S
&
=\int_0^{3a}\pi\big({\sqrt{3a^2+2az-z^2}\,}\big)^2\,\mathrm{d}z+3\,\text{넓이}(B)\\
&=\pi\int_0^{3a}(3a^2+2az-z^2)\,\mathrm{d}z+3\pi(3a^2)\\
&=\pi \left(3a^2\times 3a+2a\times\frac{9a^2}{2}-\frac{27a^3}{3}\right)
+9\pi a^2 \\
&= 9\pi a^3+9\pi a^2
\end{aligned} ∬ S F ⋅ n ^ d S = ∫ 0 3 a π ( 3 a 2 + 2 a z − z 2 ) 2 d z + 3 넓이 ( B ) = π ∫ 0 3 a ( 3 a 2 + 2 a z − z 2 ) d z + 3 π ( 3 a 2 ) = π ( 3 a 2 × 3 a + 2 a × 2 9 a 2 − 3 27 a 3 ) + 9 π a 2 = 9 π a 3 + 9 π a 2