西南交通大学 2025年数学分析第4题
📝 题目
4．（15 分）设函数 $\displaystyle f(x)$ 在 $\displaystyle (a, b)$ 内处处有导数 $\displaystyle f^{\prime}(x)$ ．证明：$\displaystyle (a, b)$ 中的点或者为 $\displaystyle f^{\prime}(x)$ 的连续点，或者为 $\displaystyle f^{\prime}(x)$ 的第二类间断点．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：回忆间断点分类与导函数的性质
间断点分为第一类间断点（左右极限都存在）和第二类间断点（左右极限至少有一个不存在）。对于导函数 $f'(x)$，有一个经典结论：它不可能有第一类间断点。这源于导数的介值性质（达布定理）。
提示：注意区分第一类与第二类间断点的定义，特别是极限存在与否的情况。
步骤 2/5
目标：引入达布定理（导数的介值性）
达布定理：若 $f$ 在 $[p,q]$ 上可导，则对于任意介于 $f'(p)$ 和 $f'(q)$ 之间的数 $L$，存在 $\xi \in (p,q)$ 使得 $f'(\xi)=L$。即导函数具有介值性，即使它不一定连续。
公式：\forall L \text{ 介于 } f'(p) \text{ 与 } f'(q) \text{ 之间}, \exists \xi \in (p,q): f'(\xi)=L
提示：达布定理是证明导函数无第一类间断点的关键工具。
步骤 3/5
目标：假设存在第一类间断点并分析矛盾
设 $x_0 \in (a,b)$ 是 $f'(x)$ 的第一类间断点，则左极限 $\lim_{x \to x_0^-} f'(x)=A$ 和右极限 $\lim_{x \to x_0^+} f'(x)=B$ 都存在（有限）。若 $A \neq B$，取 $c$ 满足 $A
公式：\lim_{x \to x_0^-} f'(x)=A,\quad \lim_{x \to x_0^+} f'(x)=B
提示：仅用达布定理不能直接推出矛盾，需要结合导数定义。
步骤 4/5
目标：利用拉格朗日中值定理和导数定义推导矛盾
由导数定义，$f'(x_0)=\lim_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h}$。对 $x
公式：\frac{f(x_0)-f(x)}{x_0-x}=f'(\eta_x),\quad \eta_x\in(x,x_0)
提示：注意中值定理的应用条件：$f$ 在 $[x,x_0]$ 上连续，在 $(x,x_0)$ 内可导。
步骤 5/5
目标：得出结论
由于导函数 $f'(x)$ 在 $(a,b)$ 内不可能有第一类间断点，因此区间内每一点要么是连续点，要么是第二类间断点（即左右极限至少有一个不存在或为无穷大）。证毕。
提示：第二类间断点包括极限为无穷大或振荡不存在的情形。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。