中国地质大学(武汉) 2026年数学分析第0题
📝 题目
一、已知函数 $\displaystyle f(x)$ 在区间 $\displaystyle (a, b)$ 上单调递增，证明对于任意的 $\displaystyle x_{0} \in(a, b), \lim _{x \rightarrow x_{0}^{+}} f(x)$与 $\displaystyle \lim _{x \rightarrow x_{0}^{+}} f(x)$ 均存在且 $\displaystyle \lim _{x \rightarrow x_{0}^{+}} f(x) \geqslant f\left(x_{0}\right) \geqslant \lim _{x \rightarrow x_{0}^{-}} f(x)$ ．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/6
目标：明确已知条件和要证明的结论
已知函数 $f(x)$ 在区间 $(a, b)$ 上单调递增，即对任意 $x_1 < x_2$，有 $f(x_1) \leq f(x_2)$。任取 $x_0 \in (a, b)$，需要证明左右极限 $\lim_{x \to x_0^+} f(x)$ 和 $\lim_{x \to x_0^-} f(x)$ 均存在，并且满足不等式 $\lim_{x \to x_0^+} f(x) \geq f(x_0) \geq \lim_{x \to x_0^-} f(x)$。
公式：单调递增定义：$\forall x_1 < x_2, f(x_1) \leq f(x_2)$
提示：注意题目中可能存在的笔误，应证明右极限大于等于左极限，而不是相反。
步骤 2/6
目标：证明右极限存在
考虑所有大于 $x_0$ 且小于 $b$ 的 $x$，即集合 $\{ f(x) \mid x_0 < x < b \}$。由于 $f$ 单调递增，当 $x > x_0$ 时，有 $f(x) \geq f(x_0)$，所以该集合有下界 $f(x_0)$。当 $x$ 从右侧趋近于 $x_0$ 时，$x$ 逐渐减小，对应的函数值 $f(x)$ 单调递减（因为 $x_1 < x_2$ 时 $f(x_1) \leq f(x_2)$，所以右侧靠近时 $x$ 变小则 $f(x)$ 变小），且该递减序列有下界。由单调有界原理，极限 $\lim_{x \to x_0^+} f(x)$ 存在，记作 $f(x_0^+)$。
公式：单调有界原理：单调递减且有下界的数列必有极限
提示：注意右侧极限的单调性：当 $x$ 从右侧趋近 $x_0$ 时，$x$ 是递减的，因此 $f(x)$ 是递减的，不要混淆单调方向。
步骤 3/6
目标：证明左极限存在
考虑所有小于 $x_0$ 且大于 $a$ 的 $x$，即集合 $\{ f(x) \mid a < x < x_0 \}$。由于 $f$ 单调递增，当 $x < x_0$ 时，有 $f(x) \leq f(x_0)$，所以该集合有上界 $f(x_0)$。当 $x$ 从左侧趋近于 $x_0$ 时，$x$ 逐渐增大，对应的函数值 $f(x)$ 单调递增（因为 $x_1 < x_2$ 时 $f(x_1) \leq f(x_2)$，左侧靠近时 $x$ 变大则 $f(x)$ 变大），且该递增序列有上界。由单调有界原理，极限 $\lim_{x \to x_0^-} f(x)$ 存在，记作 $f(x_0^-)$。
公式：单调有界原理：单调递增且有上界的数列必有极限
提示：左极限的单调性是递增的，与右极限相反，注意区分。
步骤 4/6
目标：证明不等式 $f(x_0) \geq \lim_{x \to x_0^-} f(x)$
由单调递增性质，对任意 $x < x_0$，有 $f(x) \leq f(x_0)$。固定 $x_0$，令 $x \to x_0^-$，则对极限取不等式（极限的保序性），得到 $\lim_{x \to x_0^-} f(x) \leq f(x_0)$，即 $f(x_0) \geq \lim_{x \to x_0^-} f(x)$。
公式：极限保序性：若 $f(x) \leq M$，则 $\lim f(x) \leq M$
提示：这里需要利用极限的保序性，注意不等号方向不变。
步骤 5/6
目标：证明不等式 $\lim_{x \to x_0^+} f(x) \geq f(x_0)$
由单调递增性质，对任意 $y > x_0$，有 $f(x_0) \leq f(y)$。固定 $x_0$，令 $y \to x_0^+$，则对极限取不等式，得到 $f(x_0) \leq \lim_{y \to x_0^+} f(y)$，即 $\lim_{x \to x_0^+} f(x) \geq f(x_0)$。
公式：极限保序性：若 $f(x) \geq M$，则 $\lim f(x) \geq M$
提示：注意与上一步结合，最终得到完整的不等式链。
步骤 6/6
目标：综合结论
将第4步和第5步的结果合并，得到 $\lim_{x \to x_0^+} f(x) \geq f(x_0) \geq \lim_{x \to x_0^-} f(x)$。至此，左右极限的存在性和不等式关系均已证明。
公式：$\lim_{x \to x_0^+} f(x) \geq f(x_0) \geq \lim_{x \to x_0^-} f(x)$
提示：该结论是单调函数的重要性质，表明单调函数在每一点都有左右极限，且函数值介于两者之间。
步骤 7/8
目标：得到左极限与函数值的关系
由 $B \leq f(x_0)$ 及 $\lim_{x \to x_0^-} f(x) = B$，得 $\lim_{x \to x_0^-} f(x) \leq f(x_0)$。
公式：$\lim_{x \to x_0^-} f(x) \leq f(x_0)$
提示：注意不等号方向与右极限相反。
步骤 8/8
目标：综合结论
综上，左右极限均存在，且 $\lim_{x \to x_0^+} f(x) \geq f(x_0) \geq \lim_{x \to x_0^-} f(x)$。
公式：$\lim_{x \to x_0^+} f(x) \geq f(x_0) \geq \lim_{x \to x_0^-} f(x)$
提示：该不等式表明单调递增函数在每一点处，右极限不小于函数值，函数值不小于左极限。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。