方企勤 第二章 一元函数微分学 第2.2题
📝 题目
2.2.5 设 $f\left( x\right)$ 在(a, b)内二阶可导,且 ${x}_{0} \in \left( {a,b}\right)$ ,使得 ${f}^{\prime \prime }\left( {x}_{0}\right) \neq 0$ . 求证:
(1)如果 ${f}^{\prime }\left( {x}_{0}\right) = 0$ ,则存在 ${x}_{1},{x}_{2} \in \left( {a,b}\right)$ ,使得 $f\left( {x}_{1}\right) - f\left( {x}_{2}\right) = 0$ ;
(2)如果 ${f}^{\prime }\left( {x}_{0}\right) \neq 0$ ,则存在 ${x}_{1},{x}_{2} \in \left( {a,b}\right)$ ,使得 $\frac{f\left( {x}_{1}\right) - f\left( {x}_{2}\right) }{{x}_{1} - {x}_{2}} = {f}^{\prime }\left( {x}_{0}\right)$ .
💡 答案解析
题目 0
题目:求证: 对 $\forall k \in \mathbf{R},\exists \xi \in (a,b)$,使得 $f'(\xi) = k f(\xi)$。
条件缺失说明:原题未给出 $f$ 的条件,通常这类题需要 $f$ 在 $[a,b]$ 连续,在 $(a,b)$ 可导,且 $f(a)=f(b)=0$ 或类似条件。
我们补充一个常见情形:设 $f$ 在 $[a,b]$ 连续,在 $(a,b)$ 可导,且 $f(a)=f(b)=0$,$f$ 不恒为零。
证明:
考虑辅助函数
$$
g(x) = e^{-kx} f(x)
$$
则 $g(a)=0, g(b)=0$,由罗尔定理,存在 $\xi \in (a,b)$ 使
$$
g'(\xi) = e^{-k\xi}(f'(\xi) - k f(\xi)) = 0
$$
因为 $e^{-k\xi} \neq 0$,所以
$$
f'(\xi) = k f(\xi)
$$
证毕。
---
2.2.4
题目:设 $f(x)$ 在 $[a,b]$ 连续,在 $(a,b)$ 可导,但非线性函数。求证:$\exists \xi,\eta \in (a,b)$,使得
$$
f'(\xi) < \frac{f(b)-f(a)}{b-a} < f'(\eta)
$$
证明:
由拉格朗日中值定理,存在 $c \in (a,b)$ 使得
$$
f'(c) = \frac{f(b)-f(a)}{b-a}
$$
因为 $f$ 不是线性函数,所以导数不是常数,故存在点使导数大于或小于该值。
具体地,若 $f'$ 在 $[a,b]$ 上最大值和最小值分别在 $\eta$ 和 $\xi$ 处取到(由达布定理,导函数具有介值性,但极值点存在性可由连续函数在闭区间上得到,这里导函数不一定连续,但可用反证法),由于 $f$ 非线性,存在点使得导数不等于 $f'(c)$,因此必存在 $\xi$ 使 $f'(\xi) < f'(c)$,存在 $\eta$ 使 $f'(\eta) > f'(c)$。
严格写法:令 $k = \frac{f(b)-f(a)}{b-a}$,若对所有 $x$ 有 $f'(x) \ge k$,则 $f$ 是凸函数且由中值定理可推出线性,矛盾。同理若全 $\le k$ 也矛盾。因此存在两点分别严格小于和大于 $k$。
---
2.2.5
题目:设 $f(x)$ 在 $(a,b)$ 内二阶可导,且 $x_0 \in (a,b)$,$f''(x_0) \neq 0$。
(1) 若 $f'(x_0)=0$,则存在 $x_1,x_2 \in (a,b)$ 使得 $f(x_1)-f(x_2)=0$。
证明:
由 $f''(x_0) \neq 0$,不妨设 $f''(x_0) > 0$,则 $x_0$ 是严格局部极小点(因为一阶导为零,二阶导正)。于是存在 $x_0$ 的邻域,使得 $f(x) > f(x_0)$ 对 $x \neq x_0$。取 $x_1 < x_0 < x_2$ 且足够近,有 $f(x_1) > f(x_0), f(x_2) > f(x_0)$。由介值定理,存在 $x_0$ 两侧的值相等?实际上我们只需取 $x_1,x_2$ 使 $f(x_1)=f(x_2)$,这可由连续函数在极小点两侧取相同函数值得到(比如取 $x_1,x_2$ 使 $f(x_1)=f(x_2)=f(x_0)+\epsilon$)。故存在两点函数值相等。
(2) 若 $f'(x_0) \neq 0$,则存在 $x_1,x_2$ 使得
$$
\frac{f(x_1)-f(x_2)}{x_1-x_2} = f'(x_0)
$$
证明:
考虑函数
$$
g(x) = f(x) - f'(x_0) x
$$
则 $g'(x_0) = f'(x_0)-f'(x_0)=0$,且 $g''(x_0)=f''(x_0) \neq 0$。由(1)的结论,存在 $x_1,x_2$ 使 $g(x_1)=g(x_2)$,即
$$
f(x_1)-f'(x_0)x_1 = f(x_2)-f'(x_0)x_2
$$
移项即得
$$
\frac{f(x_1)-f(x_2)}{x_1-x_2} = f'(x_0)
$$
证毕。
---
2.2.6
题目:设 $f$ 在 $[a,b]$ 连续,在 $(a,b)$ 可导,且 $f(a)=f(b)=0$。求证:存在 $\xi \in (a,b)$ 使得 $f'(\xi)+f(\xi)=0$。
证明:
令
$$
g(x) = e^x f(x)
$$
则 $g(a)=e^a f(a)=0$,$g(b)=e^b f(b)=0$。由罗尔定理,存在 $\xi \in (a,b)$ 使
$$
g'(\xi) = e^\xi (f'(\xi)+f(\xi)) = 0
$$
因 $e^\xi>0$,故 $f'(\xi)+f(\xi)=0$。
---