You are on page 1of 2

中值问题证明之辅助函数技巧

【例一】设 k 为正数,函数 f ( x ) 在区间 [0,1) 上连续,在区间 (0,1) 内可导,且

有 xlim f ( x ) = +∞ ,试证明存在 ξ ∈(0,1) ,使 ξ f ′(ξ ) = k .


→1−0

【例 二 】设函数 f ( x ) 在闭区间 [ a, b] 上连续,在开区间 ( a, b) 内可导,且有


f ( a ) = f (b) = 0 ,试证明存在 ξ ∈(a, b) ,使 ξ f ′(ξ ) + f (ξ ) = 0 .
【分析】这一道题大家都会做,容易看出只要作辅助函数 ϕ( x ) = xf ( x ) 就可以了
因为这里刚好有 ϕ′( x ) = xf ′( x ) + f ( x ) ,原结论实际上也就是 ϕ′(ξ ) = 0 .
只要对 ϕ( x ) 在区间 [ a, b] 上使用罗尔定理就可以了,以下所有问题,我们也都
只作分析,在建立辅助函数后,接下去的证明过程请同学们自己给出.
根据原函数的概念,我们知道辅助函数 ϕ( x ) 就是 xf ′( x ) + f ( x ) 的原函数.所
以我们就将这种方法称为“原函数辅助函数法”.
我们知道求原函数的问题是与不定积分问题或微分方程的求解问题密切相关的.
现在对【例二】稍加变化再做深入讨论.
【例 三 】设函数 f ( x ) 在闭区间 [ a, b] 上连续,在开区间 ( a, b) 内可导,且有
f ( a ) = f (b) = 0 ,试证明存在 ξ ∈(a, b) ,使 ξ f ′(ξ ) + 3 f (ξ ) = 0 .
【分析】这里的难度在于要找到一个函数 ϕ( x ) ,使 ϕ′( x ) = xf ′( x ) + 3 f ( x ) ,
f ′(ξ ) 3
这是不可能的,但是假如我们把结论变形为 + = 0 ,这样就很容易地看出
f (ξ ) ξ
f ′( x ) 3
[ln f ( x ) + 3 ln x ]′ = + .
f ( x) x
这 就 提 示 我 们 : 在 辅 助 函 数 g ( x) = ln f ( x) + 3 ln x 下 , 原 目 标
ξ f ′(ξ ) + 3 f (ξ ) = 0 可改变:为新目标 g ′(ξ ) = 0 .
但是由于无法排除 f ( x ) ≤ 0 及 x ≤ 0 的可能性,所以上述辅助函数 g (x ) 可能没

有 意 义 . 为 了 避 开 这 种 可 能 性 , 我 们 可 设 ϕ( x ) = e g ( x ) 即 取 辅 助 函 数 为

ϕ( x ) = x 3 f ( x) ,这样,一切就 OK 了.
这里我们发现,假如把已知函数 f ( x ) 看作是未知函数,把 xf ′( x ) + 3 f ( x ) = 0
看作微分方程,那么其通解 f ( x ) =Cx −3 是很容易求出来的.只要再把通解中的常数
C “孤立”出来,即改写成 x 3 f ( x ) = C 的形式,这样我们找到了所要寻找的辅助函数
ϕ( x ) = x 3 f ( x) .
【证明】从略.
【例 四 】设函数 f ( x ) 在闭区间 [ a, b] 上连续,在开区间 ( a, b) 内可导,且有
f ( a ) = f (b) = 0 ,试证明存在 ξ ∈(a, b) ,使 f ′(ξ ) − 3ξ f (ξ ) = 0 .
3
【分析】很容易得到微分方程 f ′( x) − 3 x f ( x ) = 0 的通解为 f ( x) = Ce 2 x ,“孤
2

3 2
立 ” 出常数 C ,即改写成 e − 2 x f ( x) = C 的形式,这样也就得到了辅助函数的形式

3 2
− x
g ( x) = e 2
f ( x) .
【证明】从略.
【例 五 】设函数 f ( x ) 在闭区间 [ a, b] 上连续,在开区间 ( a, b) 内可导,且有
f (a ) = a , f (b) = b ,试证明存在 ξ ∈( a, b) ,使 f ′(ξ) + ξ f (ξ) =1 +ξ 2 .
【分析】微分方程 f ′( x) + x f ( x ) =1 + x 2 是一个一阶线性微分方程,很容易得到
1 2 1 2
它的通解为 f ( x ) = x + Ce − 2 x ,即 e 2
x
[ f ( x) − x ] = C ,这样也就得到了辅助函数
1 2
x
的形式 g ( x) = e 2
[ f ( x) − x ] .
【证明】从略.
1 2
【再次提请注意】一定要把通解 f ( x ) = x + Ce − 2 x 中的常数 C “孤立”出来,即

1 2
x
改写成 e 2
[ f ( x) − x ] = C 的形式,才能得到正确的辅助函数形式.
【例六】设函数 f ( x ) 在闭区间 [− 1,1] 上连续,在开区间 (−1,1) 内可导,且有
f ( −1) =1 , f (1) =−1 试 证 明 存 在 ξ ∈(−1,1) , 使
[ξ + f (ξ )] f ′(ξ ) = ξ − f (ξ ) .
【分析】容易明白方程 [ x + f ( x)] f ′( x ) = x − f ( x) 等价于全微分方程
( x − y )dx − ( x + y )dy = 0 ,
从而求得通解为 x − 2 xy − y 2 = C ,这样也就得到了辅助函数的形式
2

g ( x) = x 2 − 2 xf ( x) − f 2 ( x ) .
【证明】从略.
现在再回过头来研究【 例 一 】辅助函数的构造方法,容易得到微分方程

x f ( x) = k 的通解为 f ( x) = k ln x − ln C ,“孤立出”常数 C ,得 C = x k e − f ( x ) .

这就启发我们可以考虑作辅助函数 g ( x) = x k e − f ( x ) ,但是在使用罗尔定理时,

不满足 g ( x) 在 [0,1] 上连续的条件,然而我们可以注意到有 xlim g ( x) = 0 ,所以


→1−0

我们可以最后确定出【例一】的辅助函数为

x k e − f ( x ) , 0 ≤ x < 1,
ϕ( x ) = 
 0, x = 1.

【注】如果我们得到通解的形式为 f ( x ) = k ln x + ln C 或 f ( x ) = k ln x + C ,那
么,最后还得进行初等变形处理得到同一结果.
●最后提醒 ● 在具体写出证明过程时,除了把辅助函数搬过来外,分析过程中其
他的话(求微分方程通解,孤立任意常数等)一律不能搬过来.