昆仑山:眼中无形心中有穴之穴人合一

夫君子之行，静以修身，俭以养德；非澹泊无以明志，非宁静无以致远。夫学须静也，才须学也；非学无以广才，非志无以成学。怠慢则不能励精，险躁则不能冶性。年与时驰，意与岁去，遂成枯落，多不接世。悲守穷庐，将复何及！

 

ch01数学分析之实数

实数的无尽小数表示与顺序 知识点详解与证明

各位同学，今天我们来系统讲解数学分析的基石——实数理论的入门内容。微积分的核心是极限理论，而极限理论的严谨性完全建立在实数的连续性（完备性）之上，这一节我们从最朴素的无尽小数表示出发，构建实数的定义、顺序、稠密性与绝对值体系，为后续整个数学分析的学习打下逻辑根基。

一、历史背景与本章核心

17世纪牛顿、莱布尼茨创立微积分时，仅构建了强大的计算方法，却没有给出严谨的逻辑基础，引发了长达一个多世纪的争论。直到19世纪初，柯西以极限理论为微积分奠定了基础；后续康托、戴德金等人发现，极限理论的核心原理，本质上依赖于实数系的连续性。
本章的核心就是实数系的连续性，而本节是整个实数理论的起点：我们先以无尽小数为基础定义实数，再建立实数的顺序关系、证明稠密性、定义绝对值，为后续讨论连续性做好铺垫。

二、实数的无尽小数表示与核心定义

1. 无尽小数的基本形式

无尽小数的标准形式为：

\[\pm a_0.a_1a_2\cdots a_n\cdots \]

其中符号含义严格规定如下：

  • \(a_0 \in \mathbb{Z}_+\)（非负整数，即\(0,1,2,\dots\)），称为整数部分；
  • \(a_1,a_2,\dots,a_n,\dots\) 中的每一个都是\(0,1,\dots,9\)中的一个数字，称为小数部分的第\(n\)位。

有尽小数的约定：形如\(\pm a_0.a_1a_2\cdots a_m0000\cdots\)（小数部分第\(m\)位后全为0）的无尽小数，可简记为\(\pm a_0.a_1a_2\cdots a_m\)，称为有尽小数。也就是说，有尽小数是无尽小数的特殊形式，本质是末尾接无穷个0的无尽小数。

2. 无尽小数的等同关系（等价关系）

这是本节的核心难点：同一个实数，可能对应两种不同的无尽小数表示（最经典的例子是\(1=0.999\cdots\)），因此我们需要规定等同规则，把表示同一个数的无尽小数归为一类。

我们规定两组等同关系\((E_1)\)和\((E_2)\)：

  1. \((E_1)\)：\(-0.000\cdots = +0.000\cdots\)
    含义：正0和负0是同一个数，统一记为\(0\)。
  2. \((E_2)\)：\(\pm b_0.b_1\cdots b_p999\cdots = \pm b_0.b_1\cdots (b_p+1)000\cdots\)，其中\(b_p<9\)
    含义：以无穷个9结尾的无尽小数，等同于把最后一个非9位加1、后续全补0的有尽小数。
    举例：\(0.123999\cdots=0.124\)，\(2.999\cdots=3.000\cdots\)，\(-1.2999\cdots=-1.3\)。

3. 规范小数与非规范小数

基于等同关系，我们对无尽小数做分类，解决“一个数多个表示”的问题：

  • 非规范小数：符合\((E_1)\)左边（\(-0.000\cdots\)）、\((E_2)\)左边（以无穷个9结尾）的无尽小数，称为非规范小数。
  • 规范小数：除非规范小数外的所有无尽小数，称为规范小数。
    核心特征：规范小数要么不以无穷个9结尾，要么是\(+0.000\cdots\)（即0）。

关键结论：每一个非规范小数，都能通过等同关系，对应唯一的一个规范小数。这就为每一个实数，赋予了唯一的“规范表示”，为后续定义大小、运算提供了无歧义的基础。

4. 实数的严格定义

在所有无尽小数中，把彼此等同的无尽小数视为同一个数，这样的无尽小数等价类，就称为实数。

基于规范表示，我们对实数做符号分类：

  • 非负实数：规范表示为\(+a_0.a_1a_2\cdots\)的实数，其中规范表示为\(+0.000\cdots\)的实数记为\(0\)。
  • 负实数：规范表示为\(-b_0.b_1b_2\cdots\)的实数。

5. 相反数的定义

  • 非0实数：两个非0实数，若规范小数表示的各位数字完全相同、符号相反，则称这两个实数互为相反数。
  • 特殊规定：\(0\)的相反数是\(0\)本身。
  • 记法：实数\(x\)的相反数记为\(-x\)。

三、实数的顺序（大小比较）

我们基于实数的唯一规范小数表示，定义实数的大小关系，确保比较结果无歧义。大小比较分三种情形：

情形1：两个实数都是非负实数

设两个非负实数的规范表示为：

\[a=a_0.a_1a_2\cdots a_n\cdots,\quad b=b_0.b_1b_2\cdots b_n\cdots \]

我们从高位到低位逐位比较数字：
若存在正整数\(p\)，使得

\[a_0=b_0,\ a_1=b_1,\ \dots,\ a_{p-1}=b_{p-1},\quad a_p > b_p \]

则定义\(a\)大于\(b\)，记为\(a>b\)。

举例：\(3.1415\cdots > 3.1414\cdots\)（前4位相同，第5位\(5>4\)）；\(2.718\cdots > 1.999\cdots\)（整数部分\(2>1\)，直接判定大小）。

情形2：两个实数都是负实数

设两个负实数的规范表示为：

\[-c = -c_0.c_1c_2\cdots c_n\cdots,\quad -d = -d_0.d_1d_2\cdots d_n\cdots \]

（其中\(c,d\)为非负实数的规范表示）
若存在正整数\(q\)，使得

\[c_0=d_0,\ c_1=d_1,\ \dots,\ c_{q-1}=d_{q-1},\quad c_q < d_q \]

则定义\(-c\)大于\(-d\)，记为\(-c > -d\)。

本质：负数比较大小，绝对值小的数更大。
举例：\(-1.23 > -1.24\)，因为\(1.23 < 1.24\)，符合上述定义（前2位相同，第3位\(3<4\)，故\(-1.23 > -1.24\)）。

情形3：一个非负实数，一个负实数

我们直接规定：任何非负实数，都大于任何负实数。
举例：\(0 > -0.001\)，\(1.5 > -2.6\)。

补充定义

  • 若\(a > b\)，则称\(b\)小于\(a\)，记为\(b < a\)；
  • 若两个实数的规范小数表示完全相同，则称两个实数相等，记为\(a = b\)。

实数顺序的核心性质

上述定义的大小关系，让实数集成为全序集，具备两个核心性质：

  1. 三歧性（全序性）
    对任意两个实数\(a\)和\(b\)，以下三种情形有且仅有一种成立：

    \[a>b,\ a=b,\ a<b \]

    成立依据：每个实数的规范小数表示唯一，逐位比较时，要么某一位\(a\)的数字更大，要么\(b\)的更大，要么所有位都相同，不可能同时满足两种情形。

  2. 传递性
    对任意三个实数\(a,b,c\)，若\(a > b\)且\(b > c\)，则必有\(a > c\)。

    【详细证明】（以非负实数为例，其余情形可同理推导）：
    设\(a=a_0.a_1\cdots,\ b=b_0.b_1\cdots,\ c=c_0.c_1\cdots\)均为非负实数的规范表示。
    由\(a>b\)，存在正整数\(p\)，使得前\(p-1\)位\(a,b\)完全相同，且\(a_p > b_p\)；
    由\(b>c\)，存在正整数\(q\)，使得前\(q-1\)位\(b,c\)完全相同，且\(b_q > c_q\)。
    取\(k = \min(p,q)\)（\(p,q\)中更小的那个数），则：

    • 若\(k=p\leq q\)：前\(k-1\)位\(a,b,c\)完全相同，第\(k\)位\(a_k > b_k \geq c_k\)，故\(a_k > c_k\)，得\(a>c\)；
    • 若\(k=q < p\)：前\(k-1\)位\(a,b,c\)完全相同，第\(k\)位\(a_k = b_k > c_k\)，故\(a_k > c_k\)，得\(a>c\)。
      综上，传递性成立。

补充记号约定

  • \(a\geq b\)：表示“\(a > b\) 或 \(a = b\)”；
  • \(a\leq b\)：表示“\(a < b\) 或 \(a = b\)”。

四、有尽小数在实数系中的稠密性

稠密性是实数的核心基础性质，也是后续极限逼近的理论依据，我们先给出定理，再做完整的严谨证明。

定理内容

设\(a\)和\(b\)是实数，且\(a < b\)，则一定存在有尽小数\(c\)，满足

\[a < c < b \]

定理的完整详细证明

我们分三种情形全覆盖证明，无遗漏：

情形1：\(a < 0 < b\)

此时取\(c=0\)，\(0\)是有尽小数，显然满足\(a < 0 < b\)，符合要求。

情形2：\(0\leq a < b\)

因为\(a,b\)都是非负实数，故它们的规范小数表示为：

\[a = a_0.a_1a_2\cdots a_n\cdots,\quad b = b_0.b_1b_2\cdots b_n\cdots \]

由\(a < b\)，根据非负实数的比较规则，必然存在正整数\(p\)，使得：

\[a_0 = b_0,\ a_1 = b_1,\ \dots,\ a_{p-1} = b_{p-1},\quad a_p < b_p \]

又因为\(a\)是规范小数，规范小数不以无穷个9结尾，因此必然存在正整数\(q > p\)，使得\(a_q < 9\)（若\(a\)从第\(p\)位后全为9，则\(a\)为非规范小数，与前提矛盾）。

现在我们构造有尽小数\(c\)：

\[c = a_0.a_1a_2\cdots a_p\cdots a_{q-1}(a_q + 1)000\cdots \]

即\(c\)的前\(q-1\)位与\(a\)完全一致，第\(q\)位为\(a_q+1\)，第\(q\)位之后全为0，因此\(c\)是有尽小数。

接下来分两步证明\(a < c < b\)：

  1. 证明\(a < c\)：
    \(a\)和\(c\)的前\(q-1\)位完全相同，第\(q\)位\(a_q < a_q+1\)，根据非负实数的比较规则，直接得\(a < c\)。

  2. 证明\(c < b\)：
    因为\(q > p\)，所以\(c\)的前\(p\)位与\(a\)的前\(p\)位完全一致，即\(c\)的前\(p-1\)位与\(b\)相同，第\(p\)位\(c_p = a_p < b_p\)。
    小数比较遵循高位优先原则，前\(p-1\)位相同、第\(p\)位\(c_p < b_p\)时，无论后续位是什么，都有\(c < b\)。

因此\(a < c < b\)，情形2得证。

情形3：\(a < b \leq 0\)

