南京师范大学 2022年数学分析第0题
📝 题目
五、（15 分）设 $\displaystyle f(x)$ 在 $\displaystyle [\mathrm{a}, \mathrm{b}]$ 上二阶可导，对于 $\displaystyle \forall x \in[a, b], f(x) f^{\prime \prime}(x) \geq 0$ ，并且 $\displaystyle f(x)$在 $\displaystyle [\mathrm{a}, \mathrm{b}]$ 的任意子区间上不恒为 0 ．证明：在 $\displaystyle [\mathrm{a}, \mathrm{b}]$ 上 $\displaystyle \mid f(x)$ 至多有一个零点．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/6
目标：假设存在两个不同零点，并应用罗尔定理
假设 $f(x)$ 在 $[a,b]$ 上有两个不同的零点 $x_1 < x_2$，即 $f(x_1)=0$，$f(x_2)=0$。由于 $f$ 在 $[x_1,x_2]$ 上连续且可导，由罗尔定理，存在 $\xi \in (x_1,x_2)$ 使得 $f'(\xi)=0$。
公式：f(x_1)=0, f(x_2)=0 \Rightarrow \exists \xi \in (x_1,x_2), f'(\xi)=0
提示：注意罗尔定理要求函数在闭区间连续、开区间可导，且端点函数值相等，这里满足条件。
步骤 2/6
目标：分析条件 $f(x)f''(x) \geq 0$ 的含义
条件 $f(x)f''(x) \geq 0$ 表明：若 $f(x)>0$，则 $f''(x) \geq 0$（函数凸）；若 $f(x)<0$，则 $f''(x) \leq 0$（函数凹）；若 $f(x)=0$，则 $f''(x)$ 可正可负或为零。
公式：f(x)f''(x) \geq 0, \forall x \in [a,b]
提示：这个条件将函数值的符号与二阶导数的符号联系起来，是后续推理的关键。
步骤 3/6
目标：分情况讨论：情况1——$(x_1,x_2)$ 内存在非零点
由于 $f$ 在 $[x_1,x_2]$ 上不恒为零（否则与题设矛盾），且 $f(x_1)=f(x_2)=0$，由连续函数性质，$f$ 在 $(x_1,x_2)$ 内必有正的最大值或负的最小值。不妨设存在 $x_0 \in (x_1,x_2)$ 使得 $f(x_0)>0$ 为最大值（若为负最小值，可考虑 $-f$ 类似讨论）。由极值必要条件，$f'(x_0)=0$，且 $f''(x_0) \leq 0$。
公式：f'(x_0)=0, \quad f''(x_0) \leq 0
提示：注意极值点处二阶导数非正（极大值）或非负（极小值），这里 $f(x_0)>0$ 是极大值，故 $f''(x_0) \leq 0$。
步骤 4/6
目标：利用条件推出矛盾
由条件 $f(x_0)f''(x_0) \geq 0$ 及 $f(x_0)>0$，得 $f''(x_0) \geq 0$。结合 $f''(x_0) \leq 0$，推出 $f''(x_0)=0$。此时，在 $x_0$ 附近，由于 $f(x_0)>0$ 且 $f''(x) \geq 0$（由条件，$f(x)>0$ 时 $f''(x) \geq 0$），函数为凸函数。但凸函数在内部取得极大值点必为常数（因为凸函数若在某点取极大值，则在该点附近为常数），于是存在小区间 $(x_0-\delta, x_0+\delta)$ 上 $f(x) \equiv f(x_0)>0$，这与“$f$ 在任意子区间上不恒为零”矛盾。
公式：f(x_0)>0, f''(x_0)=0 \Rightarrow \text{局部常值矛盾}
提示：凸函数在内部极大值点必为常数的结论需要严格证明：若 $f'' \geq 0$ 且 $f'=0$ 处为极大值，则 $f'$ 在附近恒为零。
步骤 5/6
目标：分情况讨论：情况2——$(x_1,x_2)$ 内恒为零
若在 $(x_1,x_2)$ 上恒有 $f(x)=0$，则 $f$ 在子区间 $[x_1,x_2]$ 上恒为零，直接与题设“$f$ 在任意子区间上不恒为零”矛盾。
公式：\forall x \in (x_1,x_2), f(x)=0 \Rightarrow \text{与题设矛盾}
提示：注意题设中“任意子区间”包括 $[x_1,x_2]$ 这样的非退化区间。
步骤 6/6
目标：总结结论
两种情况均导致矛盾，因此假设不成立，即 $f(x)$ 在 $[a,b]$ 上至多有一个零点。
公式：\text{至多一个零点}
提示：反证法是本题的核心方法，注意分类讨论的完整性。
步骤 7/7
目标：得出矛盾并完成证明
无论 $f(x)$ 在两个零点之间恒正还是恒负，均导出矛盾。因此假设不成立，$f(x)$ 在 $[a,b]$ 上至多有一个零点，从而 $|f(x)|$ 也至多有一个零点。
公式：\text{反证法矛盾} \Rightarrow f(x) \text{ 至多一个零点}
提示：注意题目中“任意子区间上不恒为0”排除了函数在区间上恒为零的平凡情况。
步骤 8/8
目标：得出结论
两种情况均导致矛盾，因此假设不成立，即 $|f(x)|$ 在 $[a,b]$ 上不可能有两个不同的零点。故 $|f(x)|$ 在 $[a,b]$ 上至多有一个零点。
提示：注意结论是“至多有一个零点”，包括没有零点和恰好一个零点两种情况。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。