【高等数学】定积分1

本文还有第二部分，包含反常积分、反常积分审敛法

定积分的概念与性质

一、定积分的定义

设函数$f(x)$在$[a,b]$上有界，在$[a,b]$中任意插入若干个分点，把区间$[a,b]$分成$n$个小区间$a=x_0<x_1<x_2<\cdots <x_{n-1}<x_n=b$，各个小区间的长度依次为$\Delta x_1=x_1-x_0,\Delta x_2=x_2-x_1,\cdot ,\Delta x_n=x_n-x_{n-1}$；（区间分段）
在每个小区间$[x_{i-1},x_i]$上任取一点${\xi }_i(x_{i-1}<{\xi }_i<x_i)$，作函数值$f({\xi }_i)$与小区间长度$\Delta x_i$乘积$f({\xi }_i)\Delta x_i(i=1,2,\cdot ,n)$并作出和$S={\sum }_{i=1}^{n}f({\xi }_i)\Delta x_i$，记 λ = max ⁡ { Δ x 1 , Δ x 2 , ⋯   , Δ x n } \lambda=\max\{\Delta x_1,\Delta x_2,\cdots,\Delta x_n\} λ=max{Δx1​,Δx2​,⋯,Δxn​}（每一段再求和）
如果当$\lambda \to 0$，若极限${\lim }_{\lambda \to 0}{\sum }_{i=1}^{n}f({\xi }_i)\Delta x_i$存在，且此极限值既不依赖于区间$[a,b]$的分法，也不依赖于点${\xi }_i$的取法，则称$f(x)$在区间$[a,b]$上可积，并称此极限为$f(x)$在区间$[a,b]$上的定积分，记作${\int }_a^{b}f(x)dx$，即$${\int }_a^{b}f(x)dx=\underset{\lambda \to 0}{\lim }\sum _{t=1}^{n}f({\xi }_i)\Delta x_i$$其中$f(x)$叫做被积函数，$f(x)dx$叫做被积表达式，$x$叫做积分变量，$a$叫做积分下限，$b$叫做积分上限，$[a,b]$叫做积分区间（取极限）

二、定积分的几何意义

• 设${\int }_a^{b}f(x)dx$存在，若在$[a,b]$上$f(x)\ge 0$，则${\int }_a^{b}f(x)dx$的值等于以曲线$y=f(x),x=a,x=b$及$x$轴所围成的曲边梯形的面积
• 设${\int }_a^{b}f(x)dx$存在，若在$[a,b]$上$f(x)\le 0$，则${\int }_a^{b}f(x)dx$的值等于以曲线$y=f(x),x=a,x=b$及$x$轴所围成的曲边梯形的面积的负值
• 设${\int }_a^{b}f(x)dx$存在，若在$[a,b]$上$f(x)$的值有正有负，则${\int }_a^{b}f(x)dx$的值等于$x$轴上方的面积减去$x$轴下方的面积之差

三、定积分的定义求极限

如果积分${\int }_a^{b}f(x)dx$存在，则${\int }_a^{b}f(x)dx={\lim }_{\lambda \to 0}{\sum }_{i=1}^{n}f({\xi }_i)\Delta x_i$，且极限${\lim }_{\lambda \to 0}{\sum }_{i=1}^{n}f({\xi }_i)\Delta x_i$与${\xi }_i$的取法和区间$[a,b]$分法无关，因为如果积分${\int }_0^{1}f(x)dx$存在，就可以将其在$[0,1]$上$n$等分，此时$\Delta x_i=\frac{1}{n}$，取${\xi }_i=\frac{i}{n}$，有定积分的定义得$${\int }_0^{1}f(x)dx=\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i)\Delta x_i=\underset{\lambda \to 0}{\lim }\frac{1}{n}\sum _{i=1}^{n}f(\frac{i}{n})$$

一些个人理解
${\lim }_{\lambda \to 0}\frac{1}{n}{\sum }_{i=1}^{n}f(\frac{i}{n})$中$\frac{1}{n}$即对应${\int }_0^{1}f(x)dx$中的$dx$，同时将$1$整除$n$意味着将$1$分成$n$份，即积分区间为$[0,1]$，${\sum }_{i=1}^{n}f(\frac{i}{n})$对应$f(x)$

