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

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

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^{\prime }(x)-f(x)+2x=2$分组为$[f(x)-2x{]}^{\prime }-[f(x)-2x]=0$
则辅助函数为$\phi (x)={\mathrm{e}}^{-x}[f(x)-2x]$

2.若所证结论为$f^{\prime \prime }(\xi )-f(\xi )=0$，则辅助函数构造如下：
（1）将$f^{\prime \prime }(\xi )-f(\xi )=0$改写为$f^{\prime \prime }(x)-f(x)=0$
（2）将$f^{\prime \prime }(x)-f(x)=0$分组为$f^{\prime \prime }(x)+f^{\prime }(x)-f^{\prime }(x)-f(x)=0$，即${\left[f^{\prime }(x)+f(x)\right]}^{\prime }-\left[f^{\prime }(x)+f(x)\right]=0$，辅助函数为
$$\phi (x)={\mathrm{e}}^{-x}\left[f^{\prime }(x)+f(x)\right]$$
同样，根据加减法的不同也可以构造为$\phi (x)={\mathrm{e}}^x\left[f^{\prime }(x)-f(x)\right]$

3. 若所证结论为$f^{\prime \prime }(\xi )+f^{\prime }(\xi )=2$，则辅助函数构造如下：
   （1）将$f^{\prime \prime }(\xi )+f^{\prime }(\xi )=2$改写为$f^{\prime \prime }(x)+f^{\prime }(x)=2$
   （2）将$f^{\prime \prime }(x)+f^{\prime }(x)=2$分组为${\left[f^{\prime }(x)-2\right]}^{\prime }+\left[f^{\prime }(x)-2\right]=0$
   则辅助函数为$\phi (x)={\mathrm{e}}^x\left[f^{\prime }(x)-2\right]$

例题一：设$f(x)\in C[a,b]$，则在$(a,b)$内二阶可导，$f(a)=f(b)=0,f^{\prime }+(a)f^{\prime }-(b)>0$
（1）证明：存在${\xi }_1,{\xi }_2\in (a,b)\left({\xi }_1<{\xi }_2\right)$，使得
$$f\left({\xi }_1\right)+f^{\prime }\left({\xi }_1\right)=0,f\left({\xi }_2\right)+f^{\prime }\left({\xi }_2\right)=0$$
（2）证明：存在${\eta }_1,{\eta }_2\in (a,b)\left({\eta }_1<{\eta }_2\right)$，使得
$$f^{\prime }\left({\eta }_1\right)-f\left({\eta }_1\right)=0,f^{\prime }\left({\eta }_2\right)-f\left({\eta }_2\right)=0$$
（3）证明：存在$\xi \in (a,b)$，使得$f^{\prime \prime }(\xi )=f(\xi )$
（4）证明：存在$\eta \in (a,b)$，使得$f^{\prime \prime }(\eta )-3f^{\prime }(\eta )+2f(\eta )=0$

证明：
（1）不妨设$f_{+}^{\prime }(a)>0,f_{-}^{\prime }(b)>0$,则存在$c_1\in (a,b),c_2\in (a,b)$，使得
$$f\left(c_1\right)>f(a)=0,f\left(c_2\right)<f(b)=0$$
令$\phi (x)={\mathrm{e}}^{x}f(x)$，因为$f(a)=f(c)=f(b)=0$，所以$\phi (a)=\phi (c)=\phi (b)=0$，由罗尔定理，存在存在${\xi }_1,{\xi }_2\in (a,b)\left({\xi }_1<{\xi }_2\right)$，使得${\phi }^{\prime }\left({\xi }_1\right)={\phi }^{\prime }\left({\xi }_2\right)=0$

