实数

官方数学老师·11 页·进阶(有基础,想深入原理)·0 次浏览·3 天前
实数无理数数轴完备性

实数

看清无理数从哪来、数轴为何无空隙、实数公理如何兜底

按 空格/→ 演示下一步

1 / 11 页

全部页面点击任意一页,跳回舞台从这页播放

实数无理数数轴完备性

实数

看清无理数从哪来、数轴为何无空隙、实数公理如何兜底

1第 1 页 · 实数

有理数

上页说到实数由有理数与无理数构成。今天聚焦前者——能写成分数的数。先回到熟悉场景:你切蛋糕给三个人,怎么公平分?

严格定义
形如 p/q,p、q 为整数且 q≠0
包含整数
整数 n 等于 n/1,因此整数属于有理数
稠密性
任意两个不同有理数之间必存在另一个有理数
小数形式
有理数的小数表示必为有限或无限循环
可数性
全体有理数可与自然数建立一一对应
数轴上的整数刻度对应 →有理数的分布

整数是稀疏锚点,分数把锚点之间的空隙填密,但仍留有缝(无理数)

Q={pqp,qZ, q0}\mathbb{Q}=\left\{\dfrac{p}{q}\mid p,q\in\mathbb{Z},\ q\neq 0\right\}
2第 2 页 · 有理数

实数近似计算

有理数能用分数精确表示,但像 π、√2 这类无理数,理论上要无限不循环地写下去。实际计算时我们只能用有限位数去逼近——这就是实数近似计算。

截断法
直接舍去指定位数之后的所有数字
四舍五入
看被舍去首位:≥5 进位,否则舍去
误差分析
用绝对误差与相对误差衡量近似程度
典型应用
工程测量、数值计算、计算机浮点表示
用最小刻度的尺子量长度对应 →实数近似计算

最小刻度即精度,比它细的部分只能估读,无法严格量化

δ=xx,εr=δx\delta = |x - x^*|, \quad \varepsilon_r = \frac{\delta}{|x|}
3第 3 页 · 实数近似计算

相反数

前页我们把实数放上了数轴,沿着轴来回滑动——若问「与某数距离原点相等、方向相反的数」,就触到了相反数。它看似直观,却是实数加法结构的基石。

定义
只有符号不同的两个数互为相反数;规定 0 的相反数是它自己
核心性质
对任意实数 x,恒有 x + (-x) = 0
唯一性
每个实数有且仅有一个相反数;若 x + y = 0 则 y 必为 -x
几何意义
数轴上互为相反数的两点关于原点对称,绝对值相等
照镜子对应 →相反数

镜面当原点,你和镜像等距且朝向相反

x+(x)=0x + (-x) = 0
4第 4 页 · 相反数

绝对值

上一页的相反数把 3 翻成 -3,但翻面只改了方向,长度没变。这个「只看长度、不管方向」的量,就是绝对值——它专门负责把符号剥掉。

分段定义
|a|=a 若 a≥0;|a|=-a 若 a<0。负数再翻一次就变正
几何:距离
|a| 是 a 到原点 0 的距离;|a-b| 是 a、b 两点间距离
运算性质
|a|≥0;|ab|=|a||b|;三角不等式 |a+b|≤|a|+|b|
典型应用
|x|=a 化为 x=±a;|x-1|+|x-3| 最小即数轴距离和最小
速度 vs 速率对应 →带符号数 → 绝对值

速度有正负(方向),速率只看大小。绝对值就是给数「去掉符号、留下大小」

5第 5 页 · 绝对值

无理数

上页有理数都能写成两个整数之比,但单位正方形对角线按勾股定理等于 √2,没人能用分数精确表示它。古希腊人为此震惊——这就是无理数。

定义
不能表示为两个整数之比的实数;等价于小数形式无限且不循环
经典代表
√2(单位正方形对角线)、π(圆周与直径之比)、e(自然增长的极限)
证明方法
反证法:假设能写成分数,推导得出矛盾(如 √2 经典证明)
运算特性
无理数集合对加减乘不封闭:√2 + (-√2) = 0,√2 × √2 = 2
循环播放的流行歌曲对应 →无理数与有理数的小数展开

有理数小数位有固定周期(如 1/7 = 0.142857 142857...);无理数完全找不到周期