例1：求${\lim }_{n\to \infty }(\frac{1}{n^2}+\frac{2}{n^2}+\cdots +\frac{n}{n^2})$
$\begin{array}{rl}\underset{n\to \infty }{\lim }(\frac{1}{n^2}+\frac{2}{n^2}+\cdots +\frac{n}{n^2})& =\underset{n\to \infty }{\lim }\frac{1}{n}(\frac{1}{n}+\frac{2}{n}+\cdots +\frac{n}{n})\\ & =\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^n\frac{i}{n}\\ & ={\int }_0^{1}xdx=\frac{1}{2}{x}^2{|}_0^1\\ & =\frac{1}{2}\end{array}$
见到可能使用定积分的定义求极限的，先提一个$\frac{1}{n}$出来，后面留的只能有常数项以及$\frac{i}{n}$（由于$\frac{i}{n}$等价于自变量$x$，因此可以有系数、指数，可以在三角函数内等）

四、可积的充分条件

• 设函数$f(x)$在区间$[a,b]$上连续，则$f(x)$在$[a,b]$上可积
• 设函数$f(x)$在区间$[a,b]$上有界，且只有有限个间断点，则$f(x)$在$[a,b]$上可积（存在有界震荡间断点的函数可积）

五、定积分的性质

定理1：设$\alpha$与$\beta$均为常数，则${\int }_a^b[\alpha f(x)+\beta g(x)]dx=\alpha {\int }_a^{b}f(x)dx+\beta {\int }_a^{b}g(x)dx$
定理2：设$a<c<b$，则${\int }_a^{b}f(x)dx={\int }_a^{c}f(x)dx+{\int }_c^{b}f(x)dx$
定理3：如果在区间$[a,b]$上$f(x)\equiv 1$，那么${\int }_a^{b}1dx={\int }_a^{b}dx=b-a$
定理4：如果在区间$[a,b]$上$f(x)\ge 0$，那么${\int }_a^{b}f(x)dx\ge 0(a<b)$
推论1：如果在区间$[a,b]$上$f(x)\le g(x)$，那么${\int }_a^{b}f(x)dx\le {\int }_a^{b}g(x)dx(a<b)$
即证${\int }_a^{b}g(x)dx-{\int }_a^{b}f(x)dx\ge 0$
由性质1得
${\int }_a^{b}g(x)dx-{\int }_a^{b}f(x)dx={\int }_a^b[g(x)-f(x)]dx$
$\because$在区间$[a,b]$上，$g(x)-f(x)\ge 0$
由性质4得
${\int }_a^b[g(x)-f(x)]dx\ge 0$
故${\int }_a^{b}f(x)dx\le {\int }_a^{b}g(x)dx(a<b)$
推论2：$|{\int }_a^{b}f(x)dx|\le {\int }_a^b|f(x)|dx(a<b)$
$\because -|f(x)|\le |f(x)\le |f(x)|$
由推论1知
$\begin{array}{rl}-& {\int }_a^b|f(x)|dx\le {\int }_a^{b}f(x)dx\le {\int }_a^b|f(x)|dx\\ & |{\int }_a^{b}f(x)dx|\le |{\int }_a^b|f(x)|dx|\text{（两头的式子加绝对值后相等构成该不等式后项）}\\ & {\int }_a^{b}f(x)dx\le {\int }_a^b|f(x)|dx\end{array}$
估值定理：设$M$和$m$分别是函数$f(x)$在区间$[a,b]$上的最大值及最小值，则$m(b-a)\le {\int }_a^{b}f(x)dx\le M(b-a)(a<b)$
$\because f(x)$在$[a,b]$上，有最大值$M$，最小值$m$
故，$m\le f(x)\le M$
由推论1知，${\int }_a^{b}mdx\le {\int }_a^{b}f(x)dx{\le }_a^{b}Mdx$
由性质1和3得，$m(b-a)\le {\int }_a^{b}f(x)dx\le M(b-a)$
定积分中值定理：如果函数$f(x)$在积分区间$[a,b]$上连续，那么在$[a,b]$上至少存在一个点$\xi$，使下式成立：${\int }_a^{b}f(x)dx=f(\xi )(b-a)(a\le \xi \le b)$
由估值定理得
$\begin{array}{c}m(b-a)\le {\int }_a^{b}f(x)dx\le M(b-a)\\ m\le \frac{{\int }_a^{b}f(x)dx}{b-a}\le M\end{array}$
由介值定理得，存在一点$\xi \in [a,b]$，使得$f(\xi )=\frac{{\int }_a^{b}f(x)dx}{b-a}$
即${\int }_a^{b}f(x)dx=f(\xi )(b-a)(a\le \xi \le b)$

