重庆大学 2024年数学分析第0题
📝 题目
八．若函数 $\displaystyle f(x)$ 和 $\displaystyle g(x)$ 都在闭区间 $\displaystyle [a, b]$ 上连续，在 $\displaystyle (a, b)$ 上二阶可导，并且它们在 $\displaystyle (a, b)$ 内有相等的最大值，$\displaystyle f(a)=g(a), f(b)=g(b)$ ，求证：存在 $\displaystyle \xi \in(a, b)$ ，使得 $\displaystyle f^{\prime \prime}(\xi)=g^{\prime \prime}(\xi)$ ．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：构造辅助函数并利用端点条件得到一阶导零点
令 $h(x) = f(x) - g(x)$。由 $f,g$ 在 $[a,b]$ 连续、在 $(a,b)$ 二阶可导，知 $h(x)$ 也在 $[a,b]$ 连续、在 $(a,b)$ 二阶可导。由 $f(a)=g(a), f(b)=g(b)$ 得 $h(a)=0, h(b)=0$。根据罗尔定理，存在 $c \in (a,b)$ 使得 $h'(c)=0$。
公式：h(x)=f(x)-g(x),\quad h(a)=h(b)=0,\quad \exists c\in(a,b): h'(c)=0
提示：注意罗尔定理要求函数在闭区间连续、开区间可导且端点值相等，这里条件均满足。
步骤 2/5
目标：利用最大值条件得到极值点的一阶导为零
已知 $f$ 和 $g$ 在 $(a,b)$ 内有相等的最大值 $M$。设 $x_1,x_2\in(a,b)$ 分别为 $f$ 和 $g$ 取得最大值 $M$ 的点（可能相同也可能不同）。由于最大值在内部取得且函数可导，必有 $f'(x_1)=0$，$g'(x_2)=0$。
公式：f(x_1)=M,\quad g(x_2)=M,\quad f'(x_1)=0,\quad g'(x_2)=0
提示：最大值点可能在区间内部，若在端点则需额外讨论，但题目明确说在 $(a,b)$ 内有相等的最大值，故极值点一定在开区间内。
步骤 3/5
目标：分情况讨论：情况1（最大值点相同）
若 $x_1=x_2$，记 $x_0=x_1=x_2$，则 $f(x_0)=g(x_0)$ 且 $f'(x_0)=g'(x_0)=0$，于是 $h(x_0)=0$，$h'(x_0)=0$。结合 $h(a)=0$，$h(b)=0$，$h$ 在 $[a,b]$ 上有三个零点 $a,x_0,b$。在 $(a,x_0)$ 和 $(x_0,b)$ 上分别对 $h$ 应用罗尔定理，得存在 $\eta_1\in(a,x_0)$，$\eta_2\in(x_0,b)$ 使得 $h'(\eta_1)=0$，$h'(\eta_2)=0$。再对 $h'$ 在 $[\eta_1,\eta_2]$ 上应用罗尔定理，得存在 $\xi\in(\eta_1,\eta_2)\subset(a,b)$ 使得 $h''(\xi)=0$，即 $f''(\xi)=g''(\xi)$。
公式：h(a)=h(x_0)=h(b)=0,\quad h'(x_0)=0,\quad \exists\eta_1,\eta_2: h'(\eta_1)=h'(\eta_2)=0,\quad \exists\xi: h''(\xi)=0
提示：注意三个零点确保能两次使用罗尔定理得到二阶导零点，这是关键步骤。
步骤 4/5
目标：分情况讨论：情况2（最大值点不同）
若 $x_1\neq x_2$，不妨设 $x_1
公式：h(x_1)\ge0,\quad h(x_2)\le0,\quad \exists x_0\in(x_1,x_2): h(x_0)=0,\quad \text{再两次罗尔定理得} h''(\xi)=0
提示：注意 $h(x_1)\ge0$ 和 $h(x_2)\le0$ 的推导利用了最大值定义，且 $x_0$ 不与端点重合，确保三个不同零点。
步骤 5/5
目标：综合结论
无论最大值点相同还是不同，均存在 $\xi\in(a,b)$ 使得 $h''(\xi)=0$，即 $f''(\xi)=g''(\xi)$。命题得证。
公式：\exists\xi\in(a,b): f''(\xi)=g''(\xi)
提示：本题核心是构造 $h(x)=f(x)-g(x)$，并利用端点条件和最大值条件得到多个零点，反复应用罗尔定理。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。