2025年考研数学二第21题

解答题 · 12分

📝 题目

(本题满分 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)$ 上单增.

📋 详细解题步骤

步骤 2/3
目标:证明充分性:由差商不等式推出导函数严格增
假设对任意互异的实数 $x,y$,差商满足严格不等式: $$\frac{f(x)-f(y)}{x-y} > 0 \quad (x \neq y).$$ 任取两点 $p 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)$,即导函数严格递增。
公式:$$\frac{f(p+h)-f(p)}{h} < \frac{f(q)-f(p)}{q-p} < \frac{f(q+k)-f(q)}{k}$$
提示:通过固定一个中间点构造不等式链,再分别取极限,注意严格性的保持需要额外论证。
步骤 3/3
目标:取极限过渡到导数
在第二步中,我们已对任意 $h>0$ 和 $k>0$ 建立了严格不等式: $$ \frac{f(p+h)-f(p)}{h} < \frac{f(q+k)-f(q)}{k}. $$ 现在令 $h \to 0^+$,左边差商的极限即为 $f$ 在点 $p$ 处的右导数。由于 $f$ 在 $(a,b)$ 内可导,该右导数等于 $f'(p)$,因此 $$ \lim_{h \to 0^+} \frac{f(p+h)-f(p)}{h} = f'(p). $$ 同理,令 $k \to 0^+$,右边差商的极限为 $f'(q)$。 由极限的保号性:若存在某个 $\delta>0$ 使得对所有 $00$ 有 $$ \frac{f(p+h)-f(p)}{h} < \frac{f(q+k)-f(q)}{k}. $$ 固定 $h$,令 $k \to 0^+$,得 $$ \frac{f(p+h)-f(p)}{h} \leq f'(q) = f'(p). $$ 再令 $h \to 0^+$,得 $f'(p) \leq f'(p)$,这并不矛盾。但若取 $h$ 充分小使得左边差商大于 $f'(p)$(由导数定义,存在 $h_0$ 使差商与 $f'(p)$ 的差小于任意正数),则与上式矛盾。更严谨地:由 $f'(p)$ 的定义,存在 $h_0>0$ 使得当 $0 f'(p) - \varepsilon, $$ 取 $\varepsilon = \frac{1}{2}(f'(q)-f'(p))$(若 $f'(q)>f'(p)$ 则已得证),但若 $f'(p)=f'(q)$,则 $\varepsilon=0$,此时无法推出矛盾。因此需用反证法:假设 $f'(p)=f'(q)$,则对任意 $h>0$,有 $$ \frac{f(p+h)-f(p)}{h} < \frac{f(q+k)-f(q)}{k} \quad \forall k>0. $$ 固定 $h$,令 $k \to 0^+$,得 $$ \frac{f(p+h)-f(p)}{h} \leq f'(q) = f'(p). $$ 但由导数定义,存在 $h_1>0$ 使得当 $0 f'(p) - \frac{1}{2}(f'(q)-f'(p)) = f'(p), $$ 矛盾(因为 $f'(p)-f'(p)=0$,实际上应取 $\varepsilon = \frac{1}{2}|f'(p)-f'(q)|$,但相等时 $\varepsilon=0$ 无法得到严格大于)。更直接的方法:由第二步的严格不等式,对任意 $h,k>0$ 有 $$ \frac{f(p+h)-f(p)}{h} < \frac{f(q+k)-f(q)}{k}. $$ 先令 $k \to 0^+$,得 $$ \frac{f(p+h)-f(p)}{h} \leq f'(q). $$ 再令 $h \to 0^+$,得 $f'(p) \leq f'(q)$。若 $f'(p)=f'(q)$,则存在 $h_0>0$ 使得当 $0 f'(p) - \frac{1}{2}(f'(q)-f'(p)) = f'(p), $$ 但由上式 $\frac{f(p+h)-f(p)}{h} \leq f'(p)$,矛盾。因此 $f'(p) < f'(q)$。 综上,对任意 $p
公式:$$\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)
提示:先取极限得到非严格不等式,再用反证法结合导数定义证明严格性。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。