微分中值定理辅助函数类型的构造技巧.doc

辅助函数的几种特殊用法

在高等数学中，证明一些中值等式的题目也是比较困难的。因为一般我们要花大量的时间去找一个恰当的辅助函数，如果我们能熟悉一些特殊类型题目的辅助函数的构造及相关定理的运用，这样就会为我们解题提供方便，从而节约大量的时间。为此我们需要牢记以下几种常见题型中辅助函数的特殊用法。

(1)若题目中出现等式“”时，一般可以考虑作辅助函数.
例:设函数在上可微，且证明：，，使得
分析:要证，即证，也就是证函数的零点.注意到，因此，只要检验函数是否满足罗尔中值定理条件，但这是明显的.
证明:构造辅助函数，，
则在上满足罗尔定理条件，故，使得，
而
，
则
，
即
.
(2)若题目结论中出现等式“”时，可考虑作副主函数，.
例:设函数在上连续，在内可微.证明：，使得：
.
证明:i）若作辅助函数，，，均满足柯西中值定理条件
所以使得
，
即
.
ii）若，由i）可类似得证.
iii）若，，取，即证.
(3)若题目结论中出现“”时，可以考虑作辅助函数，.
例:设函数在上连续，在内可微.证明：
使得,
证明:因为
,
考虑作辅助函数，，显然与在上满足柯西中值
定理条件，所以必，
使得

即

证毕.
(4)若命题结论中出现式“”时，可考虑作辅助函数，.
例:设函数在上连续，在内可导，证明：必有，使得.
分析:我们熟悉，因此作辅助函数，，且知，在给定区间内均满足柯西中值定理条件，故有，即得证.
(5)若题目中出现式“”时，可考虑作辅助函数，.
例:设函数在上连续，在内可导，则存在使得
证明:由我们熟悉的，考虑作辅助函数，且在给定的区间内均满足柯西中值定理条件，
于是
，
使得
，
即
，
证毕.

(6)若命题结论中出现等式“”的关系时，可考虑的辅助函数为
例:设在上连续，，在内可导，且，证明：使得.
证明:设，显然在上连续，
而
在在内存在，
且
，
故在上满足罗尔中值定理条件，
于是
必使得
，
所以
，而，所以.

证毕.

（7)若题目中出现等式“”，的关系时，则往往考虑构造辅助函数，因为经过一次求导为，再次求导后，即.
例:设在上连续，在内二阶可导，且，证明：，使得
证明:设辅助函数则，
因为在上连续，在内可导，
且
，
所以由罗尔中值定理知：
必使，
而
，
即
.
证毕.

(8)若题目中出现等式“的关系时，则需构造辅助函数，因为经过一次求导后为，再次求导后得到
例:设在上连续，在内可导，且，，试证：必使得
证明：设，得，
显然在上连续，在内可导，
则
，
故满足罗尔中值定理条件，因此
必使得，
而
，
即
证毕.

(9)若题目结论中出现等式“”，的关系时，则可考虑构造辅助函数
例：设在上连续，在内可导，且证明：使得.
证明：作辅助函数，显然在上连续，在内可导，且
，
故满足罗尔中值定理条件，因此，
必使得，
而
，
由于，
故
.
证毕.

(10)若题目出现等式“”的关系时，则需两次构造辅助函数，第一次构造，第二次构造.
例:设设在上可导，在内二阶可导，，，试证：，使得
证明：因为，所以与同号，设，
即
，所以使得，
，所以，使得
又因为在上可导，故在上连续，即在上连续,
而
，
所以由介值定理（或零点定理），
使得
再看，由题目结论，构造辅助函数
因为
，
所以
，
故
，使得
，使得
因为
，
由
，
可得

令，
所以有
，
即
，
又因为在上连续可导，
所以
，使得，
即
，
而，故
.
证毕.

涉及罗尔定理证明中值等式的命题
罗尔定理:如果函数在闭区间上连续，在开区间内可导，且在区间端点的函数值相等，即.那么在区间内至少有一点，使得在该点的导数等于零，.

题型一：
设函数在上连续，在内可导，且，证明对任何实数，至少存在一点使成立.
分析：首先从结论看起，欲证，即证，即.而要就促使我们想到去构造辅助函数的思路，即构造的函数应该满足在上连续，在内可导，，，如果这样的话，但是在点和点处都没有定义，所以不满足,从而不是我们所需要的辅助函数，但是注意到指数函数的特点，当对数运算和指数运算相互抵消后得到的新函数的定义域可能会扩大，从而可能成为我们找的辅助函数.若令，则满足以及罗尔定理的其他条件，所以，由罗尔定理得知：至少使得，而，所以，而，所以只能，即成立，由此就是我们所需构造的辅助函数.
注意：在分析题目时，如果我们从不同的角度看它就可能会构造不同的辅助函数，也就是说，对于解决同一个题目，所构造的辅助函数可能是不唯一的.

例:设为上的连续奇函数，且在内可导，又，证明：对任何实数，都存在使得.
证法一:由题型一的结论可作辅助函数，则在上连续，
又因为

在内存在，且
，（），
所以它满足罗尔定理条件，
故必，使得，即.
证毕.

证法二:若设，则在上连续，
且

在内存在，
又因为
，，所以它满足罗尔定