（2）令$\phi (x)={\mathrm{e}}^{-x}f(x)$，因为$f(a)=f(c)=f(b)=0$，所以$\phi (a)=\phi (c)=\phi (b)=0$，由罗尔定理，存在${\eta }_1\in (a,c),{\eta }_2\in (c,b)$，使得${\phi }^{\prime }\left({\eta }_1\right)={\phi }^{\prime }\left({\eta }_2\right)=0$
而${\phi }^{\prime }(x)={\mathrm{e}}^{-x}\left[f^{\prime }(x)-f(x)\right]$且${\mathrm{e}}^{-x}\ne 0$，故$f^{\prime }\left({\eta }_1\right)-f\left({\eta }_1\right)=0,f^{\prime }\left({\eta }_2\right)-f\left({\eta }_2\right)=0$

（3）令$h(x)={\mathrm{e}}^{-x}\left[f^{\prime }(x)+f(x)\right]$，因为$h\left({\xi }_1\right)=h\left({\xi }_2\right)=0$，所以存在$\xi \in \left({\xi }_1,{\xi }_2\right)$，使得$h^{\prime }(\xi )=0$，而$h^{\prime }(x)={\mathrm{e}}^{-x}\left[f^{\prime \prime }(x)-f(x)\right]$且$e^{-x}\ne 0$，于是$f^{\prime \prime }(\xi )=f(\xi )$

（4）令$h(x)={\mathrm{e}}^{-2x}\left[f^{\prime }(x)-f(x)\right]$，因为$h\left({\eta }_1\right)=h\left({\eta }_2\right)=0$，所以由罗尔定理，存在$\eta \in \left({\eta }_1,{\eta }_2\right)\subset (a,b)$，使得$h^{\prime }(\eta )=0$
而$h^{\prime }(x)={\mathrm{e}}^{-2x}\left[f^{\prime \prime }(x)-3f^{\prime }(x)+2f(x)\right]$且${\mathrm{e}}^{-2x}\ne 0$，故$f^{\prime \prime }(\eta )-3f^{\prime }(\eta )+2f(\eta )=0$

3. 凑微分

所谓凑微分方法构造辅助函数，即先将结论中的$\xi$变成$x$,再去分母、移项。整理成$g(x)=0$,再找出${\phi }^{\prime }(x)=g(x)$，则$\phi (x)$即为辅助函数

例题一：设$f(x)，g(x)$在$[a,b]$上连续，在$(a,b)$上可导，$g(x)\ne 0,g^{\prime \prime }(x)\ne 0(a<x<b)$,且$f(a)=f(b)=g(a)=g(b)=0$，证明：存在$\xi \in (a,b)$，使得$\frac{f(\xi )}{g(\xi )}=\frac{f^{\prime \prime }(\xi )}{g^{\prime \prime }(\xi )}$

分析：将$\frac{f(\xi )}{g(\xi )}=\frac{f^{\prime \prime }(\xi )}{g^{\prime \prime }(\xi )}$改写为$\frac{f(x)}{g(x)}=\frac{f^{\prime \prime }(x)}{g^{\prime \prime }(x)}$，整理得$f(x)g^{\prime \prime }(x)-f^{\prime \prime }(x)g(x)=0$，还原得${\left[f(x)g^{\prime }(x)-f^{\prime }(x)g(x)\right]}^{\prime }=0$，辅助函数为$\phi (x)=f(x)g^{\prime }(x)-f^{\prime }(x)g(x)$

证明：令$\phi (x)=f(x)g^{\prime }(x)-f^{\prime }(x)g(x),\phi (a)=\phi (b)=0$
由罗尔定理，存在$\xi \in (a,b)$，使得${\phi }^{\prime }(\xi )=0$，而${\phi }^{\prime }(x)=f(x)g^{\prime \prime }(x)-f^{\prime \prime }(x)g(x)$且$g(x)\ne 0,g^{\prime \prime }(x)\ne 0(a<x<b)$，所以$\frac{f(\xi )}{g(\xi )}=\frac{f^{\prime \prime }(\xi )}{g^{\prime \prime }(\xi )}$