AM@微积分基本定理@微积分第二基本定理
abstract
- 微积分第一基本定理告诉我们,总是能够通过积分法构造(表达)一个连续函数的原函数
- 结合同一个函数的原函数之间仅差一个常数的性质,引出微积分基本定理(也称第二基本定理)和Newton-Leibniz公式
微积分第二基本定理
-
如果 F ( x ) F(x) F(x)是连续函数 f ( x ) f(x) f(x)在区间 [ a , b ] [a,b] [a,b],上的一个原函数,则: ∫ a b f ( x ) d x = F ( b ) − F ( a ) \int_{a}^{b}f(x)\mathrm{d}{x}=F(b)-F(a) ∫abf(x)dx=F(b)−F(a)
(0)
-
证明:
-
根据原函数存在定理: G ( x ) = ∫ a x f ( t ) d t G(x)=\int_{a}^{x}f(t)\mathrm{d}t G(x)=∫axf(t)dt,是连续函数 f ( x ) f(x) f(x)的一个原函数
-
两个原函数之差 F ( x ) − G ( x ) F(x)-G(x) F(x)−G(x)在 [ a , b ] [a,b] [a,b]上必定是某个常数C
-
F
(
x
)
−
G
(
x
)
=
C
(
a
∈
[
a
,
b
]
)
F(x)-G(x)=C(a\in[a,b])
F(x)−G(x)=C(a∈[a,b]),即
G
(
x
)
=
F
(
x
)
+
C
G(x)=F(x)+C
G(x)=F(x)+C
(1)
-
G
(
b
)
−
G
(
a
)
=
[
F
(
b
)
+
C
]
−
[
F
(
a
)
+
C
]
G(b)-G(a)=[F(b)+C]-[F(a)+C]
G(b)−G(a)=[F(b)+C]−[F(a)+C]=
F
(
b
)
−
F
(
a
)
F(b)-F(a)
F(b)−F(a)
(1-1)
-
F
(
x
)
−
G
(
x
)
=
C
(
a
∈
[
a
,
b
]
)
F(x)-G(x)=C(a\in[a,b])
F(x)−G(x)=C(a∈[a,b]),即
G
(
x
)
=
F
(
x
)
+
C
G(x)=F(x)+C
G(x)=F(x)+C
-
G ( b ) = ∫ a b f ( x ) d x G(b)=\int_{a}^{b}f(x)\mathrm{d}x G(b)=∫abf(x)dx
(2)
; G ( a ) = 0 G(a)=0 G(a)=0(2-1)
-
两式相减: G ( b ) − G ( a ) G(b)-G(a) G(b)−G(a)= ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx
(2-2)
,等号左右代入(1-1),得 F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)= ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx(3)
,即定理(公式(0))成立
-
-
本定理揭示了定积分与被积函数的"原函数或不定积分"之间的联系(不定积分的结果为原函数)
-
更一般的.当 a > b a>b a>b,定理也成立
微积分基本公式
- 公式(0)称为Newton-Leibniz公式,也叫微积分基本公式
- 利用本公式可以大大简化定积分的计算手续
公式书写
- 记: ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= F ( x ) ∣ a b \left.F(x)\right|_{a}^{b} F(x)∣ab= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)或 [ F ( x ) ] a b [F(x)]_{a}^{b} [F(x)]ab= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a);
- 第2种写法用得较少,但当遇到 F ( x ) F(x) F(x)本身以绝对值结尾的,可以提供方便,不易混淆
例
- ∫ 0 1 x 2 d x \int_{0}^{1}x^2\mathrm{d}x ∫01x2dx= 1 3 x 3 ∣ 0 1 \frac{1}{3}x^3|_{0}^{1} 31x3∣01= 1 3 \frac{1}{3} 31
- ∫ − 2 − 1 1 x d x \int_{-2}^{-1}\frac{1}{x}\mathrm{d}x ∫−2−1x1dx= [ ln ∣ x ∣ ] − 2 − 1 [\ln|x|]_{-2}^{-1} [ln∣x∣]−2−1= ln 1 − ln 2 = 0 − ln 2 \ln1-\ln{2}=0-\ln{2} ln1−ln2=0−ln2= ln 2 \ln{2} ln2
结合不定积分的方法求定积分
定积分换元法
-
设函数 f ( x ) f(x) f(x)在区间 [ a , b ] [a,b] [a,b]上连续,函数 x = ϕ ( t ) x=\phi(t) x=ϕ(t)满足
-
ϕ
(
α
)
=
a
\phi(\alpha)=a
ϕ(α)=a,
ϕ
(
β
)
=
b
\phi(\beta)=b
ϕ(β)=b
(0)
-
ϕ
(
t
)
\phi(t)
ϕ(t)在
[
α
,
β
]
[\alpha,\beta]
[α,β](或
[
β
,
α
]
[\beta,\alpha]
[β,α])上中具有连续导函数,且其值域
R
ϕ
R_{\phi}
Rϕ=
[
a
,
b
]
[a,b]
[a,b]
- 以 t ∈ [ α , β ] t\in[\alpha,\beta] t∈[α,β].为例, t ∈ [ α , β ] t\in[\alpha,\beta] t∈[α,β]时, x = ϕ ( t ) ∈ [ a , b ] x=\phi(t)\in[a,b] x=ϕ(t)∈[a,b]
-
ϕ
(
α
)
=
a
\phi(\alpha)=a
ϕ(α)=a,
ϕ
(
β
)
=
b
\phi(\beta)=b
ϕ(β)=b
-
则: ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= ∫ a β f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int_{a}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t ∫aβf(ϕ(t))ϕ′(t)dt
(1)
,该公式为定积分换元公式- 当 R ϕ R_{\phi} Rϕ超出了 [ a , b ] [a,b] [a,b], ϕ ( t ) \phi(t) ϕ(t)满足其他条件时,只要 f ( x ) f(x) f(x)在 R ϕ R_{\phi} Rϕ上连续,定理结论仍然成立
- 通过方程组(0)解出 α , β \alpha,\beta α,β大小可能 α < β \alpha<\beta α<β,也可能时 α > β \alpha>\beta α>β,这不影响结果,只要保证 a a a对应的 α \alpha α作为积分下限, b b b对应的 β \beta β作为积分上限,就能保证结果正确
-
回顾不定积分的二类换元法积分公式:
- 通过变量代换 u = ϕ ( x ) u=\phi(x) u=ϕ(x), ∫ f ( ϕ ( x ) ) ϕ ′ ( x ) d x \int{f(\phi(x))\phi'(x)}\mathrm{d}x ∫f(ϕ(x))ϕ′(x)dx= ∫ f ( u ) d u \int{f(u)\mathrm{d{u}}} ∫f(u)du,
- 通过变量代换 x = ϕ ( t ) x=\phi(t) x=ϕ(t),则 ∫ f ( x ) d x \int{f(x)\mathrm{d}x} ∫f(x)dx= ∫ f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int{f(\phi(t))}\phi'(t)\mathrm{d}t ∫f(ϕ(t))ϕ′(t)dt
证明
- 由假设得,
f
(
x
)
f(x)
f(x),
g
(
t
)
=
f
(
ϕ
(
t
)
)
ϕ
′
(
t
)
g(t)=f(\phi(t))\phi'(t)
g(t)=f(ϕ(t))ϕ′(t)
(1-1)
都连续的,由**连续函数原函数存在定理,**这两个函数的定积分和原函数都存在,(1)式两边都可以用微积分基本公式- 设
F
(
x
)
F(x)
F(x)是
f
(
x
)
f(x)
f(x)的一个原函数(即
F
′
(
x
)
=
f
(
x
)
F'(x)=f(x)
F′(x)=f(x)),由微分积分基本公式,
∫
a
b
f
(
x
)
d
x
\int_{a}^{b}f(x)\mathrm{d}x
∫abf(x)dx=
F
(
b
)
−
F
(
a
)
F(b)-F(a)
F(b)−F(a)
(2)
- 设 G ( t ) G(t) G(t)是 g ( t ) g(t) g(t)的一个原函数,则 ∫ a β g ( t ) d t \int_{a}^{\beta}g(t)\mathrm{d}t ∫aβg(t)dt= G ( β ) − G ( α ) G(\beta)-G(\alpha) G(β)−G(α)
- 欲证明(1),即证明 F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)= G ( β ) − G ( α ) G(\beta)-G(\alpha) G(β)−G(α)
- 记复合函数:
Φ
(
t
)
=
F
(
ϕ
(
t
)
)
\Phi(t)=F(\phi(t))
Φ(t)=F(ϕ(t))
(3)
即 Φ ( t ) \Phi(t) Φ(t)是 F ( x ) F(x) F(x)关于 t t t的表示法 F ( x ) ∣ x = ϕ ( t ) F(x)|_{x=\phi(t)} F(x)∣x=ϕ(t), - 由复合函数求导法:
Φ
′
(
t
)
\Phi'(t)
Φ′(t)=
F
′
(
ϕ
(
t
)
)
ϕ
′
(
t
)
F'(\phi(t))\phi'(t)
F′(ϕ(t))ϕ′(t)=
f
(
ϕ
(
t
)
)
ϕ
′
(
t
)
f(\phi(t))\phi'(t)
f(ϕ(t))ϕ′(t)=
g
(
t
)
g(t)
g(t),可见,
Φ
(
t
)
\Phi(t)
Φ(t)是
g
(
t
)
g(t)
g(t)的一个原函数,由微积分基本公式,有
∫
α
β
g
(
t
)
d
t
\int_{\alpha}^{\beta}g(t)\mathrm{d}t
∫αβg(t)dt=
Φ
(
β
)
−
Φ
(
α
)
\Phi(\beta)-\Phi(\alpha)
Φ(β)−Φ(α)
(4)
- 设
F
(
x
)
F(x)
F(x)是
f
(
x
)
f(x)
f(x)的一个原函数(即
F
′
(
x
)
=
f
(
x
)
F'(x)=f(x)
F′(x)=f(x)),由微分积分基本公式,
∫
a
b
f
(
x
)
d
x
\int_{a}^{b}f(x)\mathrm{d}x
∫abf(x)dx=
F
(
b
)
−
F
(
a
)
F(b)-F(a)
F(b)−F(a)
- 又由(1-1),(3),(0)
-
∫
α
β
f
(
ϕ
(
t
)
)
ϕ
′
(
t
)
d
t
\int_{\alpha}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t
∫αβf(ϕ(t))ϕ′(t)dt=
F
(
ϕ
(
β
)
)
−
F
(
ϕ
(
α
)
)
F(\phi(\beta))-F(\phi(\alpha))
F(ϕ(β))−F(ϕ(α))=
F
(
b
)
−
F
(
a
)
F(b)-F(a)
F(b)−F(a)
(5)
-
∫
α
β
f
(
ϕ
(
t
)
)
ϕ
′
(
t
)
d
t
\int_{\alpha}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t
∫αβf(ϕ(t))ϕ′(t)dt=
F
(
ϕ
(
β
)
)
−
F
(
ϕ
(
α
)
)
F(\phi(\beta))-F(\phi(\alpha))
F(ϕ(β))−F(ϕ(α))=
F
(
b
)
−
F
(
a
)
F(b)-F(a)
F(b)−F(a)
- 由(2),(5): ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)= ∫ α β f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int_{\alpha}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t ∫αβf(ϕ(t))ϕ′(t)dt,这就是公式(1),公式成立
定积分换元公式逆用
-
∫
a
b
f
(
ϕ
(
x
)
)
ϕ
′
(
x
)
d
x
\int_{a}^{b}f(\phi(x))\phi'(x)\mathrm{d}x
∫abf(ϕ(x))ϕ′(x)dx=
∫
α
β
f
(
t
)
d
t
\int_{\alpha}^{\beta}f(t)\mathrm{d}t
∫αβf(t)dt
(6)
- 通过 t = ϕ ( x ) t=\phi(x) t=ϕ(x)引入新变量 t t t,而 ϕ ( a ) = α \phi(a)=\alpha ϕ(a)=α, ϕ ( b ) = β \phi(b)=\beta ϕ(b)=β
例
-
∫ 0 a a 2 − x 2 d x \int_{0}^{a}\sqrt{a^2-x^2}\mathrm{d}x ∫0aa2−x2dx, ( a > 0 ) (a>0) (a>0)
- 方法1:不定积分公式法, ∫ 0 a a 2 − x 2 d x \int_{0}^{a}\sqrt{a^2-x^2}\mathrm{d}x ∫0aa2−x2dx= 1 2 ( a 2 arcsin x a + x a 2 − x 2 ) ∣ 0 a \frac{1}{2}(a^2\arcsin{\frac{x}{a}}+x\sqrt{a^2-x^2})|_{0}^{a} 21(a2arcsinax+xa2−x2)∣0a= 1 2 a 2 arcsin 1 \frac{1}{2}a^2\arcsin{1} 21a2arcsin1= a 2 π 4 \frac{a^2\pi}{4} 4a2π
- 方法2:不定积分换元法:令
x
=
a
sin
t
x=a\sin{t}
x=asint,则
d
x
=
a
cos
t
d
t
\mathrm{d}x=a\cos{t}\mathrm{d}t
dx=acostdt
- 积分限转化: x = 0 x=0 x=0时, t = 0 t=0 t=0; x = a x=a x=a时, t = π 2 t=\frac{\pi}{2} t=2π
- ∫ 0 a a 2 − x 2 d x \int_{0}^{a}\sqrt{a^2-x^2}\mathrm{d}x ∫0aa2−x2dx= a 2 ∫ 0 π 2 cos 2 t d t a^2\int_{0}^{\frac{\pi}{2}}{\cos^2{t}\mathrm{d}t} a2∫02πcos2tdt= a 2 2 ∫ 0 π 2 ( 1 + cos 2 t ) d t \frac{a^2}{2}\int_{0}^{\frac{\pi}{2}}(1+\cos{2t})\mathrm{d}t 2a2∫02π(1+cos2t)dt= a 2 2 [ t + 1 2 sin 2 t ] 0 π 2 \frac{a^2}{2}[t+\frac{1}{2}\sin{2t}]_{0}^{\frac{\pi}{2}} 2a2[t+21sin2t]02π= π a 2 4 \frac{\pi{a^2}}{4} 4πa2
-
∫ 0 π 2 cos 5 x sin x d x \int_{0}^{\frac{\pi}{2}}{\cos^{5}x}\sin{x}\mathrm{d}x ∫02πcos5xsinxdx
- 方法1: ∫ 0 π 2 cos 5 x sin x d x \int_{0}^{\frac{\pi}{2}}{\cos^{5}x}\sin{x}\mathrm{d}x ∫02πcos5xsinxdx= − ∫ 0 5 cos 5 x d ( cos x ) -\int_{0}^{5}\cos^{5}x\mathrm{d}(\cos{x}) −∫05cos5xd(cosx)= − 1 6 cos 6 x ∣ 0 π 2 -\frac{1}{6}\cos^{6}x|_{0}^{\frac{\pi}{2}} −61cos6x∣02π= 1 6 \frac{1}{6} 61
- 方法:使用公式6
- 令 t = cos x t=\cos{x} t=cosx,则 d t \mathrm{d}t dt= − sin x d x -\sin{x}\mathrm{d}x −sinxdx, sin x d x = − d t \sin{x}{\mathrm{d}x}=-\mathrm{d}t sinxdx=−dt且 x = 0 x=0 x=0, t = 1 t=1 t=1;当 x = π 2 x=\frac{\pi}{2} x=2π, t = 0 t=0 t=0
- ∫ 0 π 2 cos 5 x sin x d x \int_{0}^{\frac{\pi}{2}}{\cos^{5}x}\sin{x}\mathrm{d}x ∫02πcos5xsinxdx= − ∫ 1 0 t 5 d t -\int_{1}^{0}t^5\mathrm{d}t −∫10t5dt= ∫ 0 1 t 5 d t \int_{0}^{1}t^5\mathrm{d}t ∫01t5dt= t 6 6 ∣ 0 1 \frac{t^6}{6}|_{0}^{1} 6t6∣01= 1 6 \frac{1}{6} 61
-
设 f ( x ) f(x) f(x)在[0,1]上连续,则 ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}{x} ∫02πf(sinx)dx= ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx
- 方法1:
- ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx= ∫ 0 π 2 f ( sin ( π 2 − x ) ) d x \int_{0}^{\frac{\pi}{2}}f(\sin(\frac{\pi}{2}-x))\mathrm{d}{x} ∫02πf(sin(2π−x))dx= − ∫ 0 π 2 f ( sin ( π 2 − x ) ) d ( π 2 − x ) -\int_{0}^{\frac{\pi}{2}}f(\sin(\frac{\pi}{2}-x))\mathrm{d}{(\frac{\pi}{2}-x)} −∫02πf(sin(2π−x))d(2π−x)
- 令 t = π 2 − x t=\frac{\pi}{2}-x t=2π−x,当 x = 0 x=0 x=0时, t = π 2 t=\frac{\pi}{2} t=2π; x = π 2 x=\frac{\pi}{2} x=2π时, t = 0 t=0 t=0
- ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx= − ∫ π 2 0 f ( sin t ) d t -\int_{\frac{\pi}{2}}^{0}f(\sin{t})\mathrm{d}{t} −∫2π0f(sint)dt= ∫ 0 π 2 f ( sin t ) d t \int_{0}^{\frac{\pi}{2}}{f(\sin{t})}\mathrm{d}t ∫02πf(sint)dt= ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}{x} ∫02πf(sinx)dx,等式得证
- 方法2:
- 令 x = π 2 − t x=\frac{\pi}{2}-t x=2π−t,则 d x \mathrm{d}x dx= − d t -\mathrm{d}t −dt,且 x = 0 x=0 x=0时 t = π 2 t=\frac{\pi}{2} t=2π,当 x = π 2 x=\frac{\pi}{2} x=2π时, t = 0 t=0 t=0于是 ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}x ∫02πf(sinx)dx= − ∫ π 2 0 f ( sin ( π 2 − t ) ) d t -\int_{\frac{\pi}{2}}^{0}f(\sin(\frac{\pi}{2}-t))\mathrm{d}t −∫2π0f(sin(2π−t))dt= ∫ 0 π 2 f ( cos t ) d t \int_{0}^{\frac{\pi}{2}}f(\cos{t})\mathrm{d}t ∫02πf(cost)dt= ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx
- 方法1:
和不定积分第二类换元法的差别
- 用 x = ϕ ( t ) x=\phi(t) x=ϕ(t)把原来变量 x x x代换成新变量 t t t时,积分限也要换成新变量 t t t的积分限
- 求出 f ( ϕ ( t ) ) ϕ ′ ( t ) f(\phi(t))\phi'(t) f(ϕ(t))ϕ′(t)的一个原函数 Φ ( t ) \Phi(t) Φ(t)后,不再需要像不定积分那样将 Φ ( t ) \Phi(t) Φ(t)变换回原来的变量 x x x的函数(不要求反函数存在),只需要将 t t t的上下限 ( α , β ) (\alpha,\beta) (α,β)分别代入 Φ ( t ) \Phi(t) Φ(t)作差即可
定积分分部积分法
- ∫ a b u ( x ) v ′ ( x ) d x \int_{a}^{b}u(x)v'(x)\mathrm{d}x ∫abu(x)v′(x)dx= [ ∫ u ( x ) v ′ ( x ) d x ] a b [\int u(x)v'(x)\mathrm{d}x]_{a}^{b} [∫u(x)v′(x)dx]ab= [ u ( x ) v ( x ) − ∫ v ( x ) u ′ ( x ) d x ] a b [u(x)v(x)-\int{v(x)}{u'(x)}\mathrm{d}x]_{a}^{b} [u(x)v(x)−∫v(x)u′(x)dx]ab= [ u ( x ) v ( x ) ] a b − ∫ a b v ( x ) u ′ ( x ) d x [u(x)v(x)]_{a}^{b}-\int_{a}^{b}{v(x)}{u'(x)}\mathrm{d}x [u(x)v(x)]ab−∫abv(x)u′(x)dx
- 简记为 ∫ a b u v ′ d x \int_{a}^{b}uv'\mathrm{d}x ∫abuv′dx= [ u v ] a b − ∫ a b v u ′ d x [uv]_{a}^{b}-\int_{a}^{b}{vu'\mathrm{d}x} [uv]ab−∫abvu′dx或 ∫ a b u d v \int_{a}^{b}u\mathrm{d}v ∫abudv= [ u v ] a b − ∫ a b v d u [uv]_{a}^{b}-\int_{a}^{b}v\mathrm{d}u [uv]ab−∫abvdu
- 公式表明,原函数已经积出的部分可以先用上下限代入,尽快简化算式
例
- 求证:
I
n
I_n
In=
∫
0
π
2
sin
n
x
d
x
\int_{0}^{\frac{\pi}{2}}\sin^{n}x\mathrm{d}{x}
∫02πsinnxdx=
∫
0
π
2
cos
n
x
d
x
\int_{0}^{\frac{\pi}{2}}\cos^{n}x\mathrm{d}x
∫02πcosnxdx
- = n − 1 n ⋅ n − 3 n − 2 ⋯ 3 4 1 2 π 2 \frac{n-1}{n}\cdot\frac{n-3}{n-2}\cdots\frac{3}{4}\frac{1}{2}\frac{\pi}{2} nn−1⋅n−2n−3⋯43212π, n n n为偶数
- = n − 1 n n − 3 n − 2 ⋯ 4 5 2 3 \frac{n-1}{n}\frac{n-3}{n-2}\cdots\frac{4}{5}\frac{2}{3} nn−1n−2n−3⋯5432, n n n为大于1的正奇数
- 证明:
-
I
n
I_n
In=
∫
0
π
2
sin
n
x
d
x
\int_{0}^{\frac{\pi}{2}}\sin^{n}x\mathrm{d}{x}
∫02πsinnxdx=
−
∫
0
π
2
sin
n
−
1
x
d
(
cos
x
)
-\int_{0}^{\frac{\pi}{2}}\sin^{n-1}x\mathrm{d}{(\cos{x})}
−∫02πsinn−1xd(cosx)
- 由分部积分公式:
I
n
I_n
In=
[
−
cos
sin
n
−
1
x
]
0
π
2
[-\cos\sin^{n-1}x]_{0}^{\frac{\pi}{2}}
[−cossinn−1x]02π+
∫
0
π
2
cos
x
d
(
sin
n
−
1
x
)
\int_{0}^{\frac{\pi}{2}}\cos{x}\mathrm{d}{(\sin^{n-1}x)}
∫02πcosxd(sinn−1x)=
0
+
(
n
−
1
)
∫
0
π
2
cos
2
x
(
sin
n
−
2
x
)
d
x
0+(n-1)\int_{0}^{\frac{\pi}{2}}\cos^2{x}{(\sin^{n-2}x)}\mathrm{d}x
0+(n−1)∫02πcos2x(sinn−2x)dx
- = ( n − 1 ) ∫ 0 π 2 ( 1 − sin 2 x ) sin n − 2 x d x (n-1)\int_{0}^{\frac{\pi}{2}}(1-\sin^2{x}){\sin^{n-2}x}\mathrm{d}x (n−1)∫02π(1−sin2x)sinn−2xdx
- = ( n − 1 ) ∫ 0 π 2 ( sin n − 2 x ) d x (n-1)\int_{0}^{\frac{\pi}{2}}{(\sin^{n-2}x)}\mathrm{d}x (n−1)∫02π(sinn−2x)dx- ( n − 1 ) ∫ 0 π 2 sin n x d x (n-1)\int_{0}^{\frac{\pi}{2}}{\sin^{n}x}\mathrm{d}x (n−1)∫02πsinnxdx
- =
(
n
−
1
)
I
n
−
2
−
(
n
−
1
)
I
n
(n-1)I_{n-2}-(n-1)I_n
(n−1)In−2−(n−1)In
(0)
- 移项:
n
I
n
=
(
n
−
1
)
I
n
−
2
nI_n=(n-1)I_{n-2}
nIn=(n−1)In−2,从而
I
n
=
n
−
1
n
I
n
−
2
I_n=\frac{n-1}{n}I_{n-2}
In=nn−1In−2
(1)
- 式(2)称为 I n I_n In关于 n n n的递推公式
- 由分部积分公式:
I
n
I_n
In=
[
−
cos
sin
n
−
1
x
]
0
π
2
[-\cos\sin^{n-1}x]_{0}^{\frac{\pi}{2}}
[−cossinn−1x]02π+
∫
0
π
2
cos
x
d
(
sin
n
−
1
x
)
\int_{0}^{\frac{\pi}{2}}\cos{x}\mathrm{d}{(\sin^{n-1}x)}
∫02πcosxd(sinn−1x)=
0
+
(
n
−
1
)
∫
0
π
2
cos
2
x
(
sin
n
−
2
x
)
d
x
0+(n-1)\int_{0}^{\frac{\pi}{2}}\cos^2{x}{(\sin^{n-2}x)}\mathrm{d}x
0+(n−1)∫02πcos2x(sinn−2x)dx
- 将
n
n
n替换为
n
−
2
n-2
n−2,则由(1)得
I
n
−
2
=
n
−
3
n
−
2
I
n
−
4
I_{n-2}=\frac{n-3}{n-2}I_{n-4}
In−2=n−2n−3In−4,
⋯
\cdots
⋯
- 类似的递推下去,知道
I
n
I_{n}
In下标递减至0或1为止:
- n = 2 n=2 n=2时,最终为 I 2 = 1 2 I 0 I_{2}=\frac{1}{2}I_0 I2=21I0,
- n = 3 n=3 n=3时,最终为 I 3 = 2 3 I 1 I_3=\frac{2}{3}I_{1} I3=32I1
-
I
0
=
∫
0
π
2
d
x
I_{0}=\int_{0}^{\frac{\pi}{2}}\mathrm{d}x
I0=∫02πdx=
π
2
\frac{\pi}{2}
2π;
I
1
=
∫
0
π
2
sin
x
d
x
I_1=\int_{0}^{\frac{\pi}{2}}\sin{x}\mathrm{d}x
I1=∫02πsinxdx=1
(3)
- 类似的递推下去,知道
I
n
I_{n}
In下标递减至0或1为止:
- 所以,由(1)
-
I
2
m
I_{2m}
I2m=
2
m
−
1
2
m
2
m
−
3
2
m
−
2
⋯
3
4
1
2
I
0
\frac{2m-1}{2m}\frac{2m-3}{2m-2}\cdots\frac{3}{4}\frac{1}{2}I_0
2m2m−12m−22m−3⋯4321I0
(4-1)
-
I
2
m
+
1
I_{2m+1}
I2m+1=
2
m
2
m
+
1
2
m
−
2
2
m
−
1
⋯
4
5
2
3
I
1
\frac{2m}{2m+1}\frac{2m-2}{2m-1}\cdots\frac{4}{5}\frac{2}{3}I_1
2m+12m2m−12m−2⋯5432I1
(4-2)
- 代入等式组(3),结合 ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}{x} ∫02πf(sinx)dx= ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx,即欲证结论得证
-
I
2
m
I_{2m}
I2m=
2
m
−
1
2
m
2
m
−
3
2
m
−
2
⋯
3
4
1
2
I
0
\frac{2m-1}{2m}\frac{2m-3}{2m-2}\cdots\frac{3}{4}\frac{1}{2}I_0
2m2m−12m−22m−3⋯4321I0
-
I
n
I_n
In=
∫
0
π
2
sin
n
x
d
x
\int_{0}^{\frac{\pi}{2}}\sin^{n}x\mathrm{d}{x}
∫02πsinnxdx=
−
∫
0
π
2
sin
n
−
1
x
d
(
cos
x
)
-\int_{0}^{\frac{\pi}{2}}\sin^{n-1}x\mathrm{d}{(\cos{x})}
−∫02πsinn−1xd(cosx)
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 分享4款.NET开源、免费、实用的商城系统
· 全程不用写代码,我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了,比商业数据库还牛
· 记一次.NET内存居高不下排查解决与启示
· 白话解读 Dapr 1.15:你的「微服务管家」又秀新绝活了
2022-10-29 PT_数字特征_矩协方差相关系数
2022-10-29 PT@数字特征@数学期望@方差@标准差
2022-10-29 android_adb pm和adb am@启动Activity@杀死app进程@冻结或卸载系统更新和应用商店
2021-10-29 windows terminal使用指南/窗格布局指令/参考文档/指令快捷键配置