區間劃分圖示
對於(黎曼)積分,我們考慮黎曼和。回想一下,在單變數情況下,我們將區間分成越來越多的子區間,它們的寬度越來越小,我們透過對每個子區間對應矩形的面積求和來對區間進行積分。對於多元變數情況,我們需要做類似的事情,但問題在於我們需要在 R 2 , R 3 {\displaystyle \mathbb {R} ^{2},\mathbb {R} ^{3}} 或更一般地 R n {\displaystyle \mathbb {R} ^{n}} 中劃分'區間'。 (實際上,我們只在 R {\displaystyle \mathbb {R} } 中有 區間 這個術語。)
在多元變數情況下,我們需要考慮的不只是'區間'本身(在多元變數情況下沒有定義),而是 R 2 {\displaystyle \mathbb {R} ^{2}} 中區間的 笛卡爾積 ,以及更一般地 R n {\displaystyle \mathbb {R} ^{n}} 中區間的 n 元笛卡爾積 。
笛卡爾積示例圖示。
定義。 (n 元笛卡爾積) 在 n {\displaystyle n} 個集合 X 1 , X 2 , … , X n {\displaystyle X_{1},X_{2},\ldots ,X_{n}} 上的 n 元笛卡爾積 是 X 1 × X 2 × ⋯ × X n = { ( x 1 , x 2 , … , x n ) : x i ∈ X i for each i ∈ { 1 , 2 , … , n } } {\displaystyle X_{1}\times X_{2}\times \cdots \times X_{n}=\{(x_{1},x_{2},\ldots ,x_{n}):x_{i}\in X_{i}{\text{ for each }}i\in \{1,2,\ldots ,n\}\}} 的 n {\displaystyle n} 元組(或向量)的集合。
備註。
回想一下 區間 本質上是一個集合,例如 [ 0 , 1 ] = { x : 0 ≤ x ≤ 1 } {\displaystyle [0,1]=\left\{x:0\leq x\leq 1\right\}} 。
二元笛卡爾積簡稱為笛卡爾積,例如 [ 0 , 1 ] × [ 0 , 2 ] = { ( x 1 , x 2 ) : x 1 ∈ [ 0 , 1 ] and x 2 ∈ [ 0 , 2 ] } {\displaystyle [0,1]\times [0,2]=\{(x_{1},x_{2}):x_{1}\in [0,1]{\text{ and }}x_{2}\in [0,2]\}} 是 笛卡爾積 ,在幾何上它也是一個邊長為 1 和 2 的 矩形 。
特殊情況 : X × X × ⋯ X ⏟ n X ′ s {\displaystyle \underbrace {X\times X\times \cdots X} _{n\,X's}} 被稱為 n 階笛卡爾冪 ,用 X n {\displaystyle X^{n}} 表示,例如 R 3 = R × R × R = { ( x , y , z ) : x ∈ R , y ∈ R and z ∈ R } {\displaystyle \mathbb {R} ^{3}=\mathbb {R} \times \mathbb {R} \times \mathbb {R} =\{(x,y,z):x\in \mathbb {R} ,y\in \mathbb {R} {\text{ and }}z\in \mathbb {R} \}} .
面積(對於 n = 2 {\displaystyle n=2} ),體積(對於 n = 3 {\displaystyle n=3} )或度量(對於每個正數 n {\displaystyle n} )的幾何物件(例如, R 2 {\displaystyle \mathbb {R} ^{2}} 中的矩形和 R 3 {\displaystyle \mathbb {R} ^{3}} 中的立方體)在 R n {\displaystyle \mathbb {R} ^{n}} 中是所有邊長(在不同維度上)的乘積。
示例。
[ 1 , 2 ] × [ 3 , 4 ] {\displaystyle [1,2]\times [3,4]} 是兩個區間上的笛卡爾積(在 R 2 {\displaystyle \mathbb {R} ^{2}} 中幾何意義上是一個邊長為 1 {\displaystyle 1} 的正方形)。
[ 1 , 2 ] × [ 2 , 10 ] × [ − π , − 1 ] {\displaystyle [1,2]\times [{\sqrt {2}},10]\times [-\pi ,-1]} 是三個區間上的 3 階笛卡爾積(在 R 3 {\displaystyle \mathbb {R} ^{3}} 中幾何意義上是一個長方體)。
[ 0.3 , 1.7 ] × [ 0.3 , 1.7 ] × [ 0.3 , 1.7 ] × [ 0.3 , 1.7 ] {\displaystyle [0.3,1.7]\times [0.3,1.7]\times [0.3,1.7]\times [0.3,1.7]} 是四個區間的四元笛卡爾積,或者說四元笛卡爾冪(表示為 [ 0.3.1.7 ] 4 {\displaystyle [0.3.1.7]^{4}} )。(從幾何角度來看,它是一個 四維立方體 ,位於 R 4 {\displaystyle \mathbb {R} ^{4}} 中)
現在,我們準備用與單積分類似的方式定義多重積分。為簡便起見,我們先討論二重積分,然後以類似的方式推廣到多重積分。
將矩形劃分為 R 2 {\displaystyle \mathbb {R} ^{2}} 中的示意圖。
定義。 (二重積分)設 f ( x , y ) {\displaystyle f(x,y)} 是定義在 R 2 {\displaystyle \mathbb {R} ^{2}} 中矩形 R {\displaystyle R} 上的函式。考慮將 R {\displaystyle R} 分割成面積分別為 Δ A 1 , Δ A 2 , … , Δ A n {\displaystyle \Delta A_{1},\Delta A_{2},\ldots ,\Delta A_{n}} 的小矩形。在第 k {\displaystyle k} 個矩形中任選一個點 ( x k , y k ) {\displaystyle (x_{k},y_{k})} 。如果極限 lim Δ A k → 0 ∑ k = 1 n f ( x k , y k ) Δ A k {\displaystyle \lim _{\Delta A_{k}\to 0}\sum _{k=1}^{n}f(x_{k},y_{k})\Delta A_{k}} 存在,則函式 f {\displaystyle f} 在 R {\displaystyle R} 上是可積的 ,這時我們用 ∬ R f d A {\displaystyle \iint _{R}f\,dA} ( A {\displaystyle A} 是面積的助記符號)表示這個極限,並稱之為函式 f {\displaystyle f} 在 R {\displaystyle R} 上的二重積分 。
二重積分的物理意義是計算體積。
我們還介紹一些二重積分的性質,以簡化二重積分的計算。
命題。 (二重積分的性質)設 f ( x , y ) {\displaystyle f(x,y)} 和 g ( x , y ) {\displaystyle g(x,y)} 是定義在 R 2 {\displaystyle \mathbb {R} ^{2}} 中的矩形 R {\displaystyle R} 上的可積 函式。那麼,以下性質成立。
(線性) a f + b g {\displaystyle af+bg} 在 R {\displaystyle R} 上可積,對於任何實數 a {\displaystyle a} 和 b {\displaystyle b} ,並且 ∬ R ( a f + b g ) d A = a ∬ R f d A + b ∬ R g d A {\displaystyle \iint _{R}(af+bg)\,dA=a\iint _{R}f\,dA+b\iint _{R}g\,dA}
(單調性) 如果對於每個 ( x , y ) ∈ R {\displaystyle (x,y)\in R} ,有 f ( x , y ) ≤ g ( x , y ) {\displaystyle f(x,y)\leq g(x,y)} ,那麼 ∬ R f d A ≤ ∬ R g d A {\displaystyle \iint _{R}f\,dA\leq \iint _{R}g\,dA}
(三角不等式) | f | {\displaystyle |f|} 在 R {\displaystyle R} 上可積,並且 | ∬ R f d A | ≤ ∬ R | f | d A {\displaystyle \left|\iint _{R}f\,dA\right|\leq \iint _{R}|f|\,dA}
注. 由於許多好的函式通常是連續的,因此大多數好的函式都是可積的。
值得慶幸的是,我們並不總是需要使用黎曼和來計算多變數積分。有一些結果可以使我們的生活更輕鬆。在陳述結果之前,我們需要定義 重複積分 ,它在結果中使用。
定義. (逐次積分) 令 f ( x , y ) {\displaystyle f(x,y)} 是在矩形 [ a , b ] × [ c , d ] {\displaystyle [a,b]\times [c,d]} 上定義的連續函式,其中 [ a , b ] × [ c , d ] {\displaystyle [a,b]\times [c,d]} 是 R 2 {\displaystyle \mathbb {R} ^{2}} 中的矩形。 逐次積分定義為 ∫ a b ∫ c d f ( x , y ) d y d x = ∫ a b ( ∫ c d f ( x , y ) d y ) d x {\displaystyle \int _{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx=\int _{a}^{b}\left(\int _{c}^{d}f(x,y)\,dy\right)dx} 和 ∫ c d ∫ a b f ( x , y ) d x d y = ∫ c d ( ∫ a b f ( x , y ) d x ) d y {\displaystyle \int _{c}^{d}\int _{a}^{b}f(x,y)\,dx\,dy=\int _{c}^{d}\left(\int _{a}^{b}f(x,y)\,dx\right)dy}
計算逐次積分通常比使用黎曼和直接計算二重積分容易得多。 所以,如果我們能找到逐次積分和二重積分之間的關係,以便藉助逐次積分來計算二重積分,那就太好了。 事實上,確實如此,以下定理是逐次積分和二重積分之間的橋樑。
定理. (富比尼定理) 設 f ( x , y ) {\displaystyle f(x,y)} 是在矩形 R = [ a , b ] × [ c , d ] {\displaystyle R=[a,b]\times [c,d]} 上定義的連續函式,其中 R = [ a , b ] × [ c , d ] {\displaystyle R=[a,b]\times [c,d]} 是 R 2 {\displaystyle \mathbb {R} ^{2}} 中的矩形。那麼, ∬ R f d A = ∫ a b ∫ c d f ( x , y ) d y d x = ∫ c d ∫ a b f ( x , y ) d x d y . {\displaystyle \iint _{R}f\,dA=\int _{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx=\int _{c}^{d}\int _{a}^{b}f(x,y)\,dx\,dy.}
備註。
也就是說,我們可以使用 任何 順序的累次積分來計算相應的二重積分
需要注意的是,在改變積分順序後,每個積分的積分限也會發生變化
證明。
(i) 因為對於每個 ( x , y ) ∈ [ 0 , 2 ] × [ 0 , 3 ] {\displaystyle (x,y)\in [0,2]\times [0,3]} ,都有 z = 4 > 0 {\displaystyle z=4>0} ,根據二重積分給出的體積定義,體積為 ∬ [ 0 , 2 ] × [ 0 , 3 ] 4 d A {\displaystyle \iint _{[0,2]\times [0,3]}4\,\,dA} 。根據富比尼定理,這等於 ∫ 0 2 ∫ 0 3 4 d y d x = 4 ∫ 0 2 ∫ 0 3 d y d x = 4 ∫ 0 2 ( 3 − 0 ) d x = 4 ( 3 ( 2 ) − 3 ( 0 ) ) = 24. {\displaystyle \int _{0}^{2}\int _{0}^{3}4\,dy\,dx=4\int _{0}^{2}\int _{0}^{3}\,dy\,dx=4\int _{0}^{2}(3-0)\,dx=4(3(2)-3(0))=24.}
備註。 從幾何上看,該圖形是一個長方體,其體積由各邊長的乘積給出,即 2 ( 3 ) ( 4 ) = 24 {\displaystyle 2(3)(4)=24} ,與我們的答案一致。
(ii) 所需體積由 ∬ [ 0 , ℓ ] × [ 0 , w ] h d x d y {\displaystyle \iint _{[0,\ell ]\times [0,w]}h\,dx\,dy} (常數函式 z = h {\displaystyle z=h} 在矩形 [ 0 , ℓ ] × [ 0 , w ] {\displaystyle [0,\ell ]\times [0,w]} 上的二重積分,該矩形的長為 ℓ {\displaystyle \ell } ,寬為 w {\displaystyle w} )。(我們也可以將積分表示為 ∬ [ 0 , ℓ ] × [ 0 , w ] h d y d x {\displaystyle \iint _{[0,\ell ]\times [0,w]}h\,dy\,dx} 而不影響結果。)然後,根據富比尼定理, ∬ [ 0 , ℓ ] × [ 0 , w ] h d x d y = ∫ 0 ℓ ∫ 0 w h d y d x = h ∫ 0 ℓ ∫ 0 w d y d x = h ∫ 0 ℓ w d x = ℓ w h . {\displaystyle \iint _{[0,\ell ]\times [0,w]}h\,dx\,dy=\int _{0}^{\ell }\int _{0}^{w}h\,dy\,dx=h\int _{0}^{\ell }\int _{0}^{w}\,dy\,dx=h\int _{0}^{\ell }w\,dx=\ell wh.} ◻ {\displaystyle \Box }
我們已經定義了在 R 2 {\displaystyle \mathbb {R} ^{2}} 中的矩形上的二重積分 。但是,我們經常想要計算在除了矩形之外形狀的區域上的二重積分,例如圓形、三角形等等。因此,我們將討論一種方法,在不改變二重積分定義的情況下,對更一般的區域進行二重積分計算。
考慮一個函式 f : D → R {\displaystyle f:D\to \mathbb {R} } ,其中 D ⊆ R 2 {\displaystyle D\subseteq \mathbb {R} ^{2}} 是一個一般區域。為了應用二重積分的定義,我們需要將一般區域 D {\displaystyle D} 轉換為一個矩形(例如 R {\displaystyle R} )。一種方法是找到一個 包含 D {\displaystyle D} 的矩形 R {\displaystyle R} (即 R ⊇ D {\displaystyle R\supseteq D} ),並設 f ( x , y ) = 0 {\displaystyle f(x,y)=0} 對於每個 ( x , y ) ∈ R {\displaystyle (x,y)\in R} 位於 外部 D {\displaystyle D} (即對於每個 ( x , y ) ∈ R ∖ D {\displaystyle (x,y)\in R\setminus D} )。由於函式在積分割槽域之外的值為零,因此這 不會 改變 f {\displaystyle f} 在 D {\displaystyle D} 上的圖形下的體積,因此這種方法是定義此類二重積分的好方法。我們將在下面正式定義此類二重積分。
定義. (一般區域上的二重積分)令 f ( x , y ) {\displaystyle f(x,y)} 是定義在(任意形狀)區域 D ⊆ R ⊆ R 2 {\displaystyle D\subseteq R\subseteq \mathbb {R} ^{2}} 上的函式。然後,我們定義 f ( x , y ) = 0 {\displaystyle f(x,y)=0} 對於每個在 D {\displaystyle D} 外部的 ( x , y ) ∈ R {\displaystyle (x,y)\in R} (即對於每個 ( x , y ) ∈ R ∖ D {\displaystyle (x,y)\in R\setminus D} ),並定義函式 f {\displaystyle f} 在區域 D {\displaystyle D} 上的 二重積分 為 ∬ D f d A = ∬ R f d A {\displaystyle \iint _{D}f\,dA=\iint _{R}f\,dA} ,如果後一個積分存在。
注. 然後,我們可以透過計算後一個積分的相應黎曼和來計算一般區域上的二重積分。
然而,這種計算方法(透過計算黎曼和)通常非常困難,我們通常使用傅比尼定理的推廣版本來計算這些積分。這將在下面討論。
定理. (傅比尼定理的推廣)令 f ( x , y ) {\displaystyle f(x,y)} 是定義在(任意形狀)區域 D {\displaystyle D} 上的連續函式。則以下結論成立。
(i) 如果 D = { ( x , y ) : a ≤ x ≤ b and g 1 ( x ) ≤ y ≤ h 1 ( x ) } {\displaystyle D=\{(x,y):a\leq x\leq b{\text{ and }}g_{1}(x)\leq y\leq h_{1}(x)\}} ,其中函式 g 1 {\displaystyle g_{1}} 和 h 1 {\displaystyle h_{1}} 是連續函式,那麼 ∬ D f d A = ∫ a b ∫ g 1 ( x ) h 1 ( x ) f ( x , y ) d y d x . {\displaystyle \iint _{D}f\,dA=\int _{a}^{b}\int _{g_{1}(x)}^{h_{1}(x)}f(x,y)\,dy\,dx.} (ii) 如果 D = { ( x , y ) : c ≤ y ≤ d and g 2 ( y ) ≤ x ≤ h 2 ( y ) } {\displaystyle D=\{(x,y):c\leq y\leq d{\text{ and }}g_{2}(y)\leq x\leq h_{2}(y)\}} ,其中函式 g 2 {\displaystyle g_{2}} 和 h 2 {\displaystyle h_{2}} 是連續函式,那麼 ∬ D f d A = ∫ c d ∫ g 2 ( y ) h 2 ( y ) f ( x , y ) d x d y . {\displaystyle \iint _{D}f\,dA=\int _{c}^{d}\int _{g_{2}(y)}^{h_{2}(y)}f(x,y)\,dx\,dy.} ,其中 a , b , c , d {\displaystyle a,b,c,d} 是滿足上述條件的實數。
證明。 我們可以透過 Fubini 定理(非泛化版本) 和應用 一般區域上的二重積分定義 來證明這個定理。(我們可以使用 Fubini 定理,因為我們假設函式 g {\displaystyle g} 和 h {\displaystyle h} 是連續函式。)
部分 (i):( D = { ( x , y ) : a ≤ x ≤ b and g ( x ) ≤ y ≤ h ( x ) } {\displaystyle D=\{(x,y):a\leq x\leq b{\text{ and }}g(x)\leq y\leq h(x)\}} )
取任意矩形 R = [ a , b ] × [ c , d ] {\displaystyle R=[a,b]\times [c,d]} 包含 D {\displaystyle D} (即 c ≤ g ( x ) {\displaystyle c\leq g(x)} 且 d ≥ h ( x ) {\displaystyle d\geq h(x)} )。然後,定義 f ( x , y ) = 0 {\displaystyle f(x,y)=0} 如果 ( x , y ) ∈ R ∖ D {\displaystyle (x,y)\in R\setminus D} 。之後, ∬ D f d A = def ∬ R f d A = ∫ a b ∫ c d f ( x , y ) d y d x = ∫ a b ( ∫ c g ( x ) f ( x , y ) d y ⏟ 0 because y < ( or ≤ ) g ( x ) + ∫ g ( x ) h ( x ) f ( x , y ) d y + ∫ h ( x ) d f ( x , y ) d y ⏟ 0 because y > ( or ≥ ) h ( x ) ) d x . {\displaystyle \iint _{D}f\,dA{\overset {\text{ def }}{=}}\iint _{R}f\,dA=\int _{a}^{b}\int _{c}^{d}f(x,y)\,dy\,dx=\int _{a}^{b}\left(\underbrace {\int _{c}^{g(x)}f(x,y)\,dy} _{0{\text{ because }}y<({\text{ or }}\leq )g(x)}+\int _{g(x)}^{h(x)}f(x,y)\,dy+\underbrace {\int _{h(x)}^{d}f(x,y)\,dy} _{0{\text{ because }}y>({\text{ or }}\geq )h(x)}\right)dx.} 結果隨之得出。(我們說上述不等式中是否取等號並不重要,因為點上的定積分無論如何都等於零,所以它不影響結果。)
部分 (ii):( D = { ( x , y ) : c ≤ y ≤ d and g ( x ) ≤ x ≤ h ( x ) } {\displaystyle D=\{(x,y):c\leq y\leq d{\text{ and }}g(x)\leq x\leq h(x)\}} )
類似地,取任意矩形 R = [ a , b ] × [ c , d ] {\displaystyle R=[a,b]\times [c,d]} 包含 D {\displaystyle D} (即 a ≤ g ( x ) {\displaystyle a\leq g(x)} 和 b ≥ h ( x ) {\displaystyle b\geq h(x)} )。然後,定義 f ( x , y ) = 0 {\displaystyle f(x,y)=0} 如果 ( x , y ) ∈ R ∖ D {\displaystyle (x,y)\in R\setminus D} 。之後, ∬ D f d A = def ∬ R f d A = ∫ c d ∫ a b f ( x , y ) d x d y = ∫ c d ( ∫ a g ( x ) f ( x , y ) d x ⏟ 0 because x < ( or ≤ ) g ( x ) + ∫ g ( x ) h ( x ) f ( x , y ) d x + ∫ h ( x ) b f ( x , y ) d x ⏟ 0 because x > ( or ≥ ) h ( x ) ) d x . {\displaystyle \iint _{D}f\,dA{\overset {\text{ def }}{=}}\iint _{R}f\,dA=\int _{c}^{d}\int _{a}^{b}f(x,y)\,dx\,dy=\int _{c}^{d}\left(\underbrace {\int _{a}^{g(x)}f(x,y)\,dx} _{0{\text{ because }}x<({\text{ or }}\leq )g(x)}+\int _{g(x)}^{h(x)}f(x,y)\,dx+\underbrace {\int _{h(x)}^{b}f(x,y)\,dx} _{0{\text{ because }}x>({\text{ or }}\geq )h(x)}\right)dx.} 結果隨之而來。 ◻ {\displaystyle \Box }
備註。 通常,找到 x {\displaystyle x} 和 y {\displaystyle y} 的界限是我們計算這種二重積分時最困難的一步。
示例。 令 D {\displaystyle D} 是 R 2 {\displaystyle \mathbb {R} ^{2}} 中頂點為 ( 0 , 0 ) , ( 0 , 1 ) {\displaystyle (0,0),(0,1)} 和 ( 1 , 0 ) {\displaystyle (1,0)} 的三角形。證明 ∬ D x y 2 d A = 1 60 {\displaystyle \iint _{D}xy^{2}\,\,dA={\frac {1}{60}}} 。
證明。
方法 1 的示意圖
方法 2 的示意圖
Approach 1: The bound for x {\displaystyle x} is 0 ≤ x ≤ 1 {\displaystyle 0\leq x\leq 1} . Given a fixed x {\displaystyle x} , the bound for y {\displaystyle y} is 0 ≤ y ≤ 1 − x {\displaystyle 0\leq y\leq 1-x} . Thus, the integral is ∫ 0 1 ∫ 0 1 − x x y 2 d y d x = ∫ 0 1 [ 1 3 y 3 x ] y = 0 y = 1 − x d x = 1 3 ∫ 0 1 x ( 1 − x ) 3 d x = 1 3 ∫ 0 1 ( x − 3 x 2 + 3 x 3 − x 4 ) d x = 1 3 ( 1 2 − 1 + 3 4 − 1 5 ) = 1 60 . {\displaystyle {\begin{aligned}\int _{0}^{1}\int _{0}^{1-x}xy^{2}\,dy\,dx&=\int _{0}^{1}\left[{\frac {1}{3}}y^{3}x\right]_{y=0}^{y=1-x}\,dx\\&={\frac {1}{3}}\int _{0}^{1}x(1-x)^{3}\,dx\\&={\frac {1}{3}}\int _{0}^{1}\left(x-3x^{2}+3x^{3}-x^{4}\right)\,dx\\&={\frac {1}{3}}\left({\frac {1}{2}}-1+{\frac {3}{4}}-{\frac {1}{5}}\right)\\&={\frac {1}{60}}.\end{aligned}}} Approach 2: The bound for y {\displaystyle y} is 0 ≤ y ≤ 1 {\displaystyle 0\leq y\leq 1} . Given a fixed y {\displaystyle y} , the bound for x {\displaystyle x} is 0 ≤ x ≤ 1 − y {\displaystyle 0\leq x\leq 1-y} . Thus, the integral is ∫ 0 1 ∫ 0 1 − y x y 2 d x d y = ∫ 0 1 [ 1 2 x 2 y 2 ] x = 0 x = 1 − y d y = ∫ 0 1 1 2 ( 1 − y ) 2 y 2 d y = 1 2 ∫ 0 1 ( y 2 − 2 y 3 + y 4 ) d y = 1 2 ( 1 3 − 2 4 + 1 5 ) = 1 60 . {\displaystyle {\begin{aligned}\int _{0}^{1}\int _{0}^{1-y}xy^{2}\,dx\,dy&=\int _{0}^{1}\left[{\frac {1}{2}}x^{2}y^{2}\right]_{x=0}^{x=1-y}\,dy\\&=\int _{0}^{1}{\frac {1}{2}}(1-y)^{2}y^{2}\,dy\\&={\frac {1}{2}}\int _{0}^{1}\left(y^{2}-2y^{3}+y^{4}\right)\,dy\\&={\frac {1}{2}}\left({\frac {1}{3}}-{\frac {2}{4}}+{\frac {1}{5}}\right)\\&={\frac {1}{60}}.\end{aligned}}} ◻ {\displaystyle \Box }
示例。 (四面體的體積)考慮一個四面體,它位於 R 3 {\displaystyle \mathbb {R} ^{3}} 中,頂點為 ( 0 , 0 , 0 ) , ( a , 0 , 0 ) , ( 0 , b , 0 ) {\displaystyle (0,0,0),(a,0,0),(0,b,0)} 和 ( 0 , 0 , c ) {\displaystyle (0,0,c)} ,其中 a , b {\displaystyle a,b} 和 c {\displaystyle c} 是正數。定義向量 a = ( a , 0 , 0 ) , b = ( 0 , b , 0 ) {\displaystyle \mathbf {a} =(a,0,0),\mathbf {b} =(0,b,0)} 和 c = ( 0 , 0 , c ) {\displaystyle \mathbf {c} =(0,0,c)} 。證明該四面體的體積為 1 6 ( a ⋅ ( b × c ) ) {\displaystyle {\frac {1}{6}}(\mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} ))} 。(即, 1 6 {\displaystyle {\frac {1}{6}}} 由向量 a , b {\displaystyle \mathbf {a} ,\mathbf {b} } 和 c {\displaystyle \mathbf {c} } 張成的平行六面體的體積。)
證明。
用二重積分求四面體體積的示意圖
Let the plane containing ( a , 0 , 0 ) , ( 0 , b , 0 ) {\displaystyle (a,0,0),(0,b,0)} and ( 0 , 0 , c ) {\displaystyle (0,0,c)} be Π {\displaystyle \Pi } . To find the equation of Π {\displaystyle \Pi } , consider its normal vector. A normal vector of Π {\displaystyle \Pi } is [ ( a , 0 , 0 ) − ( 0 , 0 , c ) ] × [ ( 0 , b , 0 ) − ( 0 , 0 , c ) ] = ( a , 0 , − c ) × ( 0 , b , − c ) = | i j k a 0 − c 0 b − c | = ( b c , a c , a b ) . {\displaystyle [(a,0,0)-(0,0,c)]\times [(0,b,0)-(0,0,c)]=(a,0,-c)\times (0,b,-c)={\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\a&0&-c\\0&b&-c\end{vmatrix}}=(bc,ac,ab).} Therefore, the equation of Π {\displaystyle \Pi } is b c ( x − a ) + a c ( y − 0 ) + a b ( z − 0 ) = 0 ⇒ b c x − a b c + a c y + a b z = 0 ⇒ b c x a b c − a b c a b c + a c y a b c + a b z a b c = 0 ⇒ x a + y b + z c = 1 ⇒ z = c ( 1 − x a − y b ) . {\displaystyle {\begin{aligned}&&bc(x-a)+ac(y-0)+ab(z-0)&=0\\&\Rightarrow &bcx-abc+acy+abz&=0\\&\Rightarrow &{\frac {bcx}{abc}}-{\frac {abc}{abc}}+{\frac {acy}{abc}}+{\frac {abz}{abc}}&=0\\&\Rightarrow &{\frac {x}{a}}+{\frac {y}{b}}+{\frac {z}{c}}&=1\\&\Rightarrow &z&=c\left(1-{\frac {x}{a}}-{\frac {y}{b}}\right).\end{aligned}}} The desired volume is the volume under the graph of f ( x , y ) = c ( 1 − x a − y b ) {\displaystyle f(x,y)=c\left(1-{\frac {x}{a}}-{\frac {y}{b}}\right)} over a region D {\displaystyle D} , and the region D {\displaystyle D} is the projection of the tetrahedron on the xy-plane, which is the triangle with vertices ( 0 , 0 ) , ( a , 0 ) , ( 0 , b ) {\displaystyle (0,0),(a,0),(0,b)} in R 2 {\displaystyle \mathbb {R} ^{2}} . Because the line passing through ( a , 0 ) {\displaystyle (a,0)} and ( 0 , b ) {\displaystyle (0,b)} has equation y = b ( 1 − x a ) {\displaystyle y=b\left(1-{\frac {x}{a}}\right)} , the bound for x {\displaystyle x} is 0 ≤ x ≤ a {\displaystyle 0\leq x\leq a} , and the bound for y {\displaystyle y} is 0 ≤ y ≤ b ( 1 − x a ) {\displaystyle 0\leq y\leq b\left(1-{\frac {x}{a}}\right)} given a fixed x {\displaystyle x} . Thus, the desired volume is ∫ 0 a ∫ 0 b ( 1 − x a ) c ( 1 − x a − y b ) ⏟ Equation of Π d y d x = c ∫ 0 a ( ( 1 − x a ) ( b ( 1 − x a ) ) − b 2 ( 1 − x a ) 2 2 b ) d x = c ∫ 0 a ( b ( 1 − x a ) 2 − b 2 ( 1 − x a ) 2 ) d x = c ∫ 0 a ( b 2 ( 1 − x a ) 2 ) d x = b c 2 ∫ 0 a ( 1 − 2 x a + x 2 a 2 ) d x = b c 2 ( a − a 2 a + a 3 3 a 2 ) = b c 2 ( a − a + a 3 ) = a b c 6 . {\displaystyle {\begin{aligned}\int _{0}^{a}\int _{0}^{b\left(1-{\frac {x}{a}}\right)}\underbrace {c\left(1-{\frac {x}{a}}-{\frac {y}{b}}\right)} _{{\text{Equation of }}\Pi }\,dy\,dx&=c\int _{0}^{a}\left(\left(1-{\frac {x}{a}}\right)\left(b\left(1-{\frac {x}{a}}\right)\right)-{\frac {b^{2}\left(1-{\frac {x}{a}}\right)^{2}}{2b}}\right)\,dx\\&=c\int _{0}^{a}\left(b\left(1-{\frac {x}{a}}\right)^{2}-{\frac {b}{2}}\left(1-{\frac {x}{a}}\right)^{2}\right)\,dx\\&=c\int _{0}^{a}\left({\frac {b}{2}}\left(1-{\frac {x}{a}}\right)^{2}\right)\,dx\\&={\frac {bc}{2}}\int _{0}^{a}\left(1-{\frac {2x}{a}}+{\frac {x^{2}}{a^{2}}}\right)\,dx\\&={\frac {bc}{2}}\left(a-{\frac {a^{2}}{a}}+{\frac {a^{3}}{3a^{2}}}\right)\\&={\frac {bc}{2}}\left(a-a+{\frac {a}{3}}\right)\\&={\frac {abc}{6}}.\end{aligned}}} On the other hand, 1 6 ( a ⋅ ( b × c ) ) = 1 6 ( ( a , 0 , 0 ) ⋅ | i j k 0 b 0 0 0 c | ) = 1 6 ( ( a , 0 , 0 ) ⋅ ( b c , 0 , 0 ) ) = a b c 6 {\displaystyle {\frac {1}{6}}(\mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} ))={\frac {1}{6}}\left((a,0,0)\cdot {\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\0&b&0\\0&0&c\end{vmatrix}}\right)={\frac {1}{6}}((a,0,0)\cdot (bc,0,0))={\frac {abc}{6}}} which equals the desired volume. ◻ {\displaystyle \Box }
示例。 (交換積分順序)證明 ∫ 0 16 ∫ x 1 / 4 2 1 1 + y 5 d y d x {\displaystyle \int _{0}^{16}\int _{x^{1/4}}^{2}{\frac {1}{1+y^{5}}}\,dy\,dx} 大約等於 0.70 {\displaystyle 0.70} 。(保留兩位小數)
備註。
在 R {\displaystyle \mathbb {R} } 中類似情況的例子: ∫ [ 0 , 2 ] f d x = ∫ [ 0 , 1 ] f d x + ∫ [ 1 , 2 ] f d x {\displaystyle \int _{[0,2]}fdx=\int _{[0,1]}fdx+\int _{[1,2]}fdx} ( [ 0 , 1 ] {\displaystyle [0,1]} 和 [ 1 , 2 ] {\displaystyle [1,2]} 的重疊集合具有零長度 )。
曲線 和 點 在 R 2 {\displaystyle \mathbb {R} ^{2}} 中具有零面積。
備註。 回想一下,有界區域的面積也可以透過單重積分求得。在某些情況下,使用這個命題會更方便。
證明。
Solving y = r 2 − x 2 {\displaystyle y={\sqrt {r^{2}-x^{2}}}} and y = − r 2 − x 2 {\displaystyle y=-{\sqrt {r^{2}-x^{2}}}} , we get r 2 − x 2 = − r 2 − x 2 ⟹ r 2 − x 2 = 0 ⟹ x = ± r {\displaystyle {\sqrt {r^{2}-x^{2}}}=-{\sqrt {r^{2}-x^{2}}}\implies {\sqrt {r^{2}-x^{2}}}=0\implies x=\pm r} . Because x = ± r ⟹ y = 0 {\displaystyle x=\pm r\implies y=0} , intersection points of these two curves are ( r , 0 ) {\displaystyle ({\sqrt {r}},0)} and ( − r , 0 ) {\displaystyle (-{\sqrt {r}},0)} . Therefore, the bound for x {\displaystyle x} is − r ≤ x ≤ r {\displaystyle -{\sqrt {r}}\leq x\leq {\sqrt {r}}} , and given a fixed x {\displaystyle x} , the bound for y {\displaystyle y} is − r 2 − x 2 ≤ y ≤ r 2 − x 2 {\displaystyle -{\sqrt {r^{2}-x^{2}}}\leq y\leq {\sqrt {r^{2}-x^{2}}}} . Thus, the desired area is ∬ D 1 d A = ∫ − r r ∫ − r 2 − x 2 r 2 − x 2 1 d y d x = 2 ∫ − r r r 2 − x 2 d x = 2 ∫ arcsin ( − r / r ) arcsin ( r / r ) r cos θ r 2 − r 2 sin 2 θ d θ let x = r sin θ ⟹ d x = r cos θ d θ and θ = arcsin ( x / r ) = 2 r ∫ arcsin ( − 1 ) ⏟ − π / 2 arcsin 1 ⏞ π / 2 cos θ r 2 ⏟ = | r | = r because r > 0 cos θ d θ = 2 r 2 ∫ − π / 2 π / 2 1 + cos ( 2 θ ) 2 d θ by double angle formula: cos ( 2 θ ) = 2 cos 2 θ − 1 ⟹ cos 2 θ = 1 + cos ( 2 θ ) 2 = 2 r 2 2 [ θ 2 + sin 2 ( θ ) 4 ] = 2 r 2 2 ( π 2 + 1 4 ⋅ sin ( 2 ( π / 2 ) ) ⏟ = sin π = 0 − ( − π 2 + 1 4 ⋅ sin ( 2 ( − π / 2 ) ) ⏟ = sin ( − π ) = 0 ) ) = π r 2 {\displaystyle {\begin{aligned}\iint _{D}1\,dA&=\int _{-r}^{r}\int _{-{\sqrt {r^{2}-x^{2}}}}^{\sqrt {r^{2}-x^{2}}}1\,dy\,dx\\&=2\int _{-r}^{r}{\sqrt {r^{2}-x^{2}}}\,dx\\&=2\int _{\arcsin(-r/r)}^{\arcsin(r/r)}r\cos \theta {\sqrt {r^{2}-r^{2}\sin ^{2}\theta }}\,d\theta \qquad {\text{let }}x=r\sin \theta \implies dx=r\cos \theta \,d\theta {\text{ and }}\theta =\arcsin(x/r)\\&=2r\int _{\underbrace {\arcsin(-1)} _{-\pi /2}}^{\overbrace {\arcsin 1} ^{\pi /2}}\cos \theta \underbrace {\sqrt {r^{2}}} _{=|r|=r{\text{ because }}r>0}\cos \theta \,d\theta \\&=2r^{2}\int _{-\pi /2}^{\pi /2}{\frac {1+\cos(2\theta )}{2}}\,d\theta \qquad {\text{by double angle formula:}}\cos(2\theta )=2\cos ^{2}\theta -1\implies \cos ^{2}\theta ={\frac {1+\cos(2\theta )}{2}}\\&={\frac {2r^{2}}{2}}\left[{\frac {\theta }{2}}+{\frac {\sin 2(\theta )}{4}}\right]\\&={\frac {2r^{2}}{2}}\left({\frac {\pi }{2}}+{\frac {1}{4}}\cdot \underbrace {\sin(2(\pi /2))} _{=\sin \pi =0}-\left(-{\frac {\pi }{2}}+{\frac {1}{4}}\cdot \underbrace {\sin(2(-\pi /2))} _{=\sin(-\pi )=0}\right)\right)\\&=\pi r^{2}\end{aligned}}} ◻ {\displaystyle \Box } Remark. Geometrically, the bounded region D {\displaystyle D} is a disk (region in a plane bounded by a circle) of radius r {\displaystyle r} .
二重積分部分 中的概念可以類推應用到 三重積分 (以及一般多重積分)中。在本部分,我們將給出一些關於三重積分的例子。
定義。 (三重積分)設 f ( x , y , z ) {\displaystyle f(x,y,z)} 是定義在 R 3 {\displaystyle \mathbb {R} ^{3}} 中的矩形盒(或矩形長方體) B {\displaystyle B} 上的函式。考慮將 B {\displaystyle B} 分割成體積分別為 Δ V 1 , Δ V 2 , … , Δ V n {\displaystyle \Delta V_{1},\Delta V_{2},\ldots ,\Delta V_{n}} 的小盒。在第 k {\displaystyle k} 個盒中選擇一個任意 點 ( x k , y k , z k ) {\displaystyle (x_{k},y_{k},z_{k})} 。函式 f {\displaystyle f} 在 R {\displaystyle R} 上可積 ,如果 lim Δ V k → 0 ∑ k = 1 n f ( x k , y k , z k ) Δ V k {\displaystyle \lim _{\Delta V_{k}\to 0}\sum _{k=1}^{n}f(x_{k},y_{k},z_{k})\Delta V_{k}} 存在。在這種情況下,我們將此極限記為 ∭ B f d V {\displaystyle \iiint _{B}f\,dV} ( V {\displaystyle V} 是體積的助記符),並稱之為三重積分 在 B {\displaystyle B} 上的 f {\displaystyle f} 。
定理。 (廣義傅比尼定理(三重積分版本))設 f ( x , y , z ) {\displaystyle f(x,y,z)} 是定義在(形狀任意)區域 D {\displaystyle D} 上的連續函式。那麼,以下成立。
(i) if D = { ( x , y , z ) : a 1 ≤ x ≤ b 1 , g 1 ( x ) ≤ y ≤ h 1 ( x ) , φ 1 ( x , y ) ≤ z ≤ ψ 1 ( x , y ) } {\displaystyle D=\{(x,y,z):a_{1}\leq x\leq b_{1},g_{1}(x)\leq y\leq h_{1}(x),\varphi _{1}(x,y)\leq z\leq \psi _{1}(x,y)\}} , then ∭ D f d V = ∫ a 1 b 1 ∫ g 1 ( x ) h 1 ( x ) ∫ φ 1 ( x , y ) ψ 1 ( x , y ) f d z d y d x {\displaystyle \iiint _{D}fdV=\int _{a_{1}}^{b_{1}}\int _{g_{1}(x)}^{h_{1}(x)}\int _{\varphi _{1}(x,y)}^{\psi _{1}(x,y)}f\,dz\,dy\,dx} (ii) if D = { ( x , y , z ) : a 2 ≤ x ≤ b 2 , g 2 ( x ) ≤ z ≤ h 2 ( x ) , φ 2 ( x , z ) ≤ y ≤ ψ 2 ( x , z ) } {\displaystyle D=\{(x,y,z):a_{2}\leq x\leq b_{2},g_{2}(x)\leq z\leq h_{2}(x),\varphi _{2}(x,z)\leq y\leq \psi _{2}(x,z)\}} , then ∭ D f d V = ∫ a 2 b 2 ∫ g 2 ( x ) h 2 ( x ) ∫ φ 2 ( x , z ) ψ 2 ( x , z ) f d y d z d x {\displaystyle \iiint _{D}fdV=\int _{a_{2}}^{b_{2}}\int _{g_{2}(x)}^{h_{2}(x)}\int _{\varphi _{2}(x,z)}^{\psi _{2}(x,z)}f\,dy\,dz\,dx} (iii) if D = { ( x , y , z ) : a 3 ≤ y ≤ b 3 , g 3 ( y ) ≤ x ≤ h 3 ( y ) , φ 3 ( x , y ) ≤ z ≤ ψ 3 ( x , y ) } {\displaystyle D=\{(x,y,z):a_{3}\leq y\leq b_{3},g_{3}(y)\leq x\leq h_{3}(y),\varphi _{3}(x,y)\leq z\leq \psi _{3}(x,y)\}} , then ∭ D f d V = ∫ a 3 b 3 ∫ g 3 ( y ) h 3 ( y ) ∫ φ 3 ( x , y ) ψ 3 ( x , y ) f d z d x d y {\displaystyle \iiint _{D}fdV=\int _{a_{3}}^{b_{3}}\int _{g_{3}(y)}^{h_{3}(y)}\int _{\varphi _{3}(x,y)}^{\psi _{3}(x,y)}f\,dz\,dx\,dy} (iv) if D = { ( x , y , z ) : a 4 ≤ y ≤ b 4 , g 4 ( y ) ≤ z ≤ h 4 ( y ) , φ 4 ( y , z ) ≤ x ≤ ψ 4 ( y , z ) } {\displaystyle D=\{(x,y,z):a_{4}\leq y\leq b_{4},g_{4}(y)\leq z\leq h_{4}(y),\varphi _{4}(y,z)\leq x\leq \psi _{4}(y,z)\}} , then ∭ D f d V = ∫ a 4 b 4 ∫ g 4 ( y ) h 4 ( y ) ∫ φ 4 ( y , z ) ψ 4 ( y , z ) f d x d z d y {\displaystyle \iiint _{D}fdV=\int _{a_{4}}^{b_{4}}\int _{g_{4}(y)}^{h_{4}(y)}\int _{\varphi _{4}(y,z)}^{\psi _{4}(y,z)}f\,dx\,dz\,dy} (v) if D = { ( x , y , z ) : a 5 ≤ z ≤ b 5 , g 5 ( z ) ≤ y ≤ h 5 ( z ) , φ 5 ( y , z ) ≤ x ≤ ψ 5 ( y , z ) } {\displaystyle D=\{(x,y,z):a_{5}\leq z\leq b_{5},g_{5}(z)\leq y\leq h_{5}(z),\varphi _{5}(y,z)\leq x\leq \psi _{5}(y,z)\}} , then ∭ D f d V = ∫ a 5 b 5 ∫ g 5 ( z ) h 5 ( z ) ∫ φ 5 ( y , z ) ψ 5 ( y , z ) f d x d y d z {\displaystyle \iiint _{D}fdV=\int _{a_{5}}^{b_{5}}\int _{g_{5}(z)}^{h_{5}(z)}\int _{\varphi _{5}(y,z)}^{\psi _{5}(y,z)}f\,dx\,dy\,dz} (vi) if D = { ( x , y , z ) : a 6 ≤ z ≤ b 6 , g 6 ( z ) ≤ x ≤ h 6 ( z ) , φ 6 ( x , z ) ≤ y ≤ ψ 6 ( x , z ) } {\displaystyle D=\{(x,y,z):a_{6}\leq z\leq b_{6},g_{6}(z)\leq x\leq h_{6}(z),\varphi _{6}(x,z)\leq y\leq \psi _{6}(x,z)\}} , then ∭ D f d V = ∫ a 6 b 6 ∫ g 6 ( z ) h 6 ( z ) ∫ φ 6 ( x , z ) ψ 6 ( x , z ) f d y d x d z {\displaystyle \iiint _{D}fdV=\int _{a_{6}}^{b_{6}}\int _{g_{6}(z)}^{h_{6}(z)}\int _{\varphi _{6}(x,z)}^{\psi _{6}(x,z)}f\,dy\,dx\,dz} in which each function involved is continuous. That is, we can use either one of all 3 ! = 6 {\displaystyle 3!=6} possible integration orders for iterated integrals to compute triple integrals, with suitable bounds.
命題。 (三重積分給出的四維體積)設 f ( x , y , z ) {\displaystyle f(x,y,z)} 是定義在 R 3 {\displaystyle \mathbb {R} ^{3}} 中的矩形盒 B {\displaystyle B} 上的一個 可積 函式。假設對於每個 ( x , y , z ) ∈ B {\displaystyle (x,y,z)\in B} 都有 f ( x , y , z ) ≥ 0 {\displaystyle f(x,y,z)\geq 0} 。那麼, f {\displaystyle f} 在 B {\displaystyle B} 上的圖形下的 四維體積 為 ∭ B f d V . {\displaystyle \iiint _{B}fdV.}
證明。
(i) 給定 D {\displaystyle D} 的邊界為 x 2 + y 2 + z 2 ≤ r 2 , x ≥ 0 , y ≥ 0 {\displaystyle x^{2}+y^{2}+z^{2}\leq r^{2},x\geq 0,y\geq 0} 以及 z ≥ 0 {\displaystyle z\geq 0} 。我們可以將這些邊界表示如下:
x 2 ≤ x 2 + y 2 + z 2 ≤ r 2 and x ≥ 0 ⟹ 0 ≤ x ≤ r {\displaystyle x^{2}\leq x^{2}+y^{2}+z^{2}\leq r^{2}{\text{ and }}x\geq 0\implies 0\leq x\leq r}
給定一個固定的 x {\displaystyle x} ,目標是找到 y {\displaystyle y} 的邊界,形式為 g ( x ) ≤ y ≤ h ( x ) {\displaystyle g(x)\leq y\leq h(x)} 。
步驟: y 2 ≤ y 2 + z 2 ⏟ ≥ 0 ≤ r 2 − x 2 ⏟ by x 2 + y 2 + z 2 ≤ r 2 and y ≥ 0 ⟹ 0 ≤ y ≤ r 2 − x 2 {\displaystyle y^{2}\leq y^{2}+\underbrace {z^{2}} _{\geq 0}\underbrace {\leq r^{2}-x^{2}} _{{\text{by }}x^{2}+y^{2}+z^{2}\leq r^{2}}{\text{ and }}y\geq 0\implies 0\leq y\leq {\sqrt {r^{2}-x^{2}}}}
給定固定的 x {\displaystyle x} 和 y {\displaystyle y} ( x {\displaystyle x} 從其邊界中選取,即 0 ≤ x ≤ r {\displaystyle 0\leq x\leq r} ,而 y {\displaystyle y} 從其邊界中選取,該邊界取決於固定的 x {\displaystyle x} ),目標是找到 z {\displaystyle z} 的邊界,形式為 φ ( x , y ) ≤ z ≤ ψ ( x , y ) {\displaystyle \varphi (x,y)\leq z\leq \psi (x,y)} 。
步驟: x 2 ≤ r 2 − y 2 − z 2 ⏟ by x 2 + y 2 + z 2 ≤ r 2 and z ≥ 0 ⟹ 0 ≤ z ≤ r 2 − y 2 − z 2 {\displaystyle x^{2}\underbrace {\leq r^{2}-y^{2}-z^{2}} _{{\text{by }}x^{2}+y^{2}+z^{2}\leq r^{2}}{\text{ and }}z\geq 0\implies 0\leq z\leq {\sqrt {r^{2}-y^{2}-z^{2}}}}
Therefore, by generalized Fubini's theorem (triple integrals version) (i) and proposition about volume given by triple integration , the desired volume is ∭ D 1 d V = ∫ 0 r ∫ 0 r 2 − z 2 ∫ 0 r 2 − y 2 − z 2 1 d x d y d z = ∫ 0 r ∫ 0 r 2 − z 2 ( r 2 − y 2 − z 2 ) d y d z = ∫ 0 r ∫ 0 π / 2 ( ( r 2 − z 2 − ( r 2 − z 2 ) sin 2 θ ⏟ ( r 2 − z 2 ) ( 1 − sin 2 θ ) = ( r 2 − z 2 ) | cos θ | ) ( r 2 − z 2 ) cos θ ) d θ d z let y = r 2 − z 2 sin θ ⟹ d y = ( r 2 − z 2 ) cos θ d θ and θ = arcsin ( y r 2 − z 2 ) ( by restricting the domain of sine function to − π 2 ≤ θ ≤ π 2 ) = ∫ 0 r ( r 2 − z 2 ) 2 ∫ 0 π / 2 ( cos θ ) ( cos θ ) d θ d z | cos θ | = cos θ because cos θ ≥ 0 when − π 2 ≤ θ ≤ π 2 = ∫ 0 r ( r 2 − z 2 ) ∫ 0 π / 2 1 + cos ( 2 θ ) 2 d θ d z by double angle formula = 1 2 ∫ 0 r ( r 2 − z 2 ) ( π 2 + 1 2 ⋅ sin π ⏟ 0 ) d z = π 4 [ r 2 z − z 3 3 ] 0 r = π 4 ( r 3 − r 3 3 ) = π 4 ⋅ 2 3 ⋅ r 3 = 1 6 π r 3 {\displaystyle {\begin{aligned}\iiint _{D}1dV&=\int _{0}^{r}\int _{0}^{\sqrt {r^{2}-z^{2}}}\int _{0}^{\sqrt {r^{2}-y^{2}-z^{2}}}1\,dx\,dy\,dz\\&=\int _{0}^{r}\int _{0}^{\sqrt {r^{2}-z^{2}}}\left({\sqrt {r^{2}-y^{2}-z^{2}}}\right)\,dy\,dz\\&=\int _{0}^{r}\int _{0}^{\pi /2}\left(\left(\underbrace {\sqrt {r^{2}-z^{2}-\left(r^{2}-z^{2}\right)\sin ^{2}\theta }} _{{\sqrt {(r^{2}-z^{2})(1-\sin ^{2}\theta )}}={\sqrt {(r^{2}-z^{2})}}|\cos \theta |}\right)\left({\sqrt {r^{2}-z^{2}}}\right)\cos \theta \right)\,d\theta \,dz\qquad {\text{let }}y={\sqrt {r^{2}-z^{2}}}\sin \theta \implies dy=\left({\sqrt {r^{2}-z^{2}}}\right)\cos \theta \,d\theta {\text{ and }}\theta =\arcsin \left({\frac {y}{\sqrt {r^{2}-z^{2}}}}\right)({\text{by restricting the domain of sine function to }}-{\frac {\pi }{2}}\leq \theta \leq {\frac {\pi }{2}})\\&=\int _{0}^{r}\left({\sqrt {r^{2}-z^{2}}}\right)^{2}\int _{0}^{\pi /2}(\cos \theta )(\cos \theta )\,d\theta \,dz\qquad |\cos \theta |=\cos \theta {\text{ because }}\cos \theta \geq 0{\text{ when }}{\frac {-\pi }{2}}\leq \theta \leq {\frac {\pi }{2}}\\&=\int _{0}^{r}\left(r^{2}-z^{2}\right)\int _{0}^{\pi /2}{\frac {1+\cos(2\theta )}{2}}\,d\theta \,dz\qquad {\text{by double angle formula}}\\&={\frac {1}{2}}\int _{0}^{r}\left(r^{2}-z^{2}\right)\left({\frac {\pi }{2}}+{\frac {1}{2}}\cdot \underbrace {\sin \pi } _{0}\right)\,dz\\&={\frac {\pi }{4}}\left[r^{2}z-{\frac {z^{3}}{3}}\right]_{0}^{r}\\&={\frac {\pi }{4}}\left(r^{3}-{\frac {r^{3}}{3}}\right)\\&={\frac {\pi }{4}}\cdot {\frac {2}{3}}\cdot r^{3}\\&={\frac {1}{6}}\pi r^{3}\end{aligned}}}
(ii) 由於有八個八分圓(在 R 3 {\displaystyle \mathbb {R} ^{3}} 中),並且每個八分圓彼此對稱。還有七個區域與 D {\displaystyle D} 在除 (+,+,+) 八分圓以外的八分圓中對稱。因此,所需的體積是 8 ( 1 6 π r 3 ) = 4 3 π r 3 . {\displaystyle 8\left({\frac {1}{6}}\pi r^{3}\right)={\frac {4}{3}}\pi r^{3}.} ◻ {\displaystyle \Box } 備註: (ii) 中提到的區域是半徑為 r {\displaystyle r} 的球體 (由球面包圍的立體圖形)。