2025年考研数学二第21题
📝 题目
(本题满分 12 分)
设函数 $f(x)$ 在区间 $(a, b)$ 内可导,证明导函数 $f^{\prime}(x)$ 在 $(a, b)$ 内严格单调增加的充分必要条件是:
对 $(a, b)$ 内任意的 $x_{1}, x_{2}, x_{3}$ ,当 $x_{1}\lt x_{2}\lt x_{3}$ 时,$\displaystyle\frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}\lt\displaystyle\frac{f\left(x_{3}\right)-f\left(x_{2}\right)}{x_{3}-x_{2}}$ .
💡 答案解析
略 【解析】证明:(1)必要性
$$
\begin{aligned}
& \frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}=f^{\prime}\left(\xi_{1}\right)\left(x_{1}<\xi_{1} 由于 $f^{\prime}(x)$ 在 $(a, b)$ 上单增,且 $\xi_{1}<\xi_{2}$ ,则 $f^{\prime}\left(\xi_{1}\right) $$
\frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}<\frac{f\left(x_{3}\right)-f\left(x_{2}\right)}{x_{3}-x_{2}}
$$ ## (2)充分性 > 对于任 意 $c_{1} 当 $a $$
\frac{f\left(c_{1}\right)-f(a)}{c_{1}-a}<\frac{f(x)-f\left(c_{1}\right)}{x-c_{1}}<\frac{f\left(c_{2}\right)-f(x)}{c_{2}-x}
$$ 两边同时取极限及极限的保号性可知:
$\displaystyle\lim _{x \rightarrow c_{1}^{+}} \displaystyle\frac{f(x)-f\left(c_{1}\right)}{x-c_{1}} \leq \displaystyle\lim _{x \rightarrow c_{1}^{+}} \displaystyle\frac{f\left(c_{2}\right)-f(x)}{c_{2}-x}=\displaystyle\frac{f\left(c_{2}\right)-f\left(c_{1}\right)}{c_{2}-c_{1}}$
$\displaystyle\lim _{x \rightarrow c_{2}^{-}} \displaystyle\frac{f\left(c_{2}\right)-f(x)}{c_{2}-x} \geq \displaystyle\lim _{x \rightarrow c_{2}^{-}} \displaystyle\frac{f(x)-f\left(c_{1}\right)}{x-c_{1}}=\displaystyle\frac{f\left(c_{2}\right)-f\left(c_{1}\right)}{c_{2}-c_{1}}$ 进而 $f^{\prime}\left(c_{1}\right)=\displaystyle\lim _{x \rightarrow c_{1}^{+}} \displaystyle\frac{f(x)-f\left(c_{1}\right)}{x-c_{1}} \leq \displaystyle\lim _{x \rightarrow c_{2}^{-}} \displaystyle\frac{f(x)-f\left(c_{2}\right)}{x-c_{2}}=f^{\prime}\left(c_{2}\right)$ ,即 $f^{\prime}(x)$ 在 $(a, b)$ 上单增.
📋 详细解题步骤
0.$$ 对点 $p+h$ 与 $q$ 有: $$\frac{f(q)-f(p+h)}{q-(p+h)} > 0.$$ 对点 $q$ 与 $q+k$ 有: $$\frac{f(q+k)-f(q)}{k} > 0.$$ 进一步,利用差商不等式比较 $p$ 与 $q$,$p+h$ 与 $q+k$ 等,可以得到更精细的链。具体地,由 $p < p+h < q$,应用两次差商不等式(或利用凸性等价形式)可得: $$\frac{f(p+h)-f(p)}{h} < \frac{f(q)-f(p)}{q-p} < \frac{f(q)-f(p+h)}{q-(p+h)}.$$ 同理,由 $q < q+k$ 可得: $$\frac{f(q)-f(p)}{q-p} < \frac{f(q+k)-f(q)}{k}.$$ 因此,对于任意 $h,k>0$ 满足 $p+h\frac{f(p+h_0)-f(p)}{h_0}$。从而 $f'_+(p) < f'_+(q)$。同理可证左导数情形,故 $f'(p) < f'(q)$,即导函数严格递增。
公式:$$\lim_{h\to 0^+}\frac{f(p+h)-f(p)}{h}=f'(p),\quad \lim_{k\to 0^+}\frac{f(q+k)-f(q)}{k}=f'(q),\quad f'(p) 提示:先取极限得到非严格不等式,再用反证法结合导数定义证明严格性。