北京交通大学 2026年数学分析第2题
📝 题目
2、假设 $\displaystyle f(x)$ 在区间 $I$ 上二阶可导，若 $\displaystyle f(x)$ 为区间 $I$ 上的严格下凸函数，其中 $\displaystyle x_{0} \in I$ 为 $\displaystyle f(x)$ 的极值点，证明：$\displaystyle x_{0}$ 为 $\displaystyle f(x)$ 在 $I$ 上的唯一极小值点．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：回忆严格下凸函数的定义与性质
如果 \( f(x) \) 在区间 \( I \) 上是严格下凸函数，那么对任意 \( x_1 \neq x_2 \in I \) 以及任意 \( t \in (0,1) \)，有 \( f(tx_1 + (1-t)x_2) < t f(x_1) + (1-t) f(x_2) \)。对于二阶可导的函数，严格下凸等价于二阶导数 \( f''(x) > 0 \) 在区间 \( I \) 上几乎处处成立（实际上对于连续的二阶导数，严格凸意味着 \( f''(x) \ge 0 \) 且不在任何区间上恒为0，这里可直接用 \( f''(x) > 0 \) 来简化推理）。
公式：f(tx_1 + (1-t)x_2) < t f(x_1) + (1-t) f(x_2)
提示：注意严格下凸与凸函数的区别，严格下凸要求不等式严格成立，且二阶导数恒正。
步骤 2/5
目标：利用极值点的必要条件
已知 \( x_0 \in I \) 是 \( f(x) \) 的极值点，且函数可导，则由费马定理，必有 \( f'(x_0) = 0 \)。
公式：f'(x_0) = 0
提示：费马定理要求函数在极值点处可导，题目已给出二阶可导，故满足条件。
步骤 3/5
目标：由二阶导数正判断该点是极小值点
因为严格下凸，所以 \( f''(x) > 0 \) 在整个区间上成立（特别地，在 \( x_0 \) 处也成立）。由极值的二阶充分条件：若 \( f'(x_0)=0 \) 且 \( f''(x_0) > 0 \)，则 \( x_0 \) 是局部极小值点。
公式：f'(x_0)=0, \; f''(x_0) > 0 \Rightarrow x_0 \text{ 是局部极小值点}
提示：二阶导数大于0是极小值的充分条件，但非必要条件，此处由严格凸性保证。
步骤 4/5
目标：证明唯一性（反证法）
假设还存在另一个极小值点 \( x_1 \neq x_0 \)，且 \( x_1 \in I \)。由于两者都是极小值点，则必有 \( f'(x_1)=0 \)。由严格凸函数的性质，导数 \( f'(x) \) 是严格递增的（因为 \( f''(x) > 0 \)）。若 \( x_1 > x_0 \)，则 \( f'(x_1) > f'(x_0) = 0 \)，这与 \( f'(x_1)=0 \) 矛盾。若 \( x_1 < x_0 \)，则 \( f'(x_1) < f'(x_0)=0 \)，同样矛盾。因此不可能存在另一个极值点，唯一性得证。
公式：f'(x_1) > f'(x_0) \; (x_1 > x_0) \quad \text{或} \quad f'(x_1) < f'(x_0) \; (x_1 < x_0)
提示：反证法关键：利用导数严格递增性导出矛盾，注意极小值点导数必为零。
步骤 5/5
目标：说明该极小值点也是全局极小值点
由于严格凸函数在区间上只有一个极小值点，且该点导数等于零，由凸性可知该点就是全局最小值点。实际上，对于严格凸函数，任何局部极小都是全局极小。
公式：\text{严格凸函数：局部极小值} \Rightarrow \text{全局极小值}
提示：凸函数的局部最优即全局最优，严格凸进一步保证唯一性。
步骤 6/7
目标：证明极小值点的唯一性
假设存在另一个极小值点 $x_1 \neq x_0$，则同样有 $f'(x_1)=0$。但导函数 $f'(x)$ 严格递增，不可能在两个不同点处取相同的值（除非函数为常数，与严格凸矛盾）。故不存在另一个极值点，$x_0$ 是唯一的极小值点。
提示：唯一性的核心是导函数的严格单调性，它排除了多个驻点的可能性。
步骤 7/7
目标：总结结论
综合以上步骤，$x_0$ 是 $f(x)$ 在区间 $I$ 上的唯一极小值点。
提示：注意题目中“严格下凸”即“严格凸”，结论成立。
步骤 8/8
目标：总结结论
综上所述，$x_0$ 是 $f(x)$ 在 $I$ 上的唯一极小值点。
提示：注意题目要求证明的是“唯一极小值点”，而非仅仅“极小值点”。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。