微积分的基本公式

一、积分上限函数及其导数

1. 定义

设函数$f(x)$在区间$[a,b]$上连续，且$x$为$[a,b]$上可以任意移动的一点，我们称$\Phi (x)={\int }_a^{x}f(t)dt$为变上限积分

2. 性质

• 如果函数f(x)在区间$[a,b]$上连续，那么积分上限的函数$\Phi (x)={\int }_a^{x}f(t)dt$在$[a,b]$上可导，并且它的导数${\Phi }^{\prime }(x)=\frac{d}{dx}{\int }_a^{x}f(t)dt=f(x)(a\le x\le b)$
• 如果函数$f(x)$在区间$[a,b]$上连续，那么函数$\Phi (x)={\int }_a^{x}f(t)dt$就是$f(x)$在区间$[a,b]$上的一个原函数

二、牛顿-莱布尼茨公式

微积分基本定理：如果函数$F(x)$是连续函数$f(x)$在区间$[a,b]$上的一个原函数，那么${\int }_a^{b}f(x)dx=F(b)-F(a)$，该公式叫做牛顿-莱布尼茨公式，也叫作微积分基本公式
例1：设$f(x)$在$[0,+\infty )$内连续且$f(x)>0$，证明函数$F(x)=\frac{{\int }_a^{x}tf(t)dt}{{\int }_a^{b}f(t)dt}$在$(0,+\infty )$内为单调增加函数
$\frac{d{\int }_0^{x}tf(t)dt}{dx}=xf(x)$
$\frac{d{\int }_0^{x}f(t)dt}{dx}=f(x)$
$\begin{array}{rl}{F}^{\prime }(x)& =\frac{xf(x){\int }_0^{x}f(t)dt-f(x){\int }_0^{x}tf(t)dt}{[{\int }_0^{x}f(t)dt{]}^2}\\ & =\frac{f(x){\int }_0^{x}xf(t)dt-f(x){\int }_0^{x}tf(t)dt}{[{\int }_0^{x}f(t)dt{]}^2}\\ & \text{（对于}{\int }_0^{x}f(t)dt\text{是对}t\text{积分，}x\text{是常数，可以直接移到里面}{\int }_0^{x}xf(t)dt\text{）}\\ & =\frac{f(x)[{\int }_0^x(x-t)f(t)dt]}{[{\int }_0^{x}f(t)dt{]}^2}\end{array}$
其中
$[{\int }_0^{x}f(t)dt{]}^2>0$
$f(x)>0$
${\int }_0^x(x-t)f(t)dt$的积分区间${\int }_0^x$上限大于下限，因此$>0$；被积函数$(x-t)f(t)>0(0\le t\le x)$。因此${\int }_0^x(x-t)f(t)dt>0$
故$\frac{f(x)[{\int }_0^x(x-t)f(t)dt]}{[{\int }_0^{x}f(t)dt{]}^2}>0$，即$F^{\prime }(x)>0$
证毕

上下限含有关于x的函数的积分的导数

$\begin{array}{rl}& [{\int }_a^{f(x)}F(t)dt{]}^{\prime }=F(f(x))\cdot f^{\prime }(x)\\ & [{\int }_{g(x)}^{b}F(t)dt{]}^{\prime }=[-{\int }_b^{g(x)}F(t)dt{]}^{\prime }=-F(g(x))\cdot g^{\prime }(x)\\ & [{\int }_{g(x)}^{f(x)}F(t)dt{]}^{\prime }=[{\int }_{g(x)}^{a}F(t)dt+{\int }_a^{f(x)}F(t)dt{]}^{\prime }=F(f(x))\cdot f^{\prime }(x)-F(g(x))\cdot g^{\prime }(x)\end{array}$
例2：计算${\lim }_{x\to 0}\frac{{\int }_{\cos x}^1{e}^{-t^2}dt}{x^2}$
$\begin{array}{rl}\underset{x\to 0}{\lim }\frac{{\int }_{\cos x}^1{e}^{-t^2}dt}{x^2}& =\underset{x\to 0}{\lim }\frac{-e^{-{\cos }^{2}x}\cdot (\cos x{)}^{\prime }}{2x}\\ & =\underset{x\to 0}{\lim }\frac{\sin x\cdot e^{-{\cos }^{2}x}}{2x}\\ & =\frac{1}{2}\underset{x\to 0}{\lim }{e}^{-{\cos }^{2}x}\\ & =\frac{1}{2}{e}^{-1}\end{array}$

