我們之前在不定積分的內容當中曾經介紹過換元法和分部積分法這兩種求解不定積分的方法，今天我們來探索將這兩種方法應用在定積分上。有一點需要注意，雖然不定積分和定積分只有一字之差，但是在數學上其實它們是兩個完全不同的概念。不定積分求解的是函式的原函式，而定積分則是求解的曲形的面積，也就是乙個具體的值。
我們用python來舉例的話，不定積分有些像是高階函式，我們傳入乙個函式，得到乙個函式。而定積分則就是乙個計算的函式，我們傳入乙個函式，得到乙個值。由於有了牛頓-萊布尼茨公式，我們求解定積分的時候也需要求解原函式，但這只是計算過程相似，並不是它的定義。所以不要把兩者弄混淆了。
在我們寫出換元法的公式之前，我們先寫清楚它的作用區間。這個是數學的慣例，我們寫乙個公式或者是定理或者是式子，都需要標明適用範圍。我們假設函式f(x)在區間[a, b]上連續。
函式\(x=\phi(t)\)滿足：
\(\phi(\alpha) = a, \phi(\beta) = b\)
\(\phi(t)\)在區間\([\alpha, \beta]\)，或者\([\beta, \alpha]\)上具有連續導數，值域是[a, b]，那麼：
\[\int_a^bf(x)dx = \int_\alpha^\beta f[\phi(t)]\phi'(t)dt
\]這個式子成立非常明顯，但為了嚴謹，我們還是來證明一遍。
等式的左邊很簡單就是我們常見的積分函式，我們假設f(x)在區間[a, b]上的原函式是f(x)，那麼等式左邊根據牛頓-萊布尼茨公式，可以得到：
\[\int_a^b f(x)dx = f(b) - f(a)
\]所以我們重點關注的是等式右邊，等式右邊也做類似處理，我們假設\(\phi(t) = f(\phi(t))\)。
我們對\(\phi(t)\)求導，可以得到：
\[\phi'(t) = \frac\cdot \frac = f(x)\cdot \phi'(t) = f[\phi(t)]\cdot \phi'(t)
\]通過求導我們可以發現，\(\phi(t)\)是\(f[\phi(t)]\cdot \phi'(t)\)的原函式。所以：
\[\begin
\int_\alpha^\beta f[\phi(t)]\phi'(t)dt &= \phi(\beta) - \phi(\alpha)\\
&= f[\phi(\beta)] - f[\phi(\alpha)] \\
&= f(b) - f(a)
\end
\]所以我們就證明完了，整個證明過程並不難，比較困難的點在於我們在處理等式右邊的時候是怎麼想到令\(\phi(t) = f(\phi(t))\)的呢？這是乙個非常巧妙的點。想到這個不太容易，如果是我從頭開始證明，我可能會往\(\phi(t)\)的原函式上想，估計不太容易想到將f(x)引入進來。
我們理解了換元求解定積分的方法之後，我們一起來看一道例題來熟悉一下。這個例題還是經典的三角換元：
\[\int_0^a \sqrtdx \quad (a>0)
\]我們很容易想到我們可以令\(x = a\sin t\)，這樣的話\(dx = a\cos t dt\)。當x=0時，t=0，當x=a時，t=\(\frac\)，我們代入原式可以得到：
\[\begin
\int_0^a \sqrtdx &= a^2 \int_0^\frac \cos ^2 tdt \\
&= \frac\int_0^\frac (1 + \cos 2t)dt \\
&= \frac[t + \frac\sin 2t]_0 ^\frac\\
&= \frac
\end
\]明白了原理之後，我們也可以將換元公式反過來用。也就是說當我們湊到\(t = \phi(x)\)的情況時，也一樣可以使用換元公式。
我們再來看乙個例子：
\[\int_0^\frac\cos ^5 x \sin x dx
\]我們很容易湊到\(t = \cos x\)時，\(dt = -\sin x dx\)，當x=0時，t=1， 當x=\(\frac\)時，t=0。我們代入原式，可以得到：
\[\begin
\int_0^\frac\cos ^5 x \sin x dx &= -\int_1^0 t^5 dt\\
&= \int_0^1 t^5 dt = [\frac]_0^1 = \frac
\end
\]不定積分的分部積分法是根據求導公式推導得出的，它在定積分當中同樣適用，我們只需要稍作變形就可以推導出來：
\[\begin
\int_a^b u(x)v'(x)dx &= [\int u(x)v'(x)dx]_a^b\\
&= [u(x)v(x) - \int v(x)u'(x)dx]_a^b\\
&= [u(x)v(x)]_a^b - \int_a^b v(x)u'(x) dx
\end
\]我們把上面的式子可以簡寫成：\(\int_a^b uv' dx = [uv]_a^b - \int_a^b vu' dx\)
來看個例子：$\int_0^\pi x\cos x dx $
我們令u = x, dv = \(\cos x\)，那麼v = \(\sin x\)，我們代入就可以得到：
\[\begin
\int_0^\pi x\cos x dx &= [x \sin x]_0^\pi - \int_0^\pi \sin x dx \\
&= 0 + [\cos x]_0^\pi \\
&= -2
\end
\]和不定積分一樣，分部積分法和換元法可以結合使用，得到更強大的效果。我們來看個例子：$$\int_0^1 e^} dx$$
我們令\(t = \sqrt\)，於是\(x = t^2, dx = 2tdt\)，並且當x=0時，t=0，當x=1時，t=1。我們代入可得：
\[\int_0^1 e^} dx = 2\int_0^1 t e^t dt = 2\int_0^1 td(e^t)
\]我們使用分部積分法，令u=t, dv = \(e^t\)，所以\(v = e^t\)，代入可以得到：
\[\begin
2\int_0^1 td(e^t) &= 2([te^t]_0^1 - \int_0^1 e^t dt) \\
&= 2(e - e + 1) = 2
\end
\]換元法和分部積分法是求解定積分和不定積分的兩大最重要的方法，這兩個方法說起來容易，理解起來也不難，但是很容易遺忘。尤其是我們長時間不使用的情況下，經常會忘記，而在用的時候又經常會想不起來，典型的書到用時方恨少問題。所以我們經常拿出來複習回顧一下，還是很有必要的。
今天的文章就到這裡，原創不易，需要你乙個關注的支援~
敲黑板！break和continue的區別！
首先，我們分別了解break和continue的定義。1 break語句的功能是 在switch語句中使流程跳出switch結構。在迴圈語句中使流程跳出當前迴圈。舉例 將從鍵盤上輸入的若干個正整數求和，遇到負數則終止程式，並且輸入的數不超過10個。輸入 正整數 計算 求累加和 輸出 和 includ...
定積分 黎曼積分
狹義積分 區別於廣義積分 即黎曼積分，它的定義為 函式 f x 在閉區間 a,b 有定義，在區間 a,b 上插入 n 1 個分點，使其分成 n 個小區間 x x i 1,2,3,n 任取一點 xi in x x 做和式 sum f xi x x sum f xi delta x 設 lambda 為...
python Matlab求定積分
計算 sympy庫中integrate函式 integrate f,x,lower bound,upper bound f 函式，x 變數，lower bound 下限，upper bound 上限 但是發現求不出來，如果是sin 2 x 就可以，為什麼？syms x f sin 2 x 1 x 2...