我们之前在不定积分的内容当中曾经介绍过换元法和分部积分法这两种求解不定积分的方法，今天我们来探索将这两种方法应用在定积分上。有一点需要注意，虽然不定积分和定积分只有一字之差，但是在数学上其实它们是两个完全不同的概念。不定积分求解的是函数的原函数，而定积分则是求解的曲形的面积，也就是一个具体的值。
我们用Python来举例的话，不定积分有些像是高阶函数，我们传入一个函数，得到一个函数。而定积分则就是一个计算的函数，我们传入一个函数，得到一个值。由于有了牛顿-莱布尼茨公式，我们求解定积分的时候也需要求解原函数，但这只是计算过程相似，并不是它的定义。所以不要把两者弄混淆了。
换元法
在我们写出换元法的公式之前，我们先写清楚它的作用区间。这个是数学的惯例，我们写一个公式或者是定理或者是式子，都需要标明适用范围。我们假设函数f(x)在区间[a, b]上连续。
函数x=φ(t) 满足：
- φ(α) = a, φ(β) = b
- φ(t) 在区间[α, β]，或者[β, α]上具有连续导数，值域是[a, b]，那么：
这个式子成立非常明显，但为了严谨，我们还是来证明一遍。
等式的左边很简单就是我们常见的积分函数，我们假设f(x)在区间[a, b]上的原函数是F(x)，那么等式左边根据牛顿-莱布尼茨公式，可以得到：
所以我们重点关注的是等式右边，等式右边也做类似处理，我们假设Φ(t) = F[φ(t)]。
我们对Φ(t) 求导，可以得到：
通过求导我们可以发现， Φ(t) 是 f[φ(t)]*φ'(t)的原函数。所以：
所以我们就证明完了，整个证明过程并不难，比较困难的点在于我们在处理等式右边的时候是怎么想到令Φ(t) = F(φ(t))的呢？这是一个非常巧妙的点。想到这个不太容易，如果是我从头开始证明，我可能会往Φ(t)的原函数上想，估计不太容易想到将F(x)引入进来。
我们理解了换元求解定积分的方法之后，我们一起来看一道例题来熟悉一下。这个例题还是经典的三角换元：
我们很容易想到我们可以令x = a sint，这样的话 dx = a cost dt。当x=0时，t=0，当x=a时，t= π/2，我们代入原式可以得到：
明白了原理之后，我们也可以将换元公式反过来用。也就是说当我们凑到 t = φ(x) 的情况时，也一样可以使用换元公式。
我们再来看一个例子：
我们很容易凑到 t = cosx时，dt = -sinx dx，当x=0时，t=1， 当x=π/2时，t=0。我们代入原式，可以得到：
分部积分法
不定积分的分部积分法是根据求导公式推导得出的，它在定积分当中同样适用，我们只需要稍作变形就可以推导出来：
我们把上面的式子可以简写成：
来看个例子：
我们令u = x, dv = cosx，那么v = sinx，我们代入就可以得到：
和不定积分一样，分部积分法和换元法可以结合使用，得到更强大的效果。我们来看个例子：
我们令 t=√x，于是 x= t^2，并且当x=0时，t=0，当x=1时，t=1。我们代入可得：
我们使用分部积分法，令u=t, dv = e^t，所以 v = e^t，代入可以得到：