此时\(a,b\)均为非正实数，对不等式\(a < b \leq 0\)两边同时乘\(-1\)，不等号反向，得：

\[0 \leq -b < -a \]

根据情形2的结论，对于\(0\leq -b < -a\)，存在有尽小数\(d\)，使得\(-b < d < -a\)。

取\(c = -d\)，因为\(d\)是有尽小数，所以\(c\)也是有尽小数。对\(-b < d < -a\)两边再次乘\(-1\)，不等号反向，得：

\[b > -d > a \implies a < c < b \]

符合要求，情形3得证。

综上，所有情形均证明完毕，定理成立。

定理的意义

  1. 有尽小数属于有理数，这个定理说明：有理数在实数系中是稠密的，任意两个实数之间，一定存在有理数；
  2. 稠密性意味着：任何实数都可以用有尽小数无限逼近，这是后续数列极限、函数极限的核心思想基础；
  3. 注意区分：稠密性≠连续性。有理数集也具备稠密性，但有理数集存在“空隙”（比如\(\sqrt{2}\)不属于有理数），而实数集是连续的，没有空隙，这是我们后续章节要讨论的核心。

五、实数的绝对值

绝对值的严格定义

对任意实数\(x\)，它的绝对值\(|x|\)定义为：

\[|x| = \begin{cases} x, & \text{如果 } x \text{ 是非负实数}, \\ -x, & \text{如果 } x \text{ 是负实数}. \end{cases} \]

几何意义：实数\(x\)在数轴上对应的点，到原点的距离，因此绝对值天然具有非负性。

绝对值的核心基本性质

这些性质是后续不等式证明、极限计算的核心工具，必须熟练掌握：

  1. 非负性：\(|x| \geq 0\)，且\(|x|=0 \iff x=0\)；
  2. 对称性：\(|-x| = |x|\)；
  3. 绝对值等价不等式：对\(a\geq0\)，\(|x| \leq a \iff -a \leq x \leq a\)；
  4. 三角不等式：\(|x + y| \leq |x| + |y|\)，可推广到有限个实数：\(|x_1+x_2+\dots+x_n| \leq |x_1|+|x_2|+\dots+|x_n|\)；
  5. 乘积的绝对值：\(|xy| = |x| \cdot |y|\)；
  6. 商的绝对值：\(\left|\frac{x}{y}\right| = \frac{|x|}{|y|}\)（\(y\neq0\)）。

六、核心知识点归纳总结表

模块分类 核心内容 详细定义/规则/结论 关键说明
基础定义 无尽小数 形式：\(\pm a_0.a_1a_2\cdots a_n\cdots\)，\(a_0\in\mathbb{Z}_+\)，\(a_n\in\{0,1,\dots,9\}\) 有尽小数是末尾接无穷个0的特殊无尽小数
等同关系 \((E_1)\)：\(-0.000\cdots=+0.000\cdots\)
\((E_2)\)：\(\pm b_0.b_1\cdots b_p999\cdots=\pm b_0.b_1\cdots (b_p+1)000\cdots\)（\(b_p<9\)）		 解决同一个实数的多表示问题，是规范小数的定义基础
规范/非规范小数 非规范小数：\(-0.000\cdots\)、以无穷个9结尾的无尽小数
规范小数：除非规范小数外的无尽小数		 每一个实数，都有唯一的规范小数表示
实数定义 彼此等同的无尽小数构成的等价类，称为实数 规范表示是实数的唯一“标识”
相反数 非0实数：规范表示数字相同、符号相反，互为相反数
0的相反数是0		 实数\(x\)的相反数记为\(-x\)
实数的大小比较 非负实数比较 规范表示\(a=a_0.a_1\cdots,b=b_0.b_1\cdots\)，前\(p-1\)位相同，\(a_p>b_p\)，则\(a>b\) 高位优先，逐位比较
负实数比较 规范表示\(-c=-c_0.c_1\cdots,-d=-d_0.d_1\cdots\)，前\(q-1\)位相同，\(c_q<d_q\)，则\(-c>-d\) 负数比较，绝对值小的数更大
异号实数比较 任何非负实数 > 任何负实数 0大于所有负实数
顺序核心性质 三歧性：任意\(a,b\)，\(a>b,a=b,a<b\)有且仅有一种成立
传递性：\(a>b,b>c\implies a>c\)		 实数集是全序集，为后续不等式、极限定义提供基础
稠密性定理 定理内容 对任意实数\(a<b\)，必存在有尽小数\(c\)，使得\(a<c<b\) 有尽小数（有理数）在实数系中稠密
核心意义 任意实数都可以用有尽小数无限逼近，是极限理论的基础 稠密性≠连续性，有理数也有稠密性，但无连续性
绝对值 定义 \(|x|=\begin{cases}x, & x\geq0 \\ -x, & x<0\end{cases}\) 几何意义：数轴上点到原点的距离
核心性质 1. 非负性：\(|x|\geq0\)，\(|x|=0\iff x=0\)
2. 对称性：\(|-x|=|x|\)
3. 三角不等式：\(|x+y|\leq|x|+|y|\)
4. 乘积/商的绝对值：\(|xy|=|x||y|\)，\(|x/y|=|x|/|y|(y≠0)\)		 数学分析中不等式证明、极限计算的核心工具

实数系的连续性（确界原理）知识点详解与完整证明

各位同学，今天我们讲解数学分析的核心基石——实数系的连续性（确界原理）。上一节我们以无尽小数为基础定义了实数、建立了顺序关系与稠密性，但有理数集同样具备稠密性，而确界原理刻画的连续性，是实数集区别于有理数集的本质特征，也是整个极限理论、微积分体系严谨性的根基。

一、基础术语：上界、下界与有界集

我们先明确描述集合范围的核心概念，所有讨论均基于非空实数集合（\(E \subset \mathbb{R}, E \neq \varnothing\)）。

1. 上界的定义

设\(E\)是实数集的非空子集，若存在实数\(L\)，使得

\[x \leq L,\quad \forall x \in E \]

则称集合\(E\)有上界，实数\(L\)是集合\(E\)的一个上界。

核心解读

  • 上界不唯一：若\(L\)是\(E\)的上界，那么任何大于\(L\)的实数\(L_1>L\)，都是\(E\)的上界。
    例：集合\(E=(0,1)\)，\(1、1.5、2、100\)都是它的上界，一个有上界的集合有无穷多个上界。
  • 上界的否定：集合\(E\)无上界，当且仅当对任意实数\(M\)，都存在\(x_0 \in E\)，使得\(x_0 > M\)。
    例：自然数集\(\mathbb{N}=\{0,1,2,\dots\}\)无上界。

2. 下界的定义

设\(E\)是实数集的非空子集，若存在实数\(l\)，使得

\[x \geq l,\quad \forall x \in E \]

则称集合\(E\)有下界，实数\(l\)是集合\(E\)的一个下界。

核心解读

  • 下界同样不唯一：若\(l\)是\(E\)的下界，那么任何小于\(l\)的实数\(l_1<l\)，都是\(E\)的下界。
    例：集合\(E=(0,1)\)，\(0、-0.5、-1\)都是它的下界。
  • 下界的否定：集合\(E\)无下界，当且仅当对任意实数\(m\)，都存在\(x_0 \in E\)，使得\(x_0 < m\)。
    例：整数集\(\mathbb{Z}\)既无上界也无下界。

3. 有界集的定义

若集合\(E\)既有上界，又有下界，则称\(E\)是有界集。

等价判定

集合\(E\)是有界集，当且仅当存在正实数\(M>0\)，使得

\[|x| \leq M,\quad \forall x \in E \]

（几何意义：集合\(E\)中的所有点，都落在数轴上以原点为中心、长度为\(2M\)的闭区间内）

二、上确界与下确界的定义、唯一性与核心性质

一个有上界的集合有无穷多个上界，我们自然会问：这些上界中，有没有一个最小的上界？这个最小的上界，就是上确界；同理，最大的下界，就是下确界。

1. 上确界（supremum）的严格定义

