積分是在一塊區域上，而不是在一個盒子裡
f 在區域 R 上的二重積分，本質上就是你在第一卷見過的同一種黎曼和極限：把 R 切成許多小塊，把每一小塊的面積乘以 f 在其上的值，再加起來。上一份指南把這個和寫成了累次積分——兩個普通的單積分一層套一層——而在矩形上，這套記帳之所以輕鬆，是因為每條水平切片都在相同的兩個 x 值之間、每條豎直切片都在相同的兩個 y 值之間。正是這些常數上下限讓它毫不費力。
真實的區域幾乎從來不是盒子。它們是三角形、圓盤、夾在一條直線與一條拋物線之間的細條、一條曲線下方的楔形。本指南的全部本領，就是把這樣一個形狀翻譯成累次積分的上下限——而關鍵的領悟是：對一塊非矩形區域，至少有一對上下限必須是變動的，是另一個變量的函數，而不是常數。想清楚當你橫掃區域時切片如何伸縮，這就是全部的功夫；最後那一步求原函數通常反而是簡單的部分。
兩種切法：第一型與第二型
把一塊平面積分區域切成切片，恰好有兩種自然的方式，給它們起名能讓列式保持清醒。第一型區域是用豎直切片去掃的：x 跑遍一個固定區間 a 到 b，對每個凍住的 x，切片從下邊界曲線 y = g(x) 升到上邊界曲線 y = h(x)。第二型區域是它的鏡像——用水平切片，y 跑遍 c 到 d，x 從左邊界曲線 x = p(y) 掃到右邊界曲線 x = q(y)。選第一型還是第二型，正就是選先對哪個變量積分。
用頂點為 (0, 0)、(1, 0)、(1, 1) 的三角形把它落到實處——這是直線 y = x 下方、x 軸上方、一直延伸到 x = 1 的區域。把它讀成第一型：x 從 0 跑到 1，對每個這樣的 x，豎直切片從地板 y = 0 爬到對角線 y = x。於是內層 y 的上下限是 0 與 x——是變動的，因為三角形隨 x 增大而變高。把同一個三角形讀成第二型：y 從 0 跑到 1，對每個 y，水平切片從對角線 x = y 橫掃到右牆 x = 1。此時內層 x 的上下限是 y 與 1。同一個形狀，兩種忠實的描述。
為什麼兩種次序給出同一個數
把區域豎著切和橫著切應當給出相同的總量，這件事並不是顯然的。給出保證的是富比尼定理：只要被積函數在區域上足夠規矩——對有界區域上有界且連續的 f，你就是安全的——那麼以任一種次序算出的累次積分都等於那個唯一真正的二重積分，因而兩種次序彼此相等。從幾何上看，這不過是一個顯而易見的事實：把「面積乘高度」的貢獻加總，並不在乎你是先把它們打包成豎直的列，還是先打包成水平的行。
對那些小字條款要誠實，因為它們絕非吹毛求疵。當 f 不是絕對可積時——當它的正部與負部各自堆積到無窮時——富比尼定理是可能失效的。標準的警示故事是單位正方形上的 f(x, y) = (x^2 - y^2) / (x^2 + y^2)^2：先對 x 積分你得到一個數，先對 y 積分你得到它的相反數。算術沒有任何毛病；只是前提沒有滿足，因為 |f| 的積分發散。對本階梯裡那些有界、連續的被積函數，你永遠不會撞上這種情形，但這正是為什麼該定理要帶著條件，而非一條免費的定律。
交換次序，一步一步來
因為兩種次序給出同一個數，你可以自由地挑更省力的那一種——而把給定的積分次序交換過來，是一項具體而機械的本領。陷阱在於只把 dx 與 dy 對調、再把現有的上下限挪來挪去；那幾乎總是會得到一堆胡話。唯一可靠的方法是：把上下限整個丟掉，重建它們所描述的區域，然後用另一種方式重新讀這塊區域。上下限是一個形狀的密碼化描述；你必須先解碼，才能重新編碼。
- 把給定的上下限讀成不等式。例如外層從 0 到 1（dx）、內層從 x 到 1（dy）的積分，解碼為 0 <= x <= 1 且 x <= y <= 1。
- 畫出這些不等式所切出的區域，並逐一辨認每條邊界曲線（這裡是：直線 y = x、上邊界 y = 1、左牆 x = 0）。
- 現在換另一種方式切。要把 y 放到外層，先找出整塊區域上 y 的完整範圍（0 到 1），再對固定的 y 讀出 x 從哪裡進、從哪裡出（這裡 x 從 0 到 y）。
- 寫出新的累次積分，外層用常數上下限、內層用你剛讀出的變動上下限，然後挑一兩個角點對照圖形做一次合理性檢查。
一個常見的踉蹌：當區域形如圓盤或彎曲的帽狀時，交換次序可能把它劈成兩塊，每塊各需一個累次積分，因為沿新的切片方向，進入或離開的曲線在中途換了。這不是錯誤——這是區域在誠實地告訴你：它沒法用一整塊乾淨的第一型加第二型來描述。畫圖能在它咬到你之前揭示這種劈分。（當一個圓盤逼著你這麼幹時，那恰恰是該去取極坐標的信號，那是本階梯後面一份指南的主題。）
當次序本身就是關鍵所在
有時交換次序不是圖方便，而是唯一的出路。著名的例子是 e^{-y^2} 在三角形 0 <= x <= y、0 <= y <= 1 上的積分。若你把 y 放在內層，立刻就卡住了：內層求原函數需要 e^{-y^2} dy 的積分，而它沒有初等閉式——這是一個貨真價實的非初等積分，正是高斯積分的核。「非初等」並不意味著不可能或不可計算；它意味著不存在由冪、指數、對數與三角函數寫成的公式。就這條路而言，那個單積分是求精確答案的死胡同。
現在把它翻過來。把 y 放外層、x 放內層。對固定的 y，內層積分是從 x = 0 到 x = y 的 e^{-y^2} dx 的積分——而就 x 而言 e^{-y^2} 是個常數，所以內層積分不過是 e^{-y^2} 乘以長度 y。外層積分於是變成從 0 到 1 的 y e^{-y^2} dy 的積分，用換元 u = y^2 立刻就破：它等於 (1/2)(1 - e^{-1})，約為 0.316。被積函數從未改變；交換次序把那個棘手的變量挪到了外層，在那裡冒出來一個友好的額外因子 y，救活了整個計算。
Region (a triangle): 0 <= x <= y , 0 <= y <= 1
y
1 | *--------* slice the BAD way (y inner): each vertical
| | \ | slice needs integral of e^{-y^2} dy -- no
| | \ | elementary antiderivative. STUCK.
| | \ |
0 +--*-------*---- x slice the GOOD way (x inner, y outer):
0 1
inner: integral_{x=0}^{y} e^{-y^2} dx = e^{-y^2} * (y - 0) = y e^{-y^2}
outer: integral_{y=0}^{1} y e^{-y^2} dy -- let u = y^2, du = 2y dy
= (1/2) integral_{0}^{1} e^{-u} du = (1/2)(1 - e^{-1}) ~ 0.316
Same region, same integrand -- only the ORDER changed.從面積上升到體積
同樣的邏輯，多一個維度，就能在一個立體上列出三重積分。現在你有三種嵌套次序可選（若把所有排列都算上，則是六種），內層上下限可以依賴兩個外層變量，而中層上下限只依賴最外層那個。這套規矩並未改變：把立體投影到一個坐標平面上以確定外面兩層的上下限，再對那塊陰影裡凍住的一點，讀出最內層變量在哪裡進入、又在哪裡離開立體——一個底曲面 z = g(x, y) 和一個頂曲面 z = h(x, y)。畫一支有代表性的長矛穿過立體，仍然是防止出錯的關鍵一招。
重排次序在三維裡有用，理由和它在二維裡有用的兩條理由相同：要麼換來更乾淨的區域描述，要麼換來一個可處理的最內層原函數。而它的回報會徑直接回第一卷。回想一下，一個正函數的單定積分是曲線下的面積，這由微積分基本定理來保證；一個正函數的二重積分是曲面下的體積；常數 1 的三重積分則是立體本身樸素的體積。把次序選好，在任何維度裡，都是「一個你能算完的積分」與「一個你只能乾瞪眼的積分」之間的分水嶺。