定积分的换元法和分部积分法

一、定积分的换元法

假设函数$f(x)$在区间$[a,b]$上连续，函数$x=\varphi (t)$满足条件

• $\varphi (\alpha )=a,\varphi (\beta )=b$
• $\varphi (t)$在$[\alpha ,\beta ]$，且其值域$R_{\varphi }=[a,b]$
  则有${\int }_a^{b}f(x)dx={\int }_{\alpha }^{\beta }f[\varphi (t)]{\varphi }^{\prime }(t)dt$，即为定积分的换元公式

例1：计算${\int }_0^a\sqrt{a^2-x^2}dx(a>0)$
令$x=a\sin t,dx=a\cos tdt$（注意$dx$也要换成$dt$）
当$x=0$时，$t=0$，当$x=a$时，$t=\frac{\pi }{2}$
$\begin{array}{rl}{\int }_0^a\sqrt{a^2-x^2}dx& ={\int }_0^{\frac{\pi }{2}}{a}^2{\cos }^{2}tdt\\ & =a^2{\int }_0^{\frac{\pi }{2}}\frac{1+\cos 2t}{2}dt\\ & =\frac{a^2}{2}(t+\frac{1}{2}\sin 2t){|}_0^{\frac{\pi }{2}}\\ & =\frac{\pi }{4}{a}^2\end{array}$
例2：计算${\int }_0^{\pi }\sqrt{{\sin }^{3}x-{\sin }^{5}x}dx$
$\begin{array}{rl}{\int }_0^{\pi }\sqrt{{\sin }^{3}x-{\sin }^{5}x}dx& ={\int }_0^{\pi }\sqrt{{\sin }^{3}x{\cos }^{2}x}dx\\ & ={\int }_0^{\pi }{\sin }^{\frac{3}{2}}x\cdot |\cos x|dx\\ & \text{（由于积分区间在}0\text{到}\pi \text{，对于}|\cos x|\text{函数不同，因此要拆成两个区间，要求每个区间内}|\cos x|\text{对应函数相同）}\\ & ={\int }_0^{\frac{\pi }{2}}{\sin }^{\frac{3}{2}}x\cos xdx+{\int }_{\frac{\pi }{2}}^{\pi }{\sin }^{\frac{3}{2}}x(-\cos x)dx\\ & =\frac{2}{5}{\sin }^{\frac{5}{2}}x{|}_0^{\frac{\pi }{2}}-\frac{2}{5}{\sin }^{\frac{5}{2}}x{|}_{\frac{\pi }{2}}^{\pi }\\ & =\frac{4}{5}\end{array}$

1. 奇偶函数对称区间的定积分结论

• 若$f(x)$在$[-a,a]$上连续且为偶函数，则${\int }_{-a}^{a}f(x)dx=2{\int }_0^{a}f(x)dx$
• 若$f(x)$在$[-a,a]$上连续且为奇函数，则${\int }_{-a}^{a}f(x)dx=0$

偶函数的证明：
$\begin{array}{r}{\int }_{-a}^{a}f(x)dx={\int }_{-a}^{0}f(x)dx+{\int }_0^{a}f(x)dx\end{array}$
其中
$\begin{array}{rl}{\int }_{-a}^{0}f(x)dx\stackrel{t=-x}{\underset{dx=-dt}{=}}& {\int }_a^{0}f(-t)d(-t)={\int }_0^{a}f(t)dt\stackrel{x=t}{=}{\int }_0^{a}f(x)dx\end{array}$
因此$\begin{array}{r}{\int }_{-a}^{a}f(x)dx=2{\int }_0^{a}f(x)dx\end{array}$
证毕
奇函数的证明：
$\begin{array}{r}{\int }_{-a}^{a}f(x)dx={\int }_{-a}^{0}f(x)dx+{\int }_0^{a}f(x)dx\end{array}$
其中
$\begin{array}{rl}{\int }_{-a}^{0}f(x)dx\stackrel{t=-x}{\underset{dx=-dt}{=}}& {\int }_a^{0}f(-t)d(-t)=-{\int }_0^{a}f(t)dt\stackrel{x=t}{=}-{\int }_0^{a}f(x)dx\end{array}$
因此$\begin{array}{r}{\int }_{-a}^{a}f(x)dx=0\end{array}$
证毕

