中值定理中辅助函数的构造方法

中值定理中辅助函数的构造方法

1. 还原法

这种方法类似上面的采用微分方程的解题思路。但是存在一点微小的区别
，这里面主要采用将$y$与$y^{{}^{\prime }}$划在一起，变成$\frac{f^{\prime }(x)}{f(x)}$的形式，而正好$[\ln f(x){]}^{\prime }=\frac{f^{\prime }(x)}{f(x)}$

例一：设$f(x)$在$[0,1]$上二阶可导，且$f(0)=f(1)$，证明：存在$\xi \in (0,1)$，使得
$$f^{\prime \prime }(\xi )=\frac{2f^{\prime }(\xi )}{1-\xi }$$

分析：将$f^{\prime \prime }(\xi )=\frac{2f^{\prime }(\xi )}{1-\xi }$改写为$f^{\prime \prime }(x)=\frac{2f^{\prime }(x)}{1-x}$，进一步化为$\frac{f^{\prime \prime }(x)}{f^{\prime }(x)}+\frac{2}{x-1}=0$，还原为${\left[\ln f^{\prime }(x)\right]}^{\prime }+{\left[\ln (x-1{)}^2\right]}^{\prime }=0$，辅助函数构造为
$$\phi (x)=(x-1{)}^2{f}^{\prime }(x)$$

证明：令$\phi (x)=(x-1{)}^2{f}^{\prime }(x),\phi (1)=0$
因为$f(0)=f(1)$,所以由罗尔定理，存在$c\in (0,1)$，使得$f^{\prime }(c)=0$，于是$\phi (c)=0$
因为$\phi (c)=\phi (1)=0$，所以由罗尔定理，存在$\xi \in (c,1)\subset (0,1)$，使得${\phi }^{\prime }(\xi )=0$，于是
$$f^{\prime \prime }(\xi )=\frac{2f^{\prime }(\xi )}{1-\xi }$$

2. 分组构造法

其实这种方法也可以用微分方程来解决，但是因为这里面有一些是一阶非齐次的，所以解起来很麻烦，可以尝试这种方法，所谓分组构造法，就是将所证的结论进行适当的分组，则辅助函数构造如下：
1.若所证结论为$f^{\prime }(\xi )-f(\xi )+2\xi =2$，则辅助函数构造如下：
（1）将$f^{\prime }(\xi )-f(\xi )+2\xi =2$改写为$f^{\prime }(x)-f(x)+2x=2$
（2）将 f ′ ( x ) − f ( x ) + 2 x = 2 f^{\prime}(x)-f(x)+2 x=2