2=pq (p,q互质)p2=2q2偶数矛盾\sqrt{2}=\frac{p}{q}\ (p,q\text{互质}) \Rightarrow p^2=2q^2 \Rightarrow \text{偶数矛盾}
6第 6 页 · 无理数

实数

上一页用无理数补上了数轴的'洞'。今天要追问:实数集到底强在哪?这个问题的答案,是极限、连续、积分这些高等工具能否成立的根基。

定义
实数 = 有理数 ∪ 无理数,两类无交集,共同覆盖所有实数
稠密性
任意两个不同实数之间必有实数,没有最小间隔
完备性
实数与数轴上的点一一对应,没有空隙(也称连续性)
典型应用
长度/温度等连续量、函数定义域、极限运算的载体
刻度无限细的尺子对应 →实数集

有理数刻度再密也有缝,√2等长度量不出;实数刻度无限细,任何长度都能精确量取

7第 7 页 · 实数

平方根与立方根

前面讲无理数时出现了 √2、√3,本质上都来自「开方」——已知乘方结果,反过来找原数。平方根和立方根就是最常用的两种反操作。

平方根
若 x²=a,则 x 是 a 的平方根;正数有两个,互为相反数
算术平方根
取非负的那个记作 √a,几何上表示长度或距离
立方根
若 x³=a,则 x=∛a;任意实数都有且只有一个立方根
典型应用
解 x²=5、求两点距离 √((x₁-x₂)²+(y₁-y₂)²),联系代数与几何
拆快递对应 →开方运算

乘方把数「打包」进平方/立方的盒子里,开方就是拆开盒子找回原数

x2=ax=±a(a0);x3=ax=a3(aR)x^2=a\Rightarrow x=\pm\sqrt{a}(a\ge0); \quad x^3=a\Rightarrow x=\sqrt[3]{a}(\forall a\in\mathbb{R})
8第 8 页 · 平方根与立方根

实数与数轴的对应

上次我们把 √2 和 π 放上了数轴。可凭什么说无理数「就站在那里」?有理数之间的空隙由谁来填?这正是「实数与数轴对应」要回答的根本问题。

一一对应
每个实数对应数轴上唯一一点;每个点对应唯一实数——建立双向联系
稠密无空隙
任意两个不同实数之间都有无穷多个实数;数轴上不存在「不可达的洞」
方向即大小
右正左负,点越靠右代表的实数越大——把「形」翻译成「序」
直观解题
用距离理解绝对值,用位置比较大小、解不等式——「数形结合」的起点
无限细密的刻度尺对应 →实数与数轴的对应

无论把刻度磨得多细,每条线都对应一个实数,没有刻度被「跳过」

9第 9 页 · 实数与数轴的对应

本节要点

  • 数的扩充是为补齐运算:减法→整数,除法→分数,开方→无理数
  • 有理数可表为整数比,无理数不能,这是分类的本质依据
  • 相反数是关于0的对称,绝对值是到0的距离,二者互为表里
  • 平方根要管符号与定义域,立方根则对任意实数都有唯一解
延伸主题:二次根式的化简与运算实数大小比较的常用方法有理数与无理数的混合运算
10第 10 页 · 本节要点

课后思考

先合上书自己想一遍,再翻参考答案。三题分别指向:核心回顾、几何本质、反直觉思辨。

1为什么有理数和无理数都被称为'实数'?它们究竟有什么共同点,让它们都配得上'实'这个字?

参考答案提示:从'实'字本义切入——'实'相对'虚'(虚数 i=√-1)而言。每个实数都在数轴上有唯一对应点,反之数轴每个点都是实数——这层一一对应,是有/无理数共同的'根基'。

2我们用 1.41421356... 来逼近 √2,为什么它永远写不出精确的小数?背后有什么几何解释?

参考答案提示:紧扣'无理数'定义——不能写成两个整数之比,所以小数无穷不循环。几何上想:边长 1 的正方形对角线就是 √2,画得出却量不尽。

3假如只在数轴上标出所有有理数,哪些点会被'漏掉'?这些'空隙'分布有规律吗?

参考答案提示:漏掉的正是所有无理数。最反直觉的事实是——有理数虽多但'稀':任意两个有理数之间(如 0 和 1 之间),都藏着无穷多无理数。数轴的连续性远比直观想象的复杂。

11第 11 页 · 课后思考