2. 三角函数的定积分结论

设$f(x)$在$[0,1]$上连续

• ${\int }_0^{\frac{\pi }{2}}f(\sin x)dx={\int }_0^{\frac{\pi }{2}}f(\cos x)dx$
• ${\int }_0^{\pi }xf(\sin x)dx=\frac{\pi }{2}{\int }_0^{\pi }f(\sin x)dx$
  一般只用于只有$\sin$和$\cos$的函数中

区间再现公式

即当令$t=$积分上限$+$积分下限$-$对谁的微分，换元后的积分区间与原积分区间相同
$\begin{array}{rl}{\int }_a^{b}f(x)dx\stackrel{\text{令}t=a+b-x}{\underset{dx=-dt}{=}}& {\int }_b^{a}f(a+b-t)(-dt)\\ =& {\int }_a^{b}f(a+b-t)dt\\ \stackrel{t=x}{=}& {\int }_a^{b}f(a+b-x)dt\end{array}$
证明1：
令$x=\frac{\pi }{2}-t,dx=-dt$
$\begin{array}{r}{\int }_0^{\frac{\pi }{2}}f(\sin x)dx={\int }_{\frac{\pi }{2}}^{0}f[\sin (\frac{\pi }{2}-t)](-dt)={\int }_0^{\frac{\pi }{2}}f(\cos t)dt\stackrel{t=x}{=}{\int }_0^{\frac{\pi }{2}}f(\cos x)dx\end{array}$
证毕
证明2：
$\begin{array}{rl}{\int }_0^{\pi }xf(\sin x)dx\stackrel{\text{令}t=\pi -x}{\underset{dt=-dx}{=}}& -{\int }_{\pi }^0(\pi -t)f(\sin (\pi -t))dt\\ =& {\int }_0^{\pi }(\pi -t)f(\sin t)dt\\ =& \pi {\int }_0^{\pi }f(\sin t)dt-{\int }_0^{\pi }tf(\sin t)dt\\ \stackrel{t=x}{=}& \pi {\int }_0^{\pi }f(\sin x)dx-{\int }_0^{\pi }xf(\sin x)dx\end{array}$
故${\int }_0^{\pi }xf(\sin x)dx=\frac{\pi }{2}{\int }_0^{\pi }f(\sin x)dx$
证毕
例3：求${\int }_0^{\pi }\frac{x\sin x}{1+{\cos }^{2}x}dx$
$\begin{array}{rl}{\int }_0^{\pi }\frac{x\sin x}{1+{\cos }^{2}x}dx& =\frac{\pi }{2}{\int }_0^{\pi }\frac{\sin x}{1+{\cos }^{2}x}dx\\ & =-\frac{\pi }{2}{\int }_0^{\pi }\frac{d(\cos x)}{1+{\cos }^{2}x}\\ & =-\frac{\pi }{2}\arctan (\cos x){|}_0^{\pi }\\ & =\frac{{\pi }^2}{4}\end{array}$

3. 周期函数的定积分结论

设$f(x)$为连续的周期函数，周期为$T$

• ${\int }_a^{a+T}f(x)dx={\int }_0^{T}f(x)dx$
• ${\int }_a^{a+nT}f(x)dx=n{\int }_0^{T}f(x)dx(n\in N)$

