湖南大学 2026年数学分析第2题
📝 题目
2．已知 $\displaystyle f(x)$ 在 $\displaystyle [0,1]$ 上二阶可导，且 $\displaystyle f(0) f(1)>1, f^{\prime \prime}(x)>0, \int_{0}^{1} f(x) \mathrm{d} x=0$ ．
（1）证明 $\displaystyle f(x)$ 在 $\displaystyle [0,1]$ 上恰有两个零点．
（2）证明至少存在一点 $c$ ，使得 $\displaystyle f^{\prime}(c)=\int_{0}^{c} f(x) \mathrm{d} x$ ．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/6
目标：分析函数凸性及零点个数上限
由 $f''(x) > 0$ 知 $f(x)$ 在 $[0,1]$ 上严格凸。严格凸函数至多有两个零点，否则若存在三个零点，由罗尔定理可得两个点处导数为0，进而存在二阶导数为0的点，与 $f''(x) > 0$ 矛盾。
公式：f''(x) > 0 \Rightarrow f \text{ 严格凸}
提示：注意严格凸函数不可能有三个零点，这是关键限制。
步骤 2/6
目标：利用积分条件说明函数变号
已知 $\int_0^1 f(x) \, dx = 0$。若 $f(x)$ 在 $[0,1]$ 上恒正或恒负，则积分不可能为零，故 $f(x)$ 必变号，从而至少存在一个零点。
公式：\int_0^1 f(x) \, dx = 0 \Rightarrow \exists \xi \in (0,1), f(\xi)=0
提示：变号是零点存在的充分条件，但还需结合凸性确定零点个数。
步骤 3/6
目标：利用端点乘积大于1确定零点个数恰好为2
由 $f(0)f(1) > 1 > 0$ 知 $f(0)$ 与 $f(1)$ 同号。若同为正，则函数在两端为正，但积分值为0，说明中间必须有负值区域，由连续性及凸性，函数先从正下降到负（经过第一个零点），再从负上升到正（经过第二个零点），故恰有两个零点。同理，若同为负，则中间有正值区域，也恰有两个零点。
公式：f(0)f(1) > 0 \text{ 且 } \int_0^1 f(x) \, dx = 0 \Rightarrow \text{恰有两个零点}
提示：注意严格凸函数在两端同号时，中间必须异号才能积分得0，从而产生两个零点。
步骤 4/6
目标：构造辅助函数并计算端点值
令 $F(x) = f'(x) - \int_0^x f(t) \, dt$。则 $F(0) = f'(0)$，$F(1) = f'(1) - \int_0^1 f(t) \, dt = f'(1)$。目标转化为证明存在 $c \in (0,1)$ 使 $F(c)=0$。
公式：F(x) = f'(x) - \int_0^x f(t) \, dt, \quad F(0)=f'(0), \; F(1)=f'(1)
提示：构造辅助函数是处理含导数与积分等式问题的常用技巧。
步骤 5/6
目标：利用凸性和零点信息判断导数符号
由(1)知 $f(x)$ 有两个零点，设为 $a < b$。若 $f(0) > 0$，则 $f$ 在 $[0,a]$ 上从正降到0，故 $f'(0) < 0$；在 $[b,1]$ 上从0升到正，故 $f'(1) > 0$。若 $f(0) < 0$，则 $f'(0) > 0$，$f'(1) < 0$。总之 $f'(0)$ 与 $f'(1)$ 异号。
公式：f'(0) \cdot f'(1) < 0
提示：严格凸函数的导数是严格递增的，结合零点位置可判断端点导数符号。
步骤 6/6
目标：应用介值定理得出结论
由于 $F(0)=f'(0)$ 与 $F(1)=f'(1)$ 异号，且 $F(x)$ 在 $[0,1]$ 上连续，由连续函数介值定理，存在 $c \in (0,1)$ 使得 $F(c)=0$，即 $f'(c) = \int_0^c f(x) \, dx$。
公式：\exists c \in (0,1), \; f'(c) = \int_0^c f(x) \, dx
提示：介值定理要求函数连续，这里 $F(x)$ 由可导函数和积分定义，显然连续。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。