设\(E \subset \mathbb{R}, E \neq \varnothing\)，若存在实数\(M\)，同时满足以下两个条件：

  1. 上界条件：\(M\)是\(E\)的上界，即

    \[x \leq M,\quad \forall x \in E \]

  2. 最小性条件：\(M\)是\(E\)的最小上界，即任何小于\(M\)的实数\(M'\)，都不再是\(E\)的上界，用逻辑符号表示为

    \[(\forall M' < M)(\exists x' \in E)(x' > M') \]

则称\(M\)是集合\(E\)的上确界，记为\(M = \sup E\)。

核心解读与等价表述

  • 最小性条件的等价说法：集合\(E\)的任何一个上界\(M_1\)，都满足\(M_1 \geq M\)。
  • 通俗理解：上确界是集合\(E\)的“天花板”，它不仅比集合里所有元素都高，而且只要把它往下挪一点点，就会碰到集合里的元素——也就是说，集合里的元素可以无限逼近上确界。
  • 例：集合\(E=(0,1)\)，\(\sup E = 1\)。验证：
    1. 对所有\(x \in (0,1)\)，都有\(x \leq 1\)，满足上界条件；
    2. 对任意\(M' < 1\)，取\(x' = \frac{M'+1}{2}\)，则\(M' < x' < 1\)，即\(x' \in E\)且\(x' > M'\)，满足最小性条件。

2. 下确界（infimum）的严格定义

设\(E \subset \mathbb{R}, E \neq \varnothing\)，若存在实数\(m\)，同时满足以下两个条件：

  1. 下界条件：\(m\)是\(E\)的下界，即

    \[x \geq m,\quad \forall x \in E \]

  2. 最大性条件：\(m\)是\(E\)的最大下界，即任何大于\(m\)的实数\(m'\)，都不再是\(E\)的下界，用逻辑符号表示为

    \[(\forall m' > m)(\exists x' \in E)(x' < m') \]

则称\(m\)是集合\(E\)的下确界，记为\(m = \inf E\)。

核心解读

  • 最大性条件的等价说法：集合\(E\)的任何一个下界\(l_1\)，都满足\(l_1 \leq m\)。
  • 例：集合\(E=\{\frac{1}{n} \mid n \in \mathbb{N}_+\}\)，\(\inf E = 0\)。验证：
    1. 对所有\(n \in \mathbb{N}_+\)，都有\(\frac{1}{n} \geq 0\)，满足下界条件；
    2. 对任意\(m' > 0\)，取\(n > \frac{1}{m'}\)，则\(x' = \frac{1}{n} < m'\)，且\(x' \in E\)，满足最大性条件。

3. 确界的唯一性定理

定理内容：若非空集合\(E\)的上确界（或下确界）存在，则必唯一。

上确界唯一性的完整证明

设\(M_1\)和\(M_2\)都是集合\(E\)的上确界，我们证明\(M_1=M_2\)：

  • 因为\(M_1\)是\(E\)的上确界，所以\(M_1\)是\(E\)的一个上界；而\(M_2\)是\(E\)的最小上界，因此\(M_2 \leq M_1\)。
  • 同理，因为\(M_2\)是\(E\)的上确界，所以\(M_2\)是\(E\)的一个上界；而\(M_1\)是\(E\)的最小上界，因此\(M_1 \leq M_2\)。

由实数顺序的三歧性，同时满足\(M_1 \leq M_2\)和\(M_2 \leq M_1\)，只能有\(M_1 = M_2\)。
下确界的唯一性可完全同理证明。

4. 确界与最值的核心区别

这是初学者最容易混淆的知识点，我们用表格明确区分：

概念 定义核心 是否属于集合 存在条件
最大值\(\max E\) 集合中最大的元素，即\(\exists M \in E\)，使得\(\forall x \in E, x \leq M\) 必须属于\(E\) 非空、有上界，且上确界属于集合
上确界\(\sup E\) 集合的最小上界 可以属于\(E\)，也可以不属于\(E\) 非空、有上界（实数集内）

关键结论：若集合\(E\)有最大值\(\max E\)，则\(\max E = \sup E\)；反之，上确界存在，不代表最大值存在。
例：\(E=(0,1)\)，\(\sup E=1\)，但\(\max E\)不存在，因为\(1 \notin E\)；\(E=[0,1]\)，\(\sup E=1=\max E\)，\(\inf E=0=\min E\)。

三、上下确界的对偶性（相反数集合的确界关系）

我们定义集合\(E\)的相反数集合：\(-E = \{ -x \mid x \in E \}\)，即把\(E\)中所有元素取相反数得到的集合。
上下确界有完美的对偶关系，我们给出完整的证明，而非仅让读者验证。

性质1：集合\(E\)有上界（下界）的充要条件是\(-E\)有下界（上界）

充分必要条件完整证明

我们先证“\(E\)有上界\(\iff -E\)有下界”：

  • 必要性（\(\implies\)）：若\(E\)有上界，则存在\(L \in \mathbb{R}\)，使得\(\forall x \in E, x \leq L\)。
    对不等式两边乘\(-1\)，不等号反向，得\(-x \geq -L\)，\(\forall -x \in -E\)。
    因此\(-L\)是\(-E\)的一个下界，即\(-E\)有下界。
  • 充分性（\(\impliedby\)）：若\(-E\)有下界，则存在\(l \in \mathbb{R}\)，使得\(\forall y \in -E, y \geq l\)。
    而\(y=-x, x \in E\)，代入得\(-x \geq l\)，即\(x \leq -l\)，\(\forall x \in E\)。
    因此\(-l\)是\(E\)的一个上界，即\(E\)有上界。

同理可证“\(E\)有下界\(\iff -E\)有上界”，只需将上述证明中的不等号反向即可。

性质2：集合\(E\)有上确界的充要条件是\(-E\)有下确界，且

\[\sup E = -\inf(-E) \]

完整证明

  • 必要性与等式证明：设\(M = \sup E\)，我们证明\(-M = \inf(-E)\)，即验证\(-M\)满足下确界的两个条件：

    1. 下界条件：因为\(M\)是\(E\)的上界，所以\(\forall x \in E, x \leq M\)，即\(-x \geq -M\)，\(\forall -x \in -E\)。因此\(-M\)是\(-E\)的一个下界。
    2. 最大性条件：对任意\(m' > -M\)，则\(-m' < M\)。因为\(M = \sup E\)，所以存在\(x' \in E\)，使得\(x' > -m'\)，两边乘\(-1\)得\(-x' < m'\)，而\(-x' \in -E\)。因此任何大于\(-M\)的实数都不是\(-E\)的下界，满足最大性条件。

    综上，\(-M = \inf(-E)\)，即\(\sup E = -\inf(-E)\)。

  • 充分性：若\(-E\)有下确界\(m = \inf(-E)\)，则同理可证\(-m = \sup E\)，即\(E\)有上确界。

性质3：集合\(E\)有下确界的充要条件是\(-E\)有上确界，且

\[\inf E = -\sup(-E) \]

证明与性质2完全对称，只需将上确界和下确界的条件互换，利用对偶性即可完成。

核心意义：这个对偶关系让我们可以把上确界的结论完全平移到下确界，后续证明确界原理时，我们只需证明其中一种陈述，另一种可直接通过对偶性推出。

四、实数系的核心性质——确界原理（连续性）

1. 确界原理的两种等价陈述

确界原理是实数系连续性的核心刻画，它有两种完全等价的表述：

  1. 标准陈述：实数集\(\mathbb{R}\)的任何非空、有上界的子集\(D\)，在\(\mathbb{R}\)中必有上确界。
  2. 第二陈述：实数集\(\mathbb{R}\)的任何非空、有下界的子集\(E\)，在\(\mathbb{R}\)中必有下确界。

两种陈述的等价性证明

  • 标准陈述\(\implies\)第二陈述：设\(E\)是\(\mathbb{R}\)中非空、有下界的子集，由对偶性质1，\(-E\)是\(\mathbb{R}\)中非空、有上界的子集。根据标准陈述，\(-E\)有上确界\(\sup(-E)\)；再由对偶性质3，\(\inf E = -\sup(-E)\)，即\(E\)有下确界。
  • 第二陈述\(\implies\)标准陈述：完全同理，利用对偶性可证。

2. 确界原理的核心意义

这是实数与有理数的本质区别：有理数集\(\mathbb{Q}\)不满足确界原理。
例：集合\(E = \{ x \in \mathbb{Q} \mid x^2 < 2 \}\)，它在\(\mathbb{Q}\)中是非空、有上界的（比如\(2\)是它的上界），但在\(\mathbb{Q}\)中没有上确界——因为它的最小上界是\(\sqrt{2}\)，而\(\sqrt{2}\)不是有理数。
这就是有理数集的“空隙”，而实数集通过确界原理填补了所有空隙，具备了连续性（完备性），这也是微积分只能建立在实数集上的根本原因。

3. 确界原理的完整严谨证明

我们基于上一节的无尽小数表示，证明确界原理的第二陈述：\(\mathbb{R}\)的任何非空、有下界的子集\(E\)，在\(\mathbb{R}\)中必有下确界。

证明前置约定

为书写方便，我们约定记号\(\frac{1}{10^n}\)代表有尽小数\(\underbrace{0.0\cdots0}_{n个0}1\)，即小数点后第\(n\)位为1、其余为0的有尽小数。

我们分两种情形全覆盖证明：

情形1：\(0\)是集合\(E\)的一个下界

即对所有\(x \in E\)，都有\(x \geq 0\)，\(E\)中的元素都是非负实数。

步骤1：逐位构造无尽小数

因为\(E \neq \varnothing\)，所以存在\(x \in E\)，又存在自然数\(k \in \mathbb{N}\)，使得\(k > x\)，因此\(k\)不是\(E\)的下界，而\(0\)是\(E\)的下界。

  1. 整数部分构造：依次考察\(0,1,\dots,k-1\)这些整数，必然存在\(a_0 \in \{0,1,\dots,k-1\}\)，使得：
    • \(a_0\)是\(E\)的一个下界；
    • \(a_0 + 1\)不是\(E\)的下界。
  2. 第一位小数构造：依次考察\(a_0.0, a_0.1, \dots, a_0.9\)这些有尽小数，必然存在\(a_1 \in \{0,1,\dots,9\}\)，使得：
    • \(a_0.a_1\)是\(E\)的一个下界；
    • \(a_0.a_1 + \frac{1}{10}\)不是\(E\)的下界。
  3. 第n位小数构造：重复上述过程，对任意正整数\(n\)，必然存在\(a_n \in \{0,1,\dots,9\}\)，使得：
    • \(a_0.a_1a_2\cdots a_n\)是\(E\)的一个下界；
    • \(a_0.a_1a_2\cdots a_n + \frac{1}{10^n}\)不是\(E\)的下界。

由此，我们得到一个无尽小数：

\[a = a_0.a_1a_2\cdots a_n\cdots \]

步骤2：证明\(a\)是规范小数

规范小数的定义是：不以无穷个9结尾的无尽小数（除\(0.000\cdots\)外）。我们用反证法证明：
假设\(a\)是非规范小数，那么必然存在正整数\(p\)，使得\(a_{p+1}=a_{p+2}=\dots=9\)，即\(a\)从第\(p+1\)位开始全是9。

对任意\(\beta \in E\)，\(\beta\)的规范小数表示为\(\beta_0.\beta_1\beta_2\cdots\)，因为\(a_0.a_1\cdots a_p\)是\(E\)的下界，所以\(\beta \geq a_0.a_1\cdots a_p\)。
若\(\beta\)的前\(p\)位与\(a\)完全相同，那么因为\(\beta\)是规范小数，不可能从某一位开始全是9，因此必然存在\(n>p\)，使得\(\beta_n < 9\)，此时\(\beta < a_0.a_1\cdots a_p + \frac{1}{10^p}\)，与\(\beta \geq a\)矛盾。
因此，必然存在\(q \in \{0,1,\dots,p\}\)，使得\(\beta_0=a_0,\dots,\beta_{q-1}=a_{q-1}\)，且\(\beta_q \geq a_q + 1\)，于是：

\[\beta \geq a_0.a_1\cdots a_{q-1}(a_q+1) \geq a_0.a_1\cdots a_{p-1}(a_p+1) = a_0.a_1\cdots a_p + \frac{1}{10^p} \]

这说明：对所有\(\beta \in E\)，都有\(\beta \geq a_0.a_1\cdots a_p + \frac{1}{10^p}\)，即\(a_0.a_1\cdots a_p + \frac{1}{10^p}\)是\(E\)的一个下界。
但这与我们构造\(a_p\)时的结论“\(a_0.a_1\cdots a_p + \frac{1}{10^p}\)不是\(E\)的下界”完全矛盾。

因此，假设不成立，\(a = a_0.a_1a_2\cdots\)必定是规范小数。

步骤3：证明\(a\)是\(E\)的下确界

我们验证\(a\)满足下确界的两个条件：

  1. 下界条件：对任意\(\gamma \in E\)，必有\(\gamma \geq a\)。
    反证：若存在\(\gamma \in E\)，使得\(\gamma < a\)，则根据实数的大小比较规则，必然存在正整数\(k\)，使得\(\gamma < a_0.a_1\cdots a_k\)。但\(a_0.a_1\cdots a_k\)是我们构造的\(E\)的下界，即所有\(\gamma \in E\)都满足\(\gamma \geq a_0.a_1\cdots a_k\)，矛盾。因此\(\gamma \geq a\)对所有\(\gamma \in E\)成立，\(a\)是\(E\)的下界。

  2. 最大性条件：对任意\(b > a\)，\(b\)都不是\(E\)的下界。
    因为\(b > a\)，根据实数的大小比较规则，必然存在正整数\(k\)，使得\(b \geq a_0.a_1\cdots a_k + \frac{1}{10^k}\)。而根据我们的构造，\(a_0.a_1\cdots a_k + \frac{1}{10^k}\)不是\(E\)的下界，因此比它更大的\(b\)更不可能是\(E\)的下界。

综上，\(a\)满足下确界的两个条件，即\(a = \inf E\)，情形1得证。

情形2：\(0\)不是集合\(E\)的一个下界

即存在\(x \in E\)，使得\(x < 0\)，因此\(E\)的所有下界\(l\)都满足\(l < 0\)。

我们构造新的集合：

\[F = \{ -l \mid l \text{ 是 } E \text{ 的下界} \} \]

步骤1：转化为情形1的条件
  • 首先，\(F\)是非空集合：因为\(E\)有下界，所以存在\(l\)是\(E\)的下界，因此\(-l \in F\)，\(F \neq \varnothing\)。
  • 其次，\(0\)是\(F\)的一个下界：因为\(E\)的所有下界\(l < 0\)，所以\(-l > 0\)，即对所有\(y \in F\)，都有\(y > 0 \geq 0\)，因此\(0\)是\(F\)的下界。
步骤2：利用情形1的结论

根据情形1的证明，非空、以0为下界的集合\(F\)在\(\mathbb{R}\)中必有下确界，记为\(c = \inf F\)。

步骤3：证明\(a = -c\)是\(E\)的下确界

我们验证\(a=-c\)满足下确界的两个条件：

  1. 下界条件：对任意\(\gamma \in E\)，\(\gamma \geq a\)。
    对\(E\)的任意一个下界\(l\)，都有\(\gamma \geq l\)，两边乘\(-1\)得\(-\gamma \leq -l\)。而\(-l \in F\)，因此\(-\gamma\)是\(F\)的一个下界。
    因为\(c = \inf F\)是\(F\)的最大下界，所以\(-\gamma \leq c\)，两边乘\(-1\)得\(\gamma \geq -c = a\)。因此\(a\)是\(E\)的下界。

  2. 最大性条件：对任意\(b > a\)，\(b\)都不是\(E\)的下界。
    若\(b > a = -c\)，则\(-b < c\)。因为\(c = \inf F\)是\(F\)的最大下界，所以\(-b\)不是\(F\)的下界，即\(-b \notin F\)。
    而\(F\)是\(E\)的所有下界的相反数构成的集合，因此\(-b \notin F\)意味着\(b\)不是\(E\)的下界。

综上，\(a=-c\)是\(E\)的下确界，情形2得证。

两种情形全部证明完毕，因此确界原理的第二陈述成立，由等价性，标准陈述也成立。

五、核心知识点归纳总结表

模块分类 核心概念 严格定义/定理内容 关键解读与注意事项
基础范围概念 上界 设\(E\subset\mathbb{R},E\neq\varnothing\)，若\(\exists L\in\mathbb{R}\)，使得\(\forall x\in E, x\leq L\)，则\(L\)是\(E\)的上界 上界不唯一，有无穷多个；有上界不代表有最大值
下界 设\(E\subset\mathbb{R},E\neq\varnothing\)，若\(\exists l\in\mathbb{R}\)，使得\(\forall x\in E, x\geq l\)，则\(l\)是\(E\)的下界 下界不唯一，有无穷多个；有下界不代表有最小值
有界集 集合\(E\)既有上界又有下界，等价于\(\exists M>0\)，使得$\forall x\in E, x
确界核心定义 上确界\(\sup E\) 满足两个条件：
1. 上界条件：\(\forall x\in E, x\leq M\)
2. 最小性：\(\forall M'<M, \exists x'\in E, x'>M'\)		 唯一的最小上界；可以属于\(E\)，也可以不属于\(E\)；若\(\max E\)存在，则\(\max E=\sup E\)
下确界\(\inf E\) 满足两个条件：
1. 下界条件：\(\forall x\in E, x\geq m\)
2. 最大性：\(\forall m'>m, \exists x'\in E, x'<m'\)		 唯一的最大下界；可以属于\(E\)，也可以不属于\(E\)；若\(\min E\)存在，则\(\min E=\inf E\)
确界唯一性 若非空集合\(E\)的上/下确界存在，则必唯一 由实数顺序的三歧性证明，是确界运算的基础
对偶性质 相反数集合的确界关系 1. \(E\)有上界\(\iff -E\)有下界，\(E\)有下界\(\iff -E\)有上界
2. \(\sup E = -\inf(-E)\)
3. \(\inf E = -\sup(-E)\)		 实现上下确界的结论完全平移，简化证明与计算
确界原理（连续性） 标准陈述 \(\mathbb{R}\)的任何非空、有上界的子集，在\(\mathbb{R}\)中必有上确界 实数连续性的核心刻画，是实数区别于有理数的本质特征
第二陈述 \(\mathbb{R}\)的任何非空、有下界的子集，在\(\mathbb{R}\)中必有下确界 与标准陈述完全等价，可通过对偶性互推
核心意义 填补了有理数集的“空隙”，为极限理论提供了严谨的逻辑基础 有理数集不满足确界原理，因此微积分无法建立在有理数集上

实数的四则运算 知识点详解与完整证明

各位同学，今天我们完成实数理论的最后一块核心拼图——实数的四则运算。此前我们已经用无尽小数定义了实数、建立了顺序关系与确界原理，但实数的加减乘除尚未给出严格定义。初等数学中我们仅掌握了有理数（有尽小数）的四则运算，本节的核心思路是：以有尽小数的已知运算为基础，结合确界原理与实数的逼近性质，严格定义全体实数的四则运算，并证明运算结果的存在性与唯一性，最终让实数集成为一个具备完备性的有序域，为整个微积分体系奠定严谨的代数基础。

一、核心前置引理（四则运算证明的基础）

所有定理的证明都依赖以下三个引理，我们先逐一拆解其含义、证明与应用价值。

引理1 实数的有尽小数任意逼近定理

定理内容：设\(a\)是任意一个实数，则对任何正的有尽小数\(\varepsilon\)，存在有尽小数\(\alpha\)和\(\alpha'\)，满足

\[\alpha \leq a \leq \alpha',\quad \alpha' - \alpha < \varepsilon \]

核心解读

这个引理是我们用有尽小数定义实数运算的根本前提：任何实数都可以用有尽小数从上下两侧实现任意精度的逼近。

完整证明

  1. 对正的有尽小数\(\varepsilon = \varepsilon_0.\varepsilon_1\varepsilon_2\cdots\varepsilon_p\)，设其第一个非0数字出现在小数点后第\(k-1\)位，则必有\(\frac{1}{10^k} < \varepsilon\)（第\(k-1\)位最小为1，对应数值为\(\frac{1}{10^k}\)，小于等于\(\varepsilon\)）。
  2. 分两种情况构造\(\alpha\)和\(\alpha'\)：
    • 情况1：\(a\)为非负实数，规范表示为\(a = a_0.a_1a_2\cdots a_n\cdots\)。
      取\(\alpha = a_0.a_1\cdots a_k\)（截断到第\(k\)位的不足近似），\(\alpha' = a_0.a_1\cdots a_k + \frac{1}{10^k}\)（过剩近似）。
      显然\(\alpha \leq a \leq \alpha'\)，且\(\alpha' - \alpha = \frac{1}{10^k} < \varepsilon\)。
    • 情况2：\(a\)为负实数，规范表示为\(a = -a_0.a_1a_2\cdots a_n\cdots\)（\(a_0.a_1\cdots\)为正规范小数）。
      取\(\alpha = -a_0.a_1\cdots a_k - \frac{1}{10^k}\)，\(\alpha' = -a_0.a_1\cdots a_k\)。
      显然\(\alpha \leq a \leq \alpha'\)，且\(\alpha' - \alpha = \frac{1}{10^k} < \varepsilon\)。

两种情况均满足条件，引理1得证。

引理2 实数相等的逼近判定准则

定理内容：设\(c\)和\(c'\)是实数，\(c \leq c'\)。如果对任何正的有尽小数\(\varepsilon\)，存在有尽小数\(\gamma\)和\(\gamma'\)，满足

\[\gamma \leq c \leq c' \leq \gamma',\quad \gamma' - \gamma < \varepsilon \]

则必有\(c = c'\)。

核心解读

这个引理是证明运算结果唯一性的核心工具：如果两个实数能被同一组有尽小数区间以任意精度嵌套覆盖，那么这两个实数必然相等。

完整证明（反证法）

假设\(c < c'\)，根据实数的稠密性定理，两个不相等的实数之间必存在两个不同的有尽小数\(\eta\)和\(\eta'\)，使得

\[c < \eta < \eta' < c' \]

取\(\varepsilon = \eta' - \eta\)，这是一个正的有尽小数。根据引理的前提，对这个\(\varepsilon\)应存在\(\gamma,\gamma'\)满足\(\gamma \leq c \leq c' \leq \gamma'\)且\(\gamma' - \gamma < \varepsilon\)。

但由\(\gamma \leq c < \eta < \eta' < c' \leq \gamma'\)，可得\(\gamma' - \gamma \geq \eta' - \eta = \varepsilon\)，与\(\gamma' - \gamma < \varepsilon\)矛盾。

因此假设不成立，必有\(c = c'\)，引理2得证。

引理3 线性组合的任意小逼近

定理内容：设\(\varepsilon\)是正的有尽小数，\(M\)和\(N\)是自然数，则存在正的有尽小数\(\varepsilon'\)和\(\varepsilon''\)，使得

\[M\varepsilon' + N\varepsilon'' < \varepsilon \]

核心解读

这个引理用于处理乘法、倒数运算的误差拆分：对固定的自然数\(M,N\)，总能找到足够小的正有尽小数，让它们的线性组合任意小。

完整证明

  1. 同引理1，对正的有尽小数\(\varepsilon\)，取\(k\)使得\(\frac{1}{10^k} < \varepsilon\)。
  2. 取自然数\(m,n\)满足\(10^m \geq M\)，\(10^n \geq N\)（\(M,N\)为固定自然数，总能找到这样的\(m,n\)）。
  3. 取\(\varepsilon' = \frac{1}{10^{m+k+1}}\)，\(\varepsilon'' = \frac{1}{10^{n+k+1}}\)，则：

    \[M\varepsilon' + N\varepsilon'' \leq 10^m \cdot \frac{1}{10^{m+k+1}} + 10^n \cdot \frac{1}{10^{n+k+1}} = \frac{2}{10^{k+1}} < \frac{1}{10^k} < \varepsilon \]

满足条件，引理3得证。

二、实数的加法与减法

定理1 实数和的存在性与唯一性

定理内容：设\(a\)和\(b\)是实数，则存在唯一实数\(u\)，使得对满足条件

\[\alpha \leq a \leq \alpha',\quad \beta \leq b \leq \beta' \]

的任何有尽小数\(\alpha,\alpha',\beta,\beta'\)，都有

\[\alpha + \beta \leq u \leq \alpha' + \beta' \]

核心解读

这个定理说明：所有小于等于\(a,b\)的有尽小数的和，与所有大于等于\(a,b\)的有尽小数的和，共同唯一锁定了一个实数，这个实数就是\(a\)与\(b\)的和。

完整证明

1. 存在性证明

构造集合

\[S = \left\{ \alpha + \beta \mid \alpha,\beta \text{ 是有尽小数，且 } \alpha \leq a,\ \beta \leq b \right\} \]

  • \(S\)非空：根据实数的稠密性，必存在有尽小数\(\alpha \leq a\)、\(\beta \leq b\)，因此\(\alpha+\beta \in S\)，\(S \neq \varnothing\)。
  • \(S\)有上界：取有尽小数\(\alpha' \geq a\)、\(\beta' \geq b\)，则对任意\(\alpha+\beta \in S\)，都有\(\alpha+\beta \leq \alpha'+\beta'\)，即\(\alpha'+\beta'\)是\(S\)的一个上界。

根据确界原理，非空有上界的实数集必有唯一上确界，因此\(u = \sup S\)存在。

验证\(u\)满足定理条件：

  • 对任意\(\alpha \leq a,\beta \leq b\)，\(\alpha+\beta \in S\)，故\(\alpha+\beta \leq \sup S = u\)；
  • 对任意\(\alpha' \geq a,\beta' \geq b\)，\(\alpha'+\beta'\)是\(S\)的上界，而\(u\)是最小上界，故\(u \leq \alpha'+\beta'\)。

存在性得证。

2. 唯一性证明

假设存在两个实数\(u_1,u_2\)都满足定理条件，不妨设\(u_1 \leq u_2\)，我们用引理2证明\(u_1=u_2\)。

对任意正的有尽小数\(\varepsilon\)，根据引理3（取\(M=N=1\)），存在正的有尽小数\(\varepsilon',\varepsilon''\)，使得\(\varepsilon' + \varepsilon'' < \varepsilon\)。

再根据引理1：

  • 对\(a\)，存在有尽小数\(\alpha,\alpha'\)，满足\(\alpha \leq a \leq \alpha'\)，且\(\alpha' - \alpha < \varepsilon'\)；
  • 对\(b\)，存在有尽小数\(\beta,\beta'\)，满足\(\beta \leq b \leq \beta'\)，且\(\beta' - \beta < \varepsilon''\)。

由\(u_1,u_2\)的定义，有：

\[\alpha+\beta \leq u_1 \leq \alpha'+\beta',\quad \alpha+\beta \leq u_2 \leq \alpha'+\beta' \]

因此\(\alpha+\beta \leq u_1 \leq u_2 \leq \alpha'+\beta'\)。

计算区间长度：

\[(\alpha'+\beta') - (\alpha+\beta) = (\alpha'-\alpha) + (\beta'-\beta) < \varepsilon' + \varepsilon'' < \varepsilon \]

根据引理2，对任意正的有尽小数\(\varepsilon\)都满足上述条件，故\(u_1=u_2\)，唯一性得证。

加法与减法的定义

  1. 加法定义：定理1中唯一确定的实数\(u\)，称为实数\(a\)与\(b\)的和，记为\(a+b\)，即

    \[a + b = \sup\left\{ \alpha+\beta \mid \alpha,\beta \text{ 是有尽小数，} \alpha\leq a,\beta\leq b \right\} \]

  2. 减法定义：实数\(a\)与\(b\)的差定义为\(a\)与\(-b\)的和，即

    \[a - b = a + (-b) \]

    其中\(-b\)是\(b\)的相反数（上一节已定义），减法是加法的逆运算。

三、实数的乘法

我们先定义非负实数的乘法（避免符号干扰，保序性更清晰），再推广到全体实数。

定理2 非负实数乘积的存在性与唯一性

定理内容：设\(a\)和\(b\)是非负实数，则存在唯一实数\(v\)，使得对满足条件

\[0 \leq \alpha \leq a \leq \alpha',\quad 0 \leq \beta \leq b \leq \beta' \]

的任何有尽小数\(\alpha,\alpha',\beta,\beta'\)，都有

\[\alpha\beta \leq v \leq \alpha'\beta' \]

完整证明

1. 存在性证明

构造集合

\[T = \left\{ \alpha\beta \mid \alpha,\beta \text{ 是有尽小数，且 } 0\leq \alpha \leq a,\ 0\leq \beta \leq b \right\} \]

  • \(T\)非空：取\(\alpha=0\leq a\)，\(\beta=0\leq b\)，则\(0 \in T\)，\(T \neq \varnothing\)。
  • \(T\)有上界：取有尽小数\(\alpha' \geq a\)、\(\beta' \geq b\)，则对任意\(\alpha\beta \in T\)，有\(\alpha\beta \leq \alpha'\beta'\)，即\(\alpha'\beta'\)是\(T\)的上界。

根据确界原理，\(v = \sup T\)存在。

验证\(v\)满足定理条件：

  • 对任意\(0\leq\alpha\leq a,0\leq\beta\leq b\)，\(\alpha\beta \in T\)，故\(\alpha\beta \leq v\)；
  • 对任意\(\alpha'\geq a,\beta'\geq b\)，\(\alpha'\beta'\)是\(T\)的上界，故\(v \leq \alpha'\beta'\)。

存在性得证。

2. 唯一性证明

假设存在两个非负实数\(v_1,v_2\)都满足定理条件，不妨设\(v_1 \leq v_2\)，用引理2证明\(v_1=v_2\)。

首先，\(a,b\)为非负实数，必存在自然数\(M,N\)，使得\(0\leq a < M\)，\(0\leq b < N\)。

对任意正的有尽小数\(\varepsilon\)，根据引理3，存在正的有尽小数\(\varepsilon',\varepsilon''\)，使得\(M\varepsilon' + N\varepsilon'' < \varepsilon\)。

再根据引理1：

  • 对\(a\)，存在有尽小数\(\alpha,\alpha'\)，满足\(0\leq\alpha\leq a\leq\alpha'<M\)，且\(\alpha' - \alpha < \varepsilon''\)；
  • 对\(b\)，存在有尽小数\(\beta,\beta'\)，满足\(0\leq\beta\leq b\leq\beta'<N\)，且\(\beta' - \beta < \varepsilon'\)。

由\(v_1,v_2\)的定义，有：

\[\alpha\beta \leq v_1 \leq \alpha'\beta',\quad \alpha\beta \leq v_2 \leq \alpha'\beta' \]

因此\(\alpha\beta \leq v_1 \leq v_2 \leq \alpha'\beta'\)。

对乘积的差做代数拆分（加一项减一项）：

\[\alpha'\beta' - \alpha\beta = \alpha'\beta' - \alpha'\beta + \alpha'\beta - \alpha\beta = \alpha'(\beta' - \beta) + \beta(\alpha' - \alpha) \]

代入不等式放缩：

\[\alpha'(\beta' - \beta) < M\varepsilon',\quad \beta(\alpha' - \alpha) < N\varepsilon'' \]

因此：

\[\alpha'\beta' - \alpha\beta < M\varepsilon' + N\varepsilon'' < \varepsilon \]

根据引理2，\(v_1=v_2\)，唯一性得证。

乘法的定义

  1. 非负实数的乘法：定理2中唯一确定的实数\(v\)，称为非负实数\(a\)与\(b\)的乘积，记为\(ab\)，即

    \[ab = \sup\left\{ \alpha\beta \mid \alpha,\beta \text{ 是有尽小数，} 0\leq\alpha\leq a,0\leq\beta\leq b \right\} \]

  2. 全体实数的乘法：任意实数\(a\)与\(b\)的乘积\(ab\)定义为：

    \[ab = \begin{cases} |a||b|, & \text{若 } a \text{ 与 } b \text{ 同号}, \\ -(|a||b|), & \text{若 } a \text{ 与 } b \text{ 异号}. \end{cases} \]

    其中\(|a||b|\)为非负实数的乘积，通过符号规则将乘法推广到全体实数。

四、实数的除法

除法是乘法的逆运算，我们先定义正实数的倒数，再推广到全体实数的除法。

前置定义：有尽小数的近似商

对正的有尽小数\(\alpha,\beta\)和自然数\(n\)，通过长除法可唯一确定有尽小数\(\gamma = \gamma_0.\gamma_1\cdots\gamma_n\)，满足

\[\gamma\cdot\alpha \leq \beta < \left(\gamma + \frac{1}{10^n}\right)\cdot\alpha \]

  • \(\gamma\)称为\(\beta\div\alpha\)精确到小数点后\(n\)位的不足近似商，记为\(\left(\frac{\beta}{\alpha}\right)_n = \gamma\)；
  • \(\gamma + \frac{1}{10^n}\)称为过剩近似商，记为\(\left(\frac{\beta}{\alpha}\right)'_n = \gamma + \frac{1}{10^n}\)。

定理3 正实数倒数的存在性与唯一性

定理内容：对任何正实数\(a\)，存在唯一的正实数\(w\)，使得对满足条件

\[0 < \alpha \leq a \leq \alpha' \]

的任何有尽小数\(\alpha,\alpha'\)和任意自然数\(m,n\)，都有

\[\left(\frac{1}{\alpha'}\right)_m \leq w \leq \left(\frac{1}{\alpha}\right)'_n \]

完整证明

1. 存在性证明

首先证明：对任意\(0<\alpha\leq a\leq\alpha'\)和任意自然数\(m,n\)，必有\(\left(\frac{1}{\alpha'}\right)_m \leq \left(\frac{1}{\alpha}\right)'_n\)。

由近似商的定义：

\[\alpha'\cdot\left(\frac{1}{\alpha'}\right)_m \leq 1 \leq \alpha\cdot\left(\frac{1}{\alpha}\right)'_n \]

结合\(\alpha \leq \alpha'\)，得\(\alpha'\cdot\left(\frac{1}{\alpha'}\right)_m \leq \alpha'\cdot\left(\frac{1}{\alpha}\right)'_n\)，两边除以正的\(\alpha'\)，即得\(\left(\frac{1}{\alpha'}\right)_m \leq \left(\frac{1}{\alpha}\right)'_n\)。

构造集合

\[W = \left\{ \left(\frac{1}{\alpha'}\right)_m \mid \alpha' \text{ 是有尽小数，} \alpha'\geq a,\ m\in\mathbb{N} \right\} \]

  • \(W\)非空：\(\alpha'\geq a>0\)，故\(\left(\frac{1}{\alpha'}\right)_m\)存在，\(W\neq\varnothing\)；
  • \(W\)有上界：任意\(\left(\frac{1}{\alpha}\right)'_n\)都是\(W\)的上界。

根据确界原理，\(w = \sup W\)存在且为正实数。

验证\(w\)满足定理条件：

  • 对任意\(\left(\frac{1}{\alpha'}\right)_m \in W\)，有\(\left(\frac{1}{\alpha'}\right)_m \leq w\)；
  • 对任意\(\left(\frac{1}{\alpha}\right)'_n\)，它是\(W\)的上界，故\(w \leq \left(\frac{1}{\alpha}\right)'_n\)。

存在性得证。

2. 唯一性证明

假设存在两个正实数\(w_1,w_2\)都满足定理条件，不妨设\(w_1\leq w_2\)，用引理2证明\(w_1=w_2\)。

首先，\(a\)为正实数，必存在正有尽小数\(\sigma\)和自然数\(M\)，使得\(0<\sigma<a<M\)。

对任意正的有尽小数\(\varepsilon\)，根据引理3，存在正的有尽小数\(\varepsilon',\varepsilon''\)，使得\(\sigma^2\varepsilon' + M^2\varepsilon'' < \sigma^2\varepsilon\)。

再根据引理1，选取有尽小数\(\alpha,\alpha'\)满足\(0<\sigma<\alpha\leq a\leq\alpha'<M\)，且\(\alpha'-\alpha<\sigma^2\varepsilon'\)；同时选取自然数\(n\)使得\(\frac{1}{10^{n-1}} < \varepsilon''\)。

通过代数变形可证：

\[\left(\frac{1}{\alpha}\right)'_n - \left(\frac{1}{\alpha'}\right)_n < \varepsilon \]

而\(w_1,w_2\)满足\(\left(\frac{1}{\alpha'}\right)_n \leq w_1 \leq w_2 \leq \left(\frac{1}{\alpha}\right)'_n\)，故\(w_2 - w_1 < \varepsilon\)。

根据引理2，\(w_1=w_2\)，唯一性得证。

倒数与除法的定义

  1. 倒数定义：定理3中唯一确定的正实数\(w\)，称为正实数\(a\)的倒数，记为\(\frac{1}{a}\)；负实数\(a\)的倒数定义为\(-\frac{1}{|a|}\)；0没有倒数。

  2. 除法定义：任意实数\(b\)除以非0实数\(a\)的商\(\frac{b}{a}\)，定义为\(b\)与\(\frac{1}{a}\)的乘积，即

    \[\frac{b}{a} = b \cdot \frac{1}{a} = \begin{cases} \frac{1}{|a|}\cdot|b|, & \text{若 } a \text{ 与 } b \text{ 同号}, \\ -\frac{1}{|a|}\cdot|b|, & \text{若 } a \text{ 与 } b \text{ 异号}. \end{cases} \]

五、本节核心意义

通过本节的定义与证明，我们完成了关键工作：

  1. 将有理数的四则运算完整推广到全体实数，且实数的四则运算满足加法交换律/结合律、乘法交换律/结合律、乘法对加法的分配律，具备0和1的单位元性质、相反数与倒数的逆元性质；
  2. 结合此前的顺序关系与确界原理，实数集成为了一个完备的有序域，彻底填补了有理数集的“空隙”，为极限理论、微积分的严谨化提供了完整的数域基础。

六、核心知识点归纳总结表

模块分类 核心内容 严格定义/定理 关键解读与意义
前置引理 引理1：实数的有尽小数逼近 对任意实数\(a\)和正有尽小数\(\varepsilon\)，存在有尽小数\(\alpha\leq a\leq\alpha'\)，且\(\alpha'-\alpha<\varepsilon\) 任何实数都能用有尽小数任意精度逼近，是实数运算定义的基础
引理2：实数相等的逼近判定 若\(c\leq c'\)，且对任意正有尽小数\(\varepsilon\)，存在\(\gamma\leq c\leq c'\leq\gamma'\)且\(\gamma'-\gamma<\varepsilon\)，则\(c=c'\) 证明运算结果唯一性的核心工具
引理3：线性组合的任意小 对正有尽小数\(\varepsilon\)和自然数\(M,N\)，存在正有尽小数\(\varepsilon',\varepsilon''\)，使得\(M\varepsilon'+N\varepsilon''<\varepsilon\) 处理乘法、倒数的误差拆分
加法与减法 定理1：和的存在唯一性 存在唯一实数\(u\)，对任意\(\alpha\leq a\leq\alpha',\beta\leq b\leq\beta'\)，有\(\alpha+\beta\leq u\leq\alpha'+\beta'\) 用有尽小数的和的上下界唯一锁定实数的和
加法定义 \(a+b = \sup\left\{ \alpha+\beta \mid \alpha,\beta\text{ 有尽小数，}\alpha\leq a,\beta\leq b \right\}\) 基于确界原理的严格定义，兼容有理数加法
减法定义 \(a-b = a+(-b)\) 减法是加法的逆运算，通过相反数定义
乘法 定理2：非负实数乘积的存在唯一性 存在唯一实数\(v\)，对任意\(0\leq\alpha\leq a\leq\alpha',0\leq\beta\leq b\leq\beta'\)，有\(\alpha\beta\leq v\leq\alpha'\beta'\) 用有尽小数的乘积的上下界唯一锁定非负实数的乘积
乘法定义 非负实数：\(ab=\sup\left\{ \alpha\beta \mid \alpha,\beta\text{ 有尽小数，}0\leq\alpha\leq a,0\leq\beta\leq b \right\}\)
全体实数：同号得正，异号得负，绝对值相乘		 通过符号规则推广到全体实数，兼容有理数乘法
除法 定理3：正实数倒数的存在唯一性 存在唯一正实数\(w\)，对任意\(0<\alpha\leq a\leq\alpha'\)，有\(\left(\frac{1}{\alpha'}\right)_m \leq w \leq \left(\frac{1}{\alpha}\right)'_n\) 用近似商的上下界唯一锁定正实数的倒数
倒数定义 正实数\(a\)的倒数为\(\frac{1}{a}\)；负实数\(a\)的倒数为$-\frac{1}{ a
除法定义 \(\frac{b}{a} = b\cdot\frac{1}{a}\)，同号得正，异号得负，绝对值相除 除法是乘法的逆运算，除数不能为0
核心结论 实数域的性质 实数集是完备的有序域，满足四则运算的所有运算律、顺序关系与确界原理 微积分的严谨数域基础，区别于有理数域的核心是完备性（连续性）

实数系的基本性质综述 知识点详解

本节是实数理论的收官总结，我们将前面建立的实数定义、四则运算、顺序关系、确界原理整合为三大核心性质，最终明确实数集的本质定位——连续的有序域。这三大性质是整个数学分析的逻辑基石，所有极限、导数、积分的理论都建立在这些性质之上。

一、运算性质（域公理）

我们在实数集\(\mathbb{R}\)中严格定义了加法和乘法两种二元运算，对任意\(a,b\in\mathbb{R}\)，都有唯一确定的\(a+b\in\mathbb{R}\)和\(a\cdot b\in\mathbb{R}\)（运算的封闭性），且满足以下9条运算律，这些运算律统称为域公理，满足域公理的集合称为域。

编号 性质名称 严格公式 核心解读与说明
\(F_1\) 加法交换律 \(a+b = b+a,\quad \forall a,b\in\mathbb{R}\) 两个实数相加，交换加数的顺序，和不变。这是加法最基础的对称性质，保证了加法运算与顺序无关。
\(F_2\) 加法结合律 \((a+b)+c = a+(b+c),\quad \forall a,b,c\in\mathbb{R}\) 三个及以上实数连加时，括号的位置不影响最终的和。这一性质让我们可以省略连加的括号，直接写\(a+b+c\)。
\(F_3\) 加法单位元（零元） \(0+a = a+0 = a,\quad \forall a\in\mathbb{R}\) 存在唯一的实数\(0\)，使得任何实数加\(0\)都等于它本身。\(0\)是加法运算的“单位元”，不改变加法的结果。
\(F_4\) 加法逆元（相反数） 对任意\(a\in\mathbb{R}\)，存在\(-a\in\mathbb{R}\)，使得\((-a)+a = a+(-a) = 0\) 对每一个实数，都存在唯一的相反数，二者相加等于零元。这一性质定义了加法的逆运算——减法：\(a-b = a+(-b)\)。
\(F_5\) 乘法交换律 \(a\cdot b = b\cdot a,\quad \forall a,b\in\mathbb{R}\) 两个实数相乘，交换乘数的顺序，积不变。和加法交换律一样，保证了乘法运算的对称性。
\(F_6\) 乘法结合律 \((a\cdot b)\cdot c = a\cdot (b\cdot c),\quad \forall a,b,c\in\mathbb{R}\) 三个及以上实数连乘时，括号的位置不影响最终的积。允许我们省略连乘的括号，直接写\(a\cdot b\cdot c\)。
\(F_7\) 乘法单位元（幺元） \(1\cdot a = a\cdot 1 = a,\quad \forall a\in\mathbb{R}\) 存在唯一的实数\(1\)（\(1\neq0\)），使得任何实数乘\(1\)都等于它本身。\(1\)是乘法运算的“单位元”，不改变乘法的结果。
\(F_8\) 乘法逆元（倒数） 对任意\(a\in\mathbb{R},a\neq0\)，存在\(a^{-1}\in\mathbb{R}\)，使得\(a^{-1}\cdot a = a\cdot a^{-1} = 1\) 对每一个非零实数，都存在唯一的倒数，二者相乘等于乘法单位元。这一性质定义了乘法的逆运算——除法：\(\frac{b}{a} = b\cdot a^{-1}(a\neq0)\)。
⚠️ 注意：\(0\)没有乘法逆元，不能做除数。
\(F_9\) 乘法对加法的分配律 \(a\cdot (b+c) = a\cdot b + a\cdot c,\quad \forall a,b,c\in\mathbb{R}\) 唯一连接加法和乘法的运算律，是四则混合运算的核心规则，我们熟悉的“去括号”“提取公因式”都基于这一性质。

核心说明

  • 实数集、有理数集、复数集都满足以上9条域公理，因此它们都是域；
  • 域公理保证了我们在实数集内可以自由进行加、减、乘、除（除数不为0）四则运算，且所有初等数学中的运算规则都自洽成立。

二、顺序性质（有序域公理）

我们在实数集\(\mathbb{R}\)中定义了严格的大小顺序关系“\(<\)”（约定\(a>b\)等价于\(b<a\)），这个顺序关系满足以下4条核心性质。在域的基础上满足这些顺序性质的集合，称为有序域。

编号 性质名称 严格公式 核心解读与说明
\(O_1\) 三歧性（全序性） 对任意\(a,b\in\mathbb{R}\)，有且仅有以下三种情形之一成立：\(a<b\)、\(a=b\)、\(a>b\) 任意两个实数都可以比较大小，且大小关系唯一，不存在无法比较的两个实数。这一性质让实数集成为全序集，对应数轴上任意两个点都能确定唯一的左右位置。
\(O_2\) 传递性 若\(a<b\)且\(b<c\)，则\(a<c,\quad \forall a,b,c\in\mathbb{R}\) 不等式的核心传递规则，是不等式推导、大小比较的基础。例如\(2<3,3<5\)，则必然有\(2<5\)。
\(O_3\) 加法保序性 若\(a<b\)，则\(a+c < b+c,\quad \forall a,b,c\in\mathbb{R}\) 不等式两边同时加上同一个实数，不等号的方向保持不变。这是不等式移项的理论依据：\(a<b \iff a-b < 0\)。
\(O_4\) 乘正保序性 若\(a<b\)且\(c>0\)，则\(a\cdot c < b\cdot c,\quad \forall a,b,c\in\mathbb{R}\) 不等式两边同时乘以一个正实数，不等号的方向保持不变；
⚠️ 推论：若两边乘以负实数，不等号方向反转（\(a<b,c<0 \implies ac>bc\)），这是不等式变形的核心易错点。

核心说明

  • 实数集、有理数集都满足以上顺序性质，因此它们都是有序域；
  • 复数集不是有序域：无法在复数集上定义满足\(O_1-O_4\)的全序关系。以虚数单位\(i\)为例：若\(i>0\)，则\(i\cdot i = -1>0\)，矛盾；若\(i<0\)，则\(i\cdot i = -1>0\)，同样矛盾，因此复数不能比较大小。

三、连续性（完备性）

实数集区别于有理数集的核心本质，就是它的连续性（完备性），在我们的体系中，连续性由确界原理刻画：

确界原理（连续性公理）

\((C)\) 实数集\(\mathbb{R}\)的任何一个非空、有上界的子集合，在\(\mathbb{R}\)中必有上确界。

核心解读

  1. 等价表述：由上下确界的对偶性，确界原理也等价于：\(\mathbb{R}\)的任何一个非空、有下界的子集合，在\(\mathbb{R}\)中必有下确界。
  2. 连续性的本质：确界原理说明实数集没有“空隙”。经典反例：
    集合\(E = \{x\in\mathbb{Q} \mid x^2 < 2\}\)是有理数集的非空、有上界的子集（如\(2\)是它的上界），但在有理数集中没有上确界——它的最小上界是\(\sqrt{2}\)，而\(\sqrt{2}\)不是有理数，这就是有理数集的“空隙”。
    而同样的集合\(E\)作为实数集的子集，在实数集中有唯一的上确界\(\sqrt{2}\)，完美填补了这个空隙。
  3. 核心意义：连续性是极限理论的根基。微积分的核心是极限运算，而极限的存在性完全依赖于实数的连续性——如果数集有空隙，很多极限就会“落在空隙里”，不在数集内，极限运算就不封闭。有理数集不满足确界原理，因此无法建立严谨的极限理论，这也是微积分必须建立在实数集上的根本原因。

四、实数集的本质定位与数集对比

核心概念总结

  1. 域：满足运算性质\(F_1-F_9\)的集合，可自由进行四则运算；
  2. 有序域：在域的基础上，满足顺序性质\(O_1-O_4\)的集合，可进行大小比较和不等式运算；
  3. 连续的有序域：在有序域的基础上，满足确界原理（连续性）的集合，可进行极限运算，是微积分的基础。

三大数集的核心对比表

数集 是否为域 是否为有序域 是否为连续的有序域 核心局限
实数集\(\mathbb{R}\) 是 是 是 无，是微积分的完备数域
有理数集\(\mathbb{Q}\) 是 是 否 存在空隙，不满足确界原理，无法建立严谨的极限理论
复数集\(\mathbb{C}\) 是 否 否 无法定义全序关系，不能比较大小，仅能做代数运算

最终结论

实数集\(\mathbb{R}\)是唯一的连续的有序域，它同时具备完备的四则运算能力、全序的大小比较能力、无空隙的连续性，为整个数学分析体系提供了严谨、自洽的数域基础。

五、全章核心知识点总表

性质分类 核心公理/性质 核心作用 实数的独有性
运算性质（域公理） 加法4条（交换、结合、单位元、逆元）
乘法4条（交换、结合、单位元、逆元）
分配律1条		 保证实数四则运算的封闭性与运算规则的自洽性 与有理数、复数共有，非实数独有
顺序性质（有序域公理） 三歧性、传递性、加法保序、乘正保序 保证实数可比较大小，不等式运算有统一规则 与有理数共有，复数不具备
连续性（完备性） 确界原理 保证实数无空隙，极限运算封闭，是微积分的逻辑根基 实数独有，有理数、复数均不具备

常用不等式 知识点详解与完整证明

不等式是数学分析的核心工具，几乎所有极限的存在性证明、导数与积分的估值、收敛性判定，都依赖于不等式的放缩技巧。本节我们讲解四大类最基础、最常用的不等式，不仅给出完整的严谨证明，还会明确每个不等式的成立条件、等号成立条件与核心应用场景，为后续的分析学习打下坚实的工具基础。

一、涉及绝对值的不等式

绝对值不等式是分析中最基础的放缩工具，其本质是数轴上两点间的距离关系，我们先回顾绝对值的定义，再逐步推导核心不等式。

1. 绝对值的定义

对任意实数\(a\)，其绝对值\(|a|\)定义为：

\[|a| = \begin{cases} a, & \text{若 } a \geq 0, \\ -a, & \text{若 } a < 0. \end{cases} \]

几何意义：\(|a|\)表示数轴上实数\(a\)对应的点到原点的距离；\(|a-b|\)表示数轴上\(a\)与\(b\)两点间的距离。

2. 绝对值不等式的基本等价形式

核心定理1

对任意实数\(a>0\)，不等式\(|x| < a\)等价于\(-a < x < a\)。
完整推导：
根据绝对值的定义，分两种情况讨论：

  1. 当\(x \geq 0\)时，\(|x|=x\)，不等式\(|x|<a\)转化为\(0 \leq x < a\)；
  2. 当\(x < 0\)时，\(|x|=-x\)，不等式\(|x|<a\)转化为\(-x < a\)，即\(x > -a\)，结合前提得\(-a < x < 0\)。

综合两种情况，\(|x|<a\)的解集是两种情况的并集，即\(-a < x < a\)，对应数轴上以原点为中心、长度为\(2a\)的开区间\((-a,a)\)。

推论

对任意实数\(\beta \geq 0\)，不等式\(|y| \leq \beta\)等价于\(-\beta \leq y \leq \beta\)，解集为闭区间\([-\beta,\beta]\)。
核心解读：这两个等价形式是解绝对值不等式、绝对值放缩的核心依据，后续所有绝对值不等式的推导都基于此。

3. 三角不等式（绝对值不等式的核心）

三角不等式是分析中使用频率最高的不等式，分为正向和反向两种形式。

正向三角不等式

定理内容：对任意实数\(a,b\)，有

\[|a+b| \leq |a| + |b| \]

完整证明：
首先，根据绝对值的定义，对任意实数\(a,b\)，显然有：

\[-|a| \leq a \leq |a|,\quad -|b| \leq b \leq |b| \]

将两个不等式同向相加，得：

\[-(|a| + |b|) \leq a + b \leq |a| + |b| \]

根据绝对值不等式的等价形式，上式恰好等价于：

\[|a+b| \leq |a| + |b| \]

证毕。

等号成立条件：当且仅当\(a,b\)同号（或其中至少一个为0）时，等号成立。
几何意义：数轴上，两点到原点的距离之和，大于等于两点之和到原点的距离；对应平面向量中“三角形两边之和大于第三边”，因此得名三角不等式。

反向三角不等式

定理内容：对任意实数\(a,b\)，有

\[||a| - |b|| \leq |a - b| \]

完整证明：
我们先证明两个单边不等式，再合并得到最终结论。

  1. 由正向三角不等式，对\(a = (a - b) + b\)，有：

    \[|a| = |(a - b) + b| \leq |a - b| + |b| \]

    移项得：\(|a| - |b| \leq |a - b|\)。
  2. 同理，对\(b = (b - a) + a\)，有：

    \[|b| = |(b - a) + a| \leq |b - a| + |a| = |a - b| + |a| \]

    移项得：\(|b| - |a| \leq |a - b|\)，即\(|a| - |b| \geq -|a - b|\)。

综合两个单边不等式，得：

\[-|a - b| \leq |a| - |b| \leq |a - b| \]

根据绝对值等价形式，上式等价于：

\[||a| - |b|| \leq |a - b| \]

证毕。

等号成立条件：当且仅当\(a,b\)同号（或其中至少一个为0）时，等号成立。
几何意义：数轴上，两点到原点的距离之差的绝对值，小于等于两点间的距离；对应平面向量中“三角形两边之差小于第三边”。

三角不等式的推广

利用数学归纳法，可将正向三角不等式推广到\(n\)个实数的情形：
对任意\(n\)个实数\(a_1,a_2,\dots,a_n\)，有

\[|a_1 + a_2 + \dots + a_n| \leq |a_1| + |a_2| + \dots + |a_n| \]

等号成立条件：当且仅当所有\(a_i\)同号（或其中至少\(n-1\)个为0）时，等号成立。

二、伯努利（Bernoulli）不等式

伯努利不等式是分析中常用的幂次放缩工具，尤其在数列极限的证明中应用广泛。

定理内容

对任意实数\(x \geq -1\)，任意自然数\(n \in \mathbb{N}_+\)，有

\[(1+x)^n \geq 1 + nx \]

完整证明（数学归纳法）

  1. 基例验证：当\(n=1\)时，左边\((1+x)^1=1+x\)，右边\(1+1\cdot x=1+x\)，不等式以等号形式成立，基例成立。
  2. 归纳假设：假设当\(n=k-1\)（\(k \geq 2\)）时，不等式成立，即对任意\(x \geq -1\)，有

    \[(1+x)^{k-1} \geq 1 + (k-1)x \]

  3. 归纳递推：当\(n=k\)时，我们证明不等式成立。
    首先，\((1+x)^k = (1+x)^{k-1} \cdot (1+x)\)。
    因为\(x \geq -1\)，所以\(1+x \geq 0\)，不等式两边乘以非负数，不等号方向不变。结合归纳假设，得：

    \[\begin{align*} (1+x)^k &= (1+x)^{k-1}(1+x) \\ &\geq [1 + (k-1)x](1+x) \\ &= 1 + (k-1)x + x + (k-1)x^2 \\ &= 1 + kx + (k-1)x^2 \end{align*} \]

    因为\(k \geq 2\)，所以\(k-1 \geq 1\)，且\(x^2 \geq 0\)，因此\((k-1)x^2 \geq 0\)，于是：

    \[(1+x)^k \geq 1 + kx + (k-1)x^2 \geq 1 + kx \]

    即\(n=k\)时不等式成立。

由数学归纳法，对所有自然数\(n \in \mathbb{N}_+\)，伯努利不等式成立。

核心解读

  1. 成立条件：核心前提是\(x \geq -1\)，若\(x < -1\)，不等式不一定成立。例如\(x=-4,n=3\)时，左边\((1-4)^3=-27\)，右边\(1+3\times(-4)=-11\)，此时\(-27 < -11\)，不等式不成立。
  2. 等号成立条件：当且仅当\(x=0\)，或\(n=1\)时，等号成立。
  3. 推广形式：伯努利不等式可推广到实数指数：对任意实数\(\alpha \geq 1\)，\(x \geq -1\)，有\((1+x)^\alpha \geq 1+\alpha x\)；对\(0 < \alpha < 1\)，\(x \geq -1\)，有\((1+x)^\alpha \leq 1+\alpha x\)。
  4. 核心应用：用于数列极限的放缩，例如证明\(\lim_{n \to \infty} \sqrt[n]{a}=1\)（\(a>0\)）、\(\lim_{n \to \infty} \sqrt[n]{n}=1\)，都是伯努利不等式的经典应用。

三、算术平均数与几何平均数不等式（AM-GM不等式）

均值不等式是分析中最常用的不等式之一，核心是刻画了非负实数的算术平均与几何平均的大小关系，是求最值、不等式放缩的核心工具。

1. 二元情形（基础）

设\(x_1,x_2\)是非负实数，定义：

  • 算术平均数（AM）：\(\frac{x_1 + x_2}{2}\)
  • 几何平均数（GM）：\(\sqrt{x_1x_2}\)

定理内容：\(\frac{x_1 + x_2}{2} \geq \sqrt{x_1x_2}\)。

完整证明：
对任意非负实数\(x_1,x_2\)，平方数具有非负性，因此：

\[(\sqrt{x_1} - \sqrt{x_2})^2 \geq 0 \]

展开左边得：

\[x_1 - 2\sqrt{x_1x_2} + x_2 \geq 0 \]

移项得：

\[x_1 + x_2 \geq 2\sqrt{x_1x_2} \]

两边除以2，即得：

\[\frac{x_1 + x_2}{2} \geq \sqrt{x_1x_2} \]

证毕。

等号成立条件：当且仅当\((\sqrt{x_1}-\sqrt{x_2})^2=0\)，即\(x_1=x_2\)时，等号成立。

2. n元情形（一般形式）

定理内容：设\(x_1,x_2,\dots,x_n\)是\(n\)个非负实数，则有

\[\frac{x_1 + x_2 + \dots + x_n}{n} \geq \sqrt[n]{x_1x_2\cdots x_n} \]

即\(n\)个非负实数的算术平均数大于等于它们的几何平均数。

完整证明（数学归纳法）

  1. 基例验证：

    • \(n=1\)时，左边\(x_1\)，右边\(\sqrt[1]{x_1}=x_1\)，不等式以等号成立，基例成立；
    • \(n=2\)时，前面已证明成立。

  2. 归纳假设：假设对任意\(n-1\)个非负实数，AM-GM不等式成立，即对任意非负实数\(y_1,y_2,\dots,y_{n-1}\)，有

    \[\frac{y_1 + y_2 + \dots + y_{n-1}}{n-1} \geq \sqrt[n-1]{y_1y_2\cdots y_{n-1}} \]

  3. 归纳递推：考虑\(n\)个非负实数\(x_1,x_2,\dots,x_n\)，不妨设\(x_n\)是这\(n\)个数中最大的一个（可通过排序实现，不影响不等式的成立性）。记

    \[A = \frac{x_1 + x_2 + \dots + x_{n-1}}{n-1} \]

    显然\(x_n \geq A\)（因为\(x_n\)是最大值），由归纳假设，\(A \geq \sqrt[n-1]{x_1x_2\cdots x_{n-1}}\)，即\(A^{n-1} \geq x_1x_2\cdots x_{n-1}\)。

    现在计算算术平均数的\(n\)次幂：

    \[\begin{align*} \left( \frac{x_1 + x_2 + \dots + x_n}{n} \right)^n &= \left( \frac{(n-1)A + x_n}{n} \right)^n \\ &= \left( A + \frac{x_n - A}{n} \right)^n \end{align*} \]

    由二项式定理展开，保留前两项，其余项均为非负（因为\(x_n - A \geq 0\)，\(A \geq 0\)），因此：

    \[\left( A + \frac{x_n - A}{n} \right)^n \geq A^n + n \cdot A^{n-1} \cdot \frac{x_n - A}{n} \]

    化简右边：

    \[A^n + A^{n-1}(x_n - A) = A^{n-1} x_n \]

    结合归纳假设\(A^{n-1} \geq x_1x_2\cdots x_{n-1}\)，得：

    \[\left( \frac{x_1 + x_2 + \dots + x_n}{n} \right)^n \geq A^{n-1}x_n \geq x_1x_2\cdots x_n \]

    两边同时开\(n\)次方（非负实数开方保序），即得：

    \[\frac{x_1 + x_2 + \dots + x_n}{n} \geq \sqrt[n]{x_1x_2\cdots x_n} \]

    归纳递推成立。

由数学归纳法，对所有自然数\(n \in \mathbb{N}_+\)，n元AM-GM不等式成立。

核心解读

  1. 成立条件：所有\(x_i\)必须是非负实数（\(x_i \geq 0\)），若存在负数，不等式不一定成立。例如\(x_1=-1,x_2=-3\)，算术平均为\(-2\)，几何平均为\(\sqrt{3} \approx 1.732\)，此时\(-2 < 1.732\)，不等式不成立。
  2. 等号成立条件：当且仅当所有\(x_i\)相等，即\(x_1=x_2=\dots=x_n\)时，等号成立。
  3. 核心应用：
    • 求函数最值：经典的“积定和最小，和定积最大”；
    • 不等式放缩：用于极限证明、级数收敛性判定；
    • 其他不等式的证明：例如柯西不等式、赫尔德不等式都可由AM-GM不等式推导。

四、涉及三角函数的不等式

三角函数不等式是分析中证明重要极限、导数公式的基础，核心是利用单位圆的几何性质推导，所有角度均采用弧度制。

核心定理

对任意\(x \in (0, \frac{\pi}{2})\)，有

\[\sin x < x < \tan x \]

完整证明（单位圆面积法）

在单位圆（半径\(r=1\)）中，作圆心角\(x\)（弧度制，\(0 < x < \frac{\pi}{2}\)），始边为\(x\)轴上的\(OA\)，终边为\(OB\)，其中\(OA=OB=1\)。

  • 连接\(AB\)，过\(A\)作\(x\)轴的垂线，交\(OB\)的延长线于点\(C\)，则\(AC \perp OA\)。

我们比较三个图形的面积：

  1. \(\triangle OAB\)的面积：底\(OA=1\)，高为\(B\)点的纵坐标\(\sin x\)，因此面积为\(\frac{1}{2} \cdot OA \cdot \sin x = \frac{1}{2}\sin x\)；
  2. 扇形\(OAB\)的面积：单位圆中，圆心角为\(x\)的扇形面积为\(\frac{1}{2} r^2 x = \frac{1}{2}x\)；
  3. \(\triangle OAC\)的面积：底\(OA=1\)，高为\(AC = \tan x\)（因为\(\tan x = \frac{AC}{OA}\)），因此面积为\(\frac{1}{2} \cdot OA \cdot \tan x = \frac{1}{2}\tan x\)。

从几何图形上看，\(\triangle OAB\)完全包含在扇形\(OAB\)内，扇形\(OAB\)又完全包含在\(\triangle OAC\)内，因此面积满足：

\[S_{\triangle OAB} < S_{\text{扇形}OAB} < S_{\triangle OAC} \]

代入面积公式得：

\[\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x \]

两边同时乘以2，即得：

\[\sin x < x < \tan x,\quad \forall x \in (0, \frac{\pi}{2}) \]

证毕。

重要推论

对任意实数\(x \in \mathbb{R}\)，有

\[|\sin x| \leq |x| \]

完整证明

分三种情况讨论：

  1. 当\(x \in [0, \frac{\pi}{2})\)时，由上面的定理，\(\sin x \leq x\)，且\(\sin x \geq 0\)，\(x \geq 0\)，因此\(|\sin x| = \sin x \leq x = |x|\)，不等式成立；
  2. 当\(x \in (-\frac{\pi}{2}, 0)\)时，令\(t = -x \in (0, \frac{\pi}{2})\)，则\(|\sin x| = |\sin(-t)| = |-\sin t| = \sin t \leq t = |x|\)，不等式成立；
  3. 当\(|x| \geq \frac{\pi}{2}\)时，因为正弦函数的值域为\([-1,1]\)，所以\(|\sin x| \leq 1\)，而\(|x| \geq \frac{\pi}{2} \approx 1.57 > 1\)，因此\(|\sin x| \leq 1 < |x|\)，不等式成立。

综合所有情况，对任意实数\(x\)，\(|\sin x| \leq |x|\)成立。

核心解读

  1. 等号成立条件：\(|\sin x| \leq |x|\)的等号当且仅当\(x=0\)时成立。
  2. 核心应用：
    • 证明第一个重要极限：\(\lim_{x \to 0} \frac{\sin x}{x} = 1\)，这个极限的证明完全依赖于\(\sin x < x < \tan x\)的夹逼；
    • 三角函数的导数公式推导：\((\sin x)' = \cos x\)的证明需要用到\(|\sin x| \leq |x|\)的放缩；
    • 三角函数的不等式放缩，用于级数收敛性判定。

五、核心不等式汇总表

为了方便记忆与应用，我们将本节所有核心不等式整理为下表：

不等式名称 定理内容 成立条件 等号成立条件 核心应用场景
正向三角不等式 \(|a+b| \leq |a| + |b|\) 任意实数\(a,b\) \(a,b\)同号或至少一个为0 极限的\(\varepsilon-N\)、\(\varepsilon-\delta\)证明，绝对值放缩
反向三角不等式 $| a - b
伯努利不等式 \((1+x)^n \geq 1+nx\) \(x \geq -1\)，\(n\)为自然数 \(x=0\)或\(n=1\) 数列极限放缩，幂次估值
二元AM-GM不等式 \(\frac{x_1+x_2}{2} \geq \sqrt{x_1x_2}\) \(x_1,x_2 \geq 0\) \(x_1=x_2\) 二元函数最值，基本不等式放缩
n元AM-GM不等式 \(\frac{x_1+\dots+x_n}{n} \geq \sqrt[n]{x_1\cdots x_n}\) \(x_1,\dots,x_n \geq 0\) \(x_1=x_2=\dots=x_n\) 多元函数最值，不等式证明，极限放缩
三角函数核心不等式 \(\sin x < x < \tan x\) \(x \in (0, \frac{\pi}{2})\)，弧度制 无严格等号 重要极限\(\lim_{x \to 0}\frac{\sin x}{x}=1\)的证明
正弦绝对值不等式 \(|\sin x| \leq |x|\) 任意实数\(x\)，弧度制 \(x=0\) 三角函数导数推导，极限放缩

posted on 2026-03-10 07:32  Indian_Mysore  阅读(10)  评论(0)    收藏  举报

导航