证明1：
法1
将${\int }_a^{a+T}f(x)dx,{\int }_0^{T}f(x)dx$看做是关于$a$的函数，二者相等，即函数为常数，导数为$0$
设$F(a)={\int }_a^{a+T}f(x)dx={\int }_a^{0}f(x)dx+{\int }_0^{a+T}f(x)dx$
$F^{\prime }(a)=-f(a)+f(a+T)=0$
故$F(a)\equiv C$
故$F(a)=F(0)$
即${\int }_a^{a+T}f(x)dx={\int }_0^{T}f(x)dx$
证毕
法2
从原积分区间拆出结果的积分区间，剩余部分和为$0$
${\int }_a^{a+T}f(x)dx={\int }_a^{0}f(x)dx+{\int }_0^{T}f(x)dx+{\int }_T^{a+T}f(x)dx$
${\int }_T^{a+T}f(x)dx\stackrel{\text{令}x-T=t}{\underset{dx=dt}{=}}{\int }_0^{a}f(t+T)dt={\int }_a^{a}f(t)dt\stackrel{t=x}{=}{\int }_0^{a}f(x)dx$
故${\int }_a^{a+T}f(x)dx={\int }_0^{T}f(x)dx$
证毕
证明2：
$\begin{array}{r}{\int }_a^{a+nT}f(x)dx={\int }_a^{a+T}f(x)dx+{\int }_{a+T}^{a+2T}f(x)dx+\cdots +{\int }_{a+(n-1)T}^{a+nT}f(x)dx=\sum _{i=0}^{n-1}{\int }_{a+kT}^{a+(k+1)T}f(x)dx\end{array}$
故由$\begin{array}{r}{\int }_a^{a+T}f(x)dx={\int }_0^{T}f(x)dx\end{array}$可知，$\begin{array}{r}{\int }_{a+kT}^{a+(k+1)T}f(x)dx={\int }_0^{T}f(x)dx\end{array}$
故${\int }_a^{a+nT}f(x)dx=n{\int }_0^{T}f(x)dx$
证毕
例4：求${\int }_0^{n\pi }\sqrt{1+2\sin 2x}dx$
$\begin{array}{rl}{\int }_0^{n\pi }\sqrt{1+2\sin 2x}dx& =n{\int }_0^{\pi }\sqrt{1+\sin 2x}dx\\ & =n{\int }_0^{\pi }\sqrt{(\sin x+\cos x{)}^2}dx\\ & =\sqrt{2}n{\int }_0^{\pi }\sqrt{[\sin (x+\frac{\pi }{4}){]}^2}dx\\ & =\sqrt{2}n{\int }_0^{\pi }|\sin (x+\frac{\pi }{4}{)}^2|dx\\ & \stackrel{x+\frac{\pi }{4}=t}{=}\sqrt{2}n{\int }_{\frac{\pi }{4}}^{\frac{5}{4}\pi }|\sin t|dt\\ & =\sqrt{2}n{\int }_0^{\pi }\sin xdx\\ & =2\sqrt{2}n\end{array}$
例5：求${\int }_0^3\frac{x^2}{(x^2-3x+3{)}^2}dx$
一般见到分式，分子或分母都有未知数，且至少其中一个有$(ax+b{)}^c(c\text{为正整数或}\frac{1}{2})$一般需要三角换元；对于根式还可能整体换元
$\begin{array}{rl}{\int }_0^3\frac{x^2}{(x^2-3x+3{)}^2}dx& ={\int }_0^3\frac{x^2}{[(x-\frac{3}{2}{)}^2+(\frac{\sqrt{3}}{2}{)}^2{]}^2}dx\\ & \text{令}x-\frac{3}{2}=\frac{\sqrt{3}}{2}\tan u,dx=\frac{\sqrt{3}}{2}{\sec }^{2}udu\\ & ={\int }_{-\frac{\pi }{3}}^{\frac{\pi }{3}}\frac{(\frac{3}{2}+\frac{\sqrt{3}}{2}\tan u{)}^2}{[(\frac{3}{4}{)}^2{\sec }^{2}u{]}^2}\frac{\sqrt{3}}{2}{\sec }^{2}udu\\ & =\frac{8}{9}\sqrt{3}{\int }_{-\frac{\pi }{3}}^{\frac{\pi }{3}}(\underset{\text{偶函数}}{\underbrace{\frac{3}{4}{\tan }^{2}u{\cos }^{2}u}}+\underset{\text{奇函数}}{\underbrace{\frac{\sqrt{3}}{2}\tan u{\cos }^{2}u}}+\underset{\text{偶函数}}{\underbrace{\frac{9}{4}{\cos }^{2}u}})du\\ & =\frac{4}{3}\sqrt{3}{\int }_0^{\frac{\pi }{3}}({\sin }^{2}u+3{\cos }^{2}u)du\\ & =\frac{4}{3}\sqrt{3}{\int }_0^{\frac{\pi }{3}}(2+\cos 2u)du\\ & =\frac{4}{3}\sqrt{3}(2u+\frac{1}{2}\sin 2u){|}_0^{\frac{\pi }{3}}\\ & =\frac{8\pi }{3\sqrt{3}}+1\end{array}$

