中国矿业大学(北京) 2026年数学分析第0题
📝 题目
1．极限 $\lim _{x \rightarrow-\infty} f(x) \neq A$ 的语言是
A．
B．
C．
D．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：回顾极限定义
首先回顾极限 $\lim_{x \to -\infty} f(x) = A$ 的严格数学定义：对任意 $\varepsilon > 0$，存在 $M > 0$，使得当 $x < -M$ 时，有 $|f(x) - A| < \varepsilon$。
公式：$\forall \varepsilon > 0, \exists M > 0, \forall x < -M: |f(x)-A| < \varepsilon$
提示：注意 $x \to -\infty$ 时，条件是 $x < -M$，而不是 $x > M$。
步骤 2/5
目标：写出否定的逻辑结构
要表达 $\lim_{x \to -\infty} f(x) \neq A$，即对极限定义进行否定。否定一个全称量词命题时，将 $\forall$ 变为 $\exists$，$\exists$ 变为 $\forall$，并否定结论。原命题为 $\forall \varepsilon > 0, \exists M > 0, \forall x < -M: |f(x)-A| < \varepsilon$，其否定为 $\exists \varepsilon_0 > 0, \forall M > 0, \exists x < -M: |f(x)-A| \geq \varepsilon_0$。
公式：$\exists \varepsilon_0 > 0, \forall M > 0, \exists x < -M: |f(x)-A| \geq \varepsilon_0$
提示：否定时注意不等号方向要反转，$<$ 变成 $\geq$。
步骤 3/5
目标：解释否定形式的含义
该否定形式的意思是：存在一个正数 $\varepsilon_0$，使得无论你取多大的 $M$，总能找到一个比 $-M$ 更小的 $x$（即 $x < -M$），使得 $f(x)$ 与 $A$ 的差不小于 $\varepsilon_0$。这表示 $f(x)$ 不会无限接近 $A$。
公式：无
提示：理解 $\forall M > 0$ 对应“无论取多大的负数范围”，$\exists x < -M$ 对应“总存在一个更负的点破坏接近性”。
步骤 4/5
目标：对比选项（假设有选项）
在选择题中，应寻找与上述否定形式完全一致的表述。注意选项可能使用不同的字母（如 $\delta$ 代替 $M$），但逻辑结构必须相同：存在 $\varepsilon_0 > 0$，对任意正数（通常用 $X$ 或 $M$），存在 $x$ 小于该负数，使得 $|f(x)-A| \geq \varepsilon_0$。
公式：无
提示：注意区分 $x \to +\infty$ 和 $x \to -\infty$ 的表述差异，前者条件是 $x > M$，后者是 $x < -M$。
步骤 5/5
目标：给出最终答案
因此，极限 $\lim_{x \to -\infty} f(x) \neq A$ 的严格语言是：存在 $\varepsilon_0 > 0$，使得对任意 $M > 0$，存在 $x < -M$，满足 $|f(x)-A| \geq \varepsilon_0$。
公式：$\exists \varepsilon_0 > 0, \forall M > 0, \exists x < -M: |f(x)-A| \geq \varepsilon_0$
提示：这是标准答案，考试中直接选择对应选项即可。
步骤 6/6
目标：组合成完整的否定形式
将以上步骤组合起来，得到 $\lim_{x \to -\infty} f(x) \neq A$ 的严格语言表述：存在 $\varepsilon_0 > 0$，使得对任意实数 $X$，总存在一个 $x < X$，满足 $|f(x)-A| \ge \varepsilon_0$。
公式：$\exists \varepsilon_0 > 0,\ \forall X \in \mathbb{R},\ \exists x < X,\ |f(x)-A| \ge \varepsilon_0$
提示：这是标准答案，常见于教材中极限不存在的否定形式。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。