构造辅助函数法在微积分证明中的运用

1、构造辅助函数法在微积分证明中的运用1、 原函数法其实是一种逆向思维的方法，在结合微分中值定理求解介值定理（或者零点）问题时，要证明的结论往往是一个函数的导函数的零点，这时可通过不定积分反求出原函数构造出辅助函数，这个证明的步骤：1.将结论通过恒等变换，化为容易积分的函数形式，在结论积分不是很复杂的情况下一般常用的变换方法是移项将等式一端变换为常数0；2.用替换变换后等式中的变量；3.用观察法或者凑微分法求出原函数，则原函数即为所要构造的辅助函数。4.最后结合微分中值定理，推导出结论来。例1 设函数在上可导，试证明存在，使得。证明：将要证的结论变形为,则根据积分构造辅助函数。可知函数满足罗尔定理

2、的条件，即,所以，存在，使得。可知结论得证。本例题按照归纳的证明步骤，将结论通过恒等变换，移项将等式一端变换为常数0，然后用替换变换后等式中的变量,再求出原函数，即函数，则完成了辅助函数的构造，最后运用罗尔得出结论。例2在连续，可导，则存在，使。证明（证明一）：将要证的结论变形得，将等式中的记为，即，然后积分得，得到辅助函数，显然在上连续，在内可导，又因为，满足罗尔定理，所以存在，使得，故。例2证明中在构造辅助函数时用了一个技巧，即将积分后的原函数的常数，独立出来移项到一端，则利用常数在区间上的性质，然后运用罗尔定理推导出结论。如果严格按照归纳的步骤来做依然能够得出结论，如下例2证明（证明二）

3、：将要证明的等式中的记为，然后积分得，得到辅助函数，可知，。故由罗尔定理可得。通过例2的两个证明我们可以看出，构造函数法是一个发散性思维很强的方法，可以从不同的角度来考虑辅助函数的构造。存在多种构造函数的思路，并且构造函数的形式多种多样，但是我们从中要把握住核心的思路：观察要证明的结论，并进行一定的变换，得出原函数即为构造函数，让这个构造函数能够满足微分中值定理的条件，进而利用中值定理得出要证明的结论。例3设在上二阶可导，且，求证存在，使。证明：设辅助函数，因为在上二阶可导，则在上连续且在内可导，而满足罗尔定理,则存在内，使。在内，又，则可知满足罗尔定理，所以存在，使得，又，所以，即得：。这个

4、构造的辅助函数依然按照根据要证结论的等式进行变换，则可知，两边积分可得，得，这样我们就找出了所需要构造的辅助函数。2、 微分方程通解法在命题中经常会遇到这样的形式，函数在区间上连续，在内可导，且满足一定的条件，求证存在一点，使得。在处理这一类的问题时，可以先解微分方程，得到通解，则可构造出辅助函数为，这种处理的方法就是微分方程通解法。例1设函数在区间上连续，在内可导，且，。若。证明：对任意的实数，存在点使得。证明：将结论中的换成，得到可分离变量的微分方程：，即，可知道其通解为，即为，则设辅助函数为，则在上连续，在内可导，且。则由罗尔定理可知，至少存在一点，使，则有。可见微分方程通解法，在证明结论形式为的命题时，将换成，再令，得到微分方程，如果能够解得其通解为，则可构造辅助函数。例2设函数在上连续，在内可导，且，求证：存在点使得。证明：将结论中的换成，得到一阶线形微分方程（一阶线性微分方程的通解见附录A），解得，于是设辅助函数为，由题意可知在上连续，在内可导，且，则由罗尔定理可知，至少存在一点，使，即。此例题的结论形式是，则将，得出微分方程形式为