二、定积分的分部积分法

依据不定积分的分部积分法，可得$${\int }_a^{b}u(x)v^{\prime }(x)dx=[u(x)v(x){]}_a^b-{\int }_a^{b}v(x)u^{\prime }(x)dx$$简记作$${\int }_a^{b}u{v}^{\prime }dx=[uv{]}_a^b-{\int }_a^{b}v{u}^{\prime }dx或{\int }_a^{b}udv=[uv{]}_a^b-{\int }_a^{b}vdu$$

华里式公式（点火公式）

$\begin{array}{r}{I}_n={\int }_0^{\frac{\pi }{2}}{\sin }^{n}xdx={\int }_0^{\frac{\pi }{2}}{\cos }^{n}xdx=\{\begin{array}{l}\frac{n-1}{n}\cdot \frac{n-3}{n-2}\cdots \frac{3}{4}\cdot \frac{1}{2}\cdot \frac{\pi }{2},n\text{为偶数}\\ \frac{n-1}{n}\cdot \frac{n-3}{n-2}\cdots \frac{4}{5}\cdot \frac{2}{3},n\text{为大于}1\text{奇数}\end{array}\end{array}$
证明：
$\begin{array}{rl}{I}_n& ={\int }_0^{\frac{\pi }{2}}{\sin }^{n}xdx\\ & =-{\int }_0^{\frac{\pi }{2}}{\sin }^{n-1}xdxd\cos x\\ & =-{\sin }^{n-1}x\cdot \cos x{|}_0^{\frac{\pi }{2}}+{\int }_0^{\frac{\pi }{2}}\cos xd{\sin }^{n-1}x\\ & =0+(n-1){\int }_0^{\frac{\pi }{2}}{\cos }^{2}x{\sin }^{n-2}xdx\\ & =(n-1){\int }_0^{\frac{\pi }{2}}{\sin }^{n-2}xdx-(n-1){\int }_0^{\frac{\pi }{2}}{\sin }^{n}xdx\\ & =(n-1)I_{n-2}-(n-1)I_n\end{array}$
$\begin{array}{rl}& \\ I_n& =(n-1)I_{n-2}-(n-1)I_n\\ n{I}_n& =(n-1)I_{n-2}\Rightarrow I_n=\frac{n-1}{n}{I}_{n-2}\\ I_{n-2}& =\frac{n-3}{n-2}{I}_{n-4}\\ & \text{推广}\\ I_{2m}& =\frac{2m-1}{2m}\cdot \frac{2m-3}{2m-2}\cdots \frac{5}{6}\frac{3}{4}\frac{1}{2}\cdot I_0\\ I_{2m+1}& =\frac{2m}{2m+1}\cdot \frac{2m-2}{2m-1}\cdots \frac{4}{5}\frac{2}{3}\cdot I_1\\ I_0& ={\int }_0^{\frac{\pi }{2}}{\sin }^{0}x=\frac{\pi }{2},I_1={\frac{\pi }{2}}_0\sin xdx=1\end{array}$
代入$I_{2m},I_{2m-1}$即可得到原式
证毕

和差化积公式

$\{\begin{array}{rl}\sin \alpha +\sin \beta & =2\sin \frac{\alpha +\beta }{2}\cos \frac{\alpha -\beta }{2}\\ \sin \alpha -\sin \beta & =2\cos \frac{\alpha +\beta }{2}\sin \frac{\alpha -\beta }{2}\\ \cos \alpha +\cos \beta & =2\cos \frac{\alpha +\beta }{2}\cos \frac{\alpha -\beta }{2}\\ \cos \alpha -\cos \beta & =-2\sin \frac{\alpha +\beta }{2}\sin \frac{\alpha -\beta }{2}\end{array}$
例6：求${\int }_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\cos x\cos 2xdx$
$\begin{array}{rl}{\int }_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\cos x\cos 2xdx& =\frac{1}{2}{\int }_{-\frac{\pi }{2}}^{\frac{\pi }{2}}(\cos 3x+\cos x)dx\\ & =\frac{1}{2}(\frac{1}{3}\sin 3x+\sin x){|}_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\\ & =\frac{2}{3}\end{array}$