方企勤 第二章 一元函数微分学 第2.2题

教材习题

📝 题目

2.2.8 设 $f\left( x\right)$ 在 $\left\lbrack {0,1}\right\rbrack$ 上连续,在(0,1)内可导, $f\left( 0\right) = 0$ . 求证: 如果 $f\left( x\right)$ 在(0,1)上不恒等于零,则存在 $\xi \in \left( {0,1}\right)$ ,使得 $f\left( \xi \right) \cdot {f}^{\prime }\left( \xi \right) > 0$ .

💡 答案解析

题目 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$。

---

2.2.7
题目:设 $f$ 在 $[0,1]$ 可导,$f(0)=0$,且 $f(x)\neq 0\ (\forall x\in(0,1))$。求证:$\exists \xi \in (0,1)$ 使得
$$
\frac{f'(1-\xi)}{f(1-\xi)} = 2\frac{f'(\xi)}{f(\xi)}
$$
证明
考虑函数
$$
g(x) = \ln|f(x)|
$$
则题目等价于
$$
g'(1-\xi) = 2 g'(\xi)
$$

$$
h(x) = g(1-x) - 2g(x)
$$
则 $h(0)=g(1)-2g(0)$,$h(1)=g(0)-2g(1)$。
若 $h(0)=h(1)$,则由罗尔定理存在 $\xi$ 使 $h'(\xi)=0$,即
$$
- g'(1-\xi) - 2g'(\xi) = 0 \quad\Rightarrow\quad g'(1-\xi) = -2g'(\xi)
$$
这不符合要求。我们需要调整。
正确做法:令
$$
F(x) = \ln|f(x)f(1-x)|
$$

$$
F'(x) = \frac{f'(x)}{f(x)} - \frac{f'(1-x)}{f(1-x)}
$$
要找 $\xi$ 使
$$
\frac{f'(1-\xi)}{f(1-\xi)} = 2\frac{f'(\xi)}{f(\xi)}
$$
可令
$$
G(x) = \ln|f(x)| - 2\ln|f(1-x)|
$$

$$
G'(x) = \frac{f'(x)}{f(x)} + 2\frac{f'(1-x)}{f(1-x)}
$$
令 $G'(x)=0$ 即得
$$
\frac{f'(x)}{f(x)} = -2\frac{f'(1-x)}{f(1-x)}
$$
这也不是原式。
实际上,考虑
$$
H(x) = \ln|f(x)| - \frac12 \ln|f(1-x)|
$$

$$
H'(x) = \frac{f'(x)}{f(x)} + \frac12 \frac{f'(1-x)}{f(1-x)}
$$
令 $H'(x)=0$ 得
$$
\frac{f'(x)}{f(x)} = -\frac12 \frac{f'(1-x)}{f(1-x)}
$$
仍不对。
正确构造:令
$$
\varphi

📋 详细解题步骤

步骤 1/1
目标:构造辅助函数并应用罗尔定理
考虑函数 g(x) = [f(x)]^2。由于 f 在 [0,1] 上连续,在 (0,1) 内可导,且 f(0)=0,f 不恒为零,故存在 c∈(0,1) 使得 f(c)≠0。计算 g(0)=0,g(c)=[f(c)]^2>0。由拉格朗日中值定理,存在 ξ∈(0,c) 使得 g'(ξ)=[g(c)-g(0)]/(c-0)=[f(c)]^2/c>0。而 g'(ξ)=2f(ξ)f'(ξ),因此 2f(ξ)f'(ξ)>0,即 f(ξ)f'(ξ)>0。
公式:g(x)=[f(x)]^2, g'(x)=2f(x)f'(x)
提示:注意 f 不恒为零的条件保证了存在 c 使得 f(c)≠0。

📷 拍照上传批改

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