📝 题目
例 19 设 $f\left( x\right)$ 在 $\left\lbrack {0,1}\right\rbrack$ 上可微,且 $0 < {f}^{\prime }\left( x\right) < 1(\forall x \in$
$\left( {0,1}\right) ),f\left( 0\right) = 0$ . 求证:
$$ {\left( {\int }_{0}^{1}f\left( x\right) \mathrm{d}x\right) }^{2} > {\int }_{0}^{1}{f}^{3}\left( x\right) \mathrm{d}x. \tag{3.29} $$
💡 答案与解析
证法 1 问题就是要证明
$$ \frac{{\left( {\int }_{0}^{1}f\left( x\right) \mathrm{d}x\right) }^{2}}{{\int }_{0}^{1}{f}^{3}\left( x\right) \mathrm{d}x} > 1. \tag{3.30} $$
作辅助函数
$$ F\left( x\right) = {\left( {\int }_{0}^{x}f\left( t\right) \mathrm{d}t\right) }^{2},\;G\left( x\right) = {\int }_{0}^{x}{f}^{3}\left( t\right) \mathrm{d}t, $$
则根据柯西中值定理可知 (3.30) 式左端
$$ \frac{{\left( {\int }_{0}^{1}f\left( x\right) \mathrm{d}x\right) }^{2}}{{\int }_{0}^{1}{f}^{3}\left( x\right) \mathrm{d}x} = \frac{F\left( 1\right) - F\left( 0\right) }{G\left( 1\right) - G\left( 0\right) } = \frac{{F}^{\prime }\left( \xi \right) }{{G}^{\prime }\left( \xi \right) } $$
$$ = \frac{{2f}\left( \xi \right) {\int }_{0}^{\xi }f\left( t\right) \mathrm{d}t}{{f}^{3}\left( \xi \right) } = \frac{2{\int }_{0}^{\xi }f\left( t\right) \mathrm{d}t}{{f}^{2}\left( \xi \right) }\left( {0 < \xi < 1}\right) $$
$$ = \frac{2{\int }_{0}^{\xi }f\left( t\right) \mathrm{d}t - 2{\int }_{0}^{0}f\left( t\right) \mathrm{d}t}{{f}^{2}\left( \xi \right) - {f}^{2}\left( 0\right) } = \frac{{2f}\left( \eta \right) }{{2f}\left( \eta \right) {f}^{\prime }\left( \eta \right) } $$
$$ = \frac{1}{{f}^{\prime }\left( \eta \right) } > 1\left( {0 < \eta < \xi < 1}\right) . $$
证法 2 问题就是要证明
$$ {\left( {\int }_{0}^{1}f\left( x\right) \mathrm{d}x\right) }^{2} - {\int }_{0}^{1}{f}^{3}\left( x\right) \mathrm{d}x > 0. \tag{3.31} $$
作辅助函数
$$ F\left( x\right) = {\left( {\int }_{0}^{x}f\left( t\right) \mathrm{d}t\right) }^{2} - {\int }_{0}^{x}{f}^{3}\left( t\right) \mathrm{d}t, $$
因为 $F\left( 0\right) = 0$ ,所以只要证明 ${F}^{\prime }\left( x\right) > 0\left( {\forall x \in \left( {0,1}\right) }\right)$ . 事实上,
$$ {F}^{\prime }\left( x\right) = {2f}\left( x\right) {\int }_{0}^{x}f\left( t\right) \mathrm{d}t - {f}^{3}\left( x\right) $$
$$ = f\left( x\right) \left\lbrack {2{\int }_{0}^{x}f\left( t\right) \mathrm{d}t - {f}^{2}\left( x\right) }\right\rbrack . \tag{3.32} $$
因为 $f\left( 0\right) = 0,0 < {f}^{\prime }\left( x\right) < 1\left( {\forall x \in \left( {0,1}\right) }\right)$ ,所以 $f\left( x\right) > 0(\forall x \in$ $\left( {0,1}\right) )$ .
由此可见, 只要再证明 (3.32) 式中方括弧内的函数大于零, 即有 ${F}^{\prime }\left( x\right) > 0$ . 事实上,记
$$ g\left( x\right) = 2{\int }_{0}^{x}f\left( t\right) \mathrm{d}t - {f}^{2}\left( x\right) , $$
因为 $g\left( 0\right) = 0$ ,所以
$$ {g}^{\prime }\left( x\right) = {2f}\left( x\right) - {2f}\left( x\right) \cdot {f}^{\prime }\left( x\right) = {2f}\left( x\right) \left\lbrack {1 - {f}^{\prime }\left( x\right) }\right\rbrack > 0 $$
$$ \left( {\forall x \in \left( {0,1}\right) }\right) \text{ , } $$
即得 $g\left( x\right) > 0$ ,也就是 (3.32) 式中方括弧内的函数大于零.
\subsubsection{四、含定积分的中值命题}