定理(费马引理) 设函数 f(x) 在点 x0 处可导,如果函数 f(x) 在点 x0 处取得极值,那么 .
f′(x0)=0
定理(罗尔定理) 如果 f(x) 满足以下条件:
(1) 在闭区间 [a,b] 上连续,
(2) 在开区间 (a,b) 内可导,
(3) f(a)=f(b),
则在 (a,b) 内至少存在一点 ξ,使得 f′(ξ)=0.
定理(拉格朗日中值定理) 如果 f(x) 满足以下条件:
(1) 在闭区间 [a,b] 上连续,
(2) 在开区间 (a,b) 内可导,
则在 (a,b) 内至少存在一点 ξ,使得
f(b)−f(a)=f′(ξ)(b−a).
推论 如果在 (a,b) 内恒有 f′(x)=0,则在 (a,b) 内 为常数.
定理(柯西中值定理) 如果 f(x),F(x) 满足以下条件:
(1) 在闭区间 [a,b] 上连续,
(2) 在开区间 (a,b) 内可导,且 F′(x) 在 (a,b) 内每一处均不为零,
则在 (a,b) 内至少存在一点 ξ,使得
F(b)−F(a)f(b)−f(a)=
如果 f(x) 在点 x0 有直至 n 阶的导数,则有
f(x)=f(x
常称 Rn(x)=o[(x−x0)n] 为皮亚诺型余项. 若 ,则得麦克劳林公式:
f(x)=f(0)+f′(0)x+
设函数 f(x) 在含有 x0 的开区间 (a,b) 内有直到 n+1 阶的导数,则当 时有
f(x)=f(x0
其中 Rn(x)=(n+1)!f,这里 介于 与 之间,称为拉格朗日型余项.
(1) ex=1+x+2!x.
(2) sinx=x−3!.
(3) cosx=1−2!x.
(4) ln(1+x)=x−2.
(5) (1+x).
(以上 θ 满足 θ∈(0,1))
相关例题
【例 17】 证明:1+xx<ln(1+x)<x (x>0).
证 【方法 1】 为了证明 ln(1+x)<x(x>0),令 f(x)=x−ln(1,则
f′(x)=1−1+x1>0(x
则 f(x) 在区间 [0,+∞) 上单调递增.
又 f(0)=0,则当 x>0 时,f(x)>0,故不等式 ln(1 得证.
为了证明 1+xx<ln(1+x)(x>0),令 ,则
g′(x)=ln(1+x)+1+x
则 g(x) 在区间 [0,+∞) 上单调递增.
又 g(0)=0,则当 x>0 时,g(x)>0,故不等式 得证.
ln(1+x)=ln(1+
则 1+xx<ξx<x,即 .
【例 21】 设 f(x) 在区间 [a,b] 上连续,在 (a,b) 上二阶可导,且 f(a)=,证明存在 ,使 .
证 由题设条件及罗尔定理知,存在 ξ1∈(a,c),ξ2∈(c,b),使
f′(ξ1)=0,f′(ξ
在区间 [ξ1,ξ2] 上对 f′(x) 用罗尔定理得,存在 ,使
f′′(ξ)=0.
【例 22】(1990,数一、二)设不恒为常数的函数 f(x) 在闭区间 [a,b] 上连续,在开区间 (a,b) 内可导,且 f(a)=f(b),证明在 内至少存在一点 ,使得 .
证 由 f(a)=f(b),知 ∃ c∈(a,b),使得 f.
而 f(x) 不恒为常数,故 f′(x) 不恒等于 0.
假设 f′(x)⩽0,x∈[a,b],则显然 f(x) 在 上单调递减,同 矛盾.
故在 [a,b] 内至少存在一点 ξ,使 f′(ξ)>0.
【例 23】 设 f(x) 在 [a,b] 上二阶可导,f(a)=f(b)=0,且存在 使 . 试证:,使得 .
证 ∃ ξ∈(a,c),使 c−af(c)−f,
∃ ξ1∈(c,b),使 b−c,
∃ η∈(ξ,ξ1),使 ,
故 ∃ ξ,η∈(a,b),使得 f′(ξ)<0,f.
【例 24】(2013,数三)设函数 f(x) 在 [0,+∞) 上可导,且 f(0)=0,x→+. 证明:
(1) 存在 a>0,使得 f(a)=1.
(2) 对 (1) 中的 a,存在 ξ∈(0,a),使得 f′(ξ)=.
证 (1) 由 x→+∞limf(x)=2 可知,存在 A>0,使
由题设可知 f(x) 在 [0,A] 上连续,又
0=f(0)<1<f(A).
由连续函数介值定理知,存在 a∈(0,A),使 f(a)=1.
(2) a1=a−0f(a)−f(0),由拉格朗日中值定理知,存在 ,使
a−0f(a)−f(0)=f′(ξ),
即 f′(ξ)=a1.
或者,要证 f′(ξ)=a1,只要证 f,因此,令 ,则
F(0)=f(0)=0,F(a)=f(a)−1=0,
即 F(x) 在区间 [0,a] 上满足罗尔定理条件,则存在 ξ∈(0,a),使
F′(ξ)=0,
即 f′(ξ)−a1=0.
心得笔记
中值定理证明题,要抓住 f(0)=0 这样的条件,用来构造函数值的差
f
(
x
)
F′(ξ)f′(ξ)
.
0
)
+
f′(x0)(x−
x0)+
2!1f′′(x0)(x−
x0)2+
⋯+
n!1f(n)(x0)(x−
x0)n+
o[(x−
x0)n],
x0=0
2!1f′′(0)x2+
⋯+
n!1f(n)(0)xn+
o(xn).
x∈(a,b)
)
+
f′(x0)(x−
x0)+
2!1f′′(x0)(x−
x0)2+
⋯+
n!1f(n)(x0)(x−
x0)n+
Rn(x),
(n+1)
(
ξ
)
(
x
−
x0)n+1
2
+
⋯+
n!xn+
(n+1)!eθxxn+1
x
3
+
⋯+
(−1)n−1(2n−1)!x2n−1+
(−1)n(2n+1)!cos(θx)x2n+1
2
+
⋯+
(−1)n(2n)!x2n+
(−1)n+1(2n+2)!cos(θx)x2n+2
x2
+
⋯+
(−1)n−1nxn+
(−1)n(n+1)(1+θx)n+1xn+1
α
=
1+
αx+
2!α(α−1)x2+
⋯+
n!α(α−1)⋯(α−n+1)xn+
(n+1)!α(α−1)⋯(α−n+1)(α−n)(1+
θx)α−n−1xn+1
+
x)(x⩾
0)
>
0),
+
x)<
x(x>
0)
g(x)=(1+x)ln(1+x)−x(x⩾0)
1+x
−
1=
ln(1+
x)>
0(x>
0),
1+xx
<
ln(1+
x)(x>
0)
x
)
−
ln
1
=ξ(1+x)−1=ξx (1<ξ<1+x),
1+xx<ln(1+x)<x
f(b)=
f(c) (a<
c<
b)
ξ∈(a,b) f′′(ξ)=0 2
)
=
0.
ξ∈(ξ1,ξ2)
f′(ξ)>0 ′
(
c
)
=
0
[
a
,
b
]
f(a)=f(b)
c
∈
(a,b)
∃ ξ,η∈(a,b) f′(ξ)<0,f′′(η)>0 (
a
)
=
f′(ξ)<
0
f(b)−f(c)
=
f′(ξ1)>
0
ξ1−ξ
f′(ξ1)−f′(ξ)
=
f′′(η)>
0
′′
(
η
)
>
0
∞
lim
f
(
x
)
=
2
a
1
ξ∈(0,a) ′
(
ξ
)
−
a1=
0
F(x)=f(x)−ax