前置知识：课件 1（自然数——数是怎样产生的？）、2（分数——分披萨的学问）、3（负数——比零还小的数）
实数
起源：数不够用了
我们学过了自然数（0, 1, 2, 3, …）——用来"数数"。后来发现光有自然数不够，比如 3 个人分 2 个苹果，每人分多少？于是有了分数。再后来，发现有时候比零还少，比如欠了别人 5 块钱，怎么表示？于是有了负数。
自然数、零、负数、分数，加起来统称为有理数。为什么叫"有理数"？这个翻译来自英文 "rational number"，而 "rational" 的词根是 "ratio"（比例）。所谓有理数，就是能写成两个整数之比的数。
你可能会想：有了有理数，是不是世界上所有的数都齐了？
两千五百年前的古希腊人也这么想。毕达哥拉斯学派有一句格言："万物皆数"——他们相信，世界上的一切都可以用整数和整数之比（也就是有理数）来描述。这听起来很合理，对吧？
但真相是：有理数远远不够。数的世界比他们想象的要大得多。
一、平方根与算术平方根
先从一个简单的问题开始：
如果一个正方形的面积是 9，它的边长是多少？
我们知道 3 × 3 = 9，所以边长是 3。
如果一个正方形的面积是 4，边长是 2。面积是 25，边长是 5。
这个"边长"和"面积"的关系，就是我们今天要学的第一个概念：平方根。
定义：如果 x² = a，那么 x 叫做 a 的平方根。
记作：x = ±√a
注意：一个正数有两个平方根，互为相反数。比如 9 的平方根是 3 和 −3，因为 3² = 9，(−3)² = 9。
• 4 的平方根是 ±2（因为 2² = 4，(−2)² = 4）
• 1 的平方根是 ±1
• 0 的平方根是 0（只有一个，因为 −0 = 0）
• −4 在实数范围内没有平方根（任何实数平方都不可能是负数）
正数 a 的正的平方根，有一个专门的名称：算术平方根，记作 √a（不带负号）。
核心要点：
- √a 是算术平方根——总是 ≥ 0
- ±√a 才是平方根——有两个（除非 a = 0）
- √0 = 0
- 负数没有实数平方根
二、立方根
平方根和"面积"有关，那和"体积"有关的是什么呢？
如果一个正方体的体积是 8，它的棱长是多少？
我们知道 2 × 2 × 2 = 8，所以棱长是 2。
定义：如果 x³ = a，那么 x 叫做 a 的立方根。
记作：x = ∛a
和平方根不同，立方根只有一个（每个实数都有唯一的立方根），而且负数也有立方根！
• ∛8 = 2（因为 2³ = 8）
• ∛27 = 3（因为 3³ = 27）
• ∛(−8) = −2（因为 (−2)³ = −8）
• ∛0 = 0
平方根 vs 立方根：
| 平方根 | 立方根 | |
|---|---|---|
| 正数 | 有两个（±） | 有一个（正） |
| 0 | 0 | 0 |
| 负数 | 没有实数根 | 有一个（负） |
三、无理数的发现：希帕索斯的悲剧
现在回到那个致命的问题：
面积是 2 的正方形，边长是多少？
也就是说，什么数的平方等于 2？
你可能会试着猜：1.4² = 1.96，太小了。1.5² = 2.25，又太大了。1.41² = 1.9881，1.42² = 2.0164……你会发现，无论你找到多少位小数，永远不能精确地等于 2。
这个数就是 √2——读作"根号二"。它确实存在（你可以画一个直角边为 1 的等腰直角三角形，它的斜边长度就是 √2），但它不能写成两个整数的比。
希帕索斯的悲剧
公元前 5 世纪，古希腊有一个叫毕达哥拉斯的数学家和哲学家。他创立了一个学派，信奉"万物皆数"——世界上的一切都可以用整数及其比例来解释。音乐是弦长比例，天文是轨道比例，美是黄金比例。毕达哥拉斯学派甚至把"数"当作宗教来崇拜。
毕达哥拉斯有一个学生，名叫希帕索斯（Hippasus）。他在研究边长为 1 的正方形的对角线时，发现了一个惊人的事实：这个对角线的长度 √2，无论如何都不能写成两个整数之比。
希帕索斯兴奋地把这个发现告诉了学派的其他成员。但等待他的不是掌声，而是愤怒和恐惧——因为这个发现摧毁了"万物皆数"的信仰。如果 √2 不是有理数，那么世界上就存在着"不能用整数比例描述"的东西，毕达哥拉斯学派的整个哲学基础就崩塌了。
据传说，毕达哥拉斯学派将希帕索斯扔进了大海，试图将这个"丑闻"连同发现者一起埋葬。
但真理不会被淹死。√2 这样的数后来被称为无理数（irrational number），"irrational"这个词本身就暗示了古希腊人认为这种数"不合逻辑"、"不可理喻"。
从希帕索斯的死到今天，两千多年过去了。无理数不仅没有被遗忘，反而成为了数学中最重要的概念之一。正如《尖叫的数学》中所说："这是一桩逻辑上的丑闻——但正是这个丑闻，让数学的眼睛睁开了。"
图说：√2 不是有理数的几何证明
下面这个著名的几何证明，用图形直观地展示了为什么 √2 不能写成两个整数之比。它用的是反证法——先假设 √2 可以写成最简分数，然后推出一对矛盾。
图：几何直观 + 反证法证明 √2 是无理数
数轴上的有理数和无理数
下面这张数轴图展示了有理数和无理数在数轴上的分布。你会发现，数轴上的每一个点都对应一个实数——有理数密密麻麻，但无理数同样密密麻麻，而且无理数其实比有理数"多得多"。
图：数轴上有理数（蓝色）和无理数（红色）的分布
四、实数：有理数 + 无理数
现在我们可以给"数"做一个完整的分类了：
实数 = 有理数 ∪ 无理数
也就是说，实数就是数轴上每一个点所对应的数。有理数能写成两个整数之比，无理数不能。
实数的完整分类树：
分数（¾, −⅖, 0.7, …）
有限小数（0.25, 3.14）
无限循环小数（0.333…, 0.142857…）
√2, √3, √5, …
π（圆周率）
e（自然常数）
判断一个数是不是有理数，看它能不能写成分数形式：
- 0.5 = ½ → 有理数 ✓
- 0.333… = ⅓ → 有理数 ✓（无限循环小数）
- √4 = 2 → 有理数 ✓（虽然带根号，但结果是整数）
- √2 = 1.41421356… → 无理数 ✗（无限不循环）
- π = 3.14159265… → 无理数 ✗
- ∛8 = 2 → 有理数 ✓
一个容易混淆的地方：不是所有带根号的数都是无理数。√4 = 2、√9 = 3、∛27 = 3，这些结果都是有理数。只有那些开方开不尽的才是无理数，比如 √2、√3、√5、∛2 等。
五、实数的运算
实数的运算和有理数的运算规则基本一致，但有一些特别需要注意的地方：
（一）无理数的近似计算
在实际计算中，我们通常用无理数的近似值。比如 √2 ≈ 1.414，π ≈ 3.14。但注意，这只是近似，不是精确值。在数学中，我们通常保留根号形式，如 √2，而不是写成 1.414。
（二）根式的运算规则
乘法：√a × √b = √(a×b)（a ≥ 0, b ≥ 0）
除法：√a ÷ √b = √(a÷b)（a ≥ 0, b > 0）
平方：(√a)² = a（a ≥ 0）
• √2 × √3 = √6
• √8 = √(4×2) = √4 × √2 = 2√2
• √18 ÷ √2 = √9 = 3
• (√5)² = 5
• √12 = √(4×3) = 2√3
（三）同类根式可以合并
和合并同类项类似，带有相同根号部分的项可以合并：
• 3√2 + 5√2 = 8√2
• 2√3 − √3 + 4√3 = 5√3
• √2 + √3 不能合并（根号下的数不同）
• √8 + √2 = 2√2 + √2 = 3√2（先化简，再合并）
（四）分母有理化
如果分母中含有根号，通常需要把分母"有理化"——去掉分母中的根号。
• 1/√2 = √2/2（分子分母同乘 √2）
• 1/(√3+1) = (√3−1)/(3−1) = (√3−1)/2（利用平方差公式）
• 3/√5 = 3√5/5
（五）实数的大小比较
比较无理数的大小，通常用平方法：
(√5)² = 5，(√7)² = 7，因为 5 < 7，所以 √5 < √7。
例：比较 √2 和 1.5 的大小
(√2)² = 2，1.5² = 2.25，因为 2 < 2.25，所以 √2 < 1.5。
挑战性问题
问题 1：√2 是无理数已用反证法证明。你能用类似的方法证明 √3 也是无理数吗？试试看！
问题 2：有理数在数轴上"密密麻麻"，无理数也在数轴上"密密麻麻"。那么，两个有理数之间一定存在无理数吗？两个无理数之间一定存在有理数吗？试着举例说明。
问题 3：如果 a 和 b 是有理数，b ≠ 0，且 a + b√2 = 0，那么 a 和 b 必须满足什么条件？为什么？
拓展阅读
毕达哥拉斯学派：毕达哥拉斯（约公元前 570—495 年）不仅是数学家，还是哲学家和宗教领袖。他的学派像一个秘密社团，成员相信灵魂转世，禁食豆子，崇拜数字。他们发现了勾股定理，并将音乐和声与简单的整数比例联系起来——这就是为什么和声听起来"和谐"。
无理数的历史意义：希帕索斯的发现是数学史上第一次"数学危机"。它迫使数学家们认识到，直观和信仰不足以作为数学的基础——必须依赖严格的逻辑证明。这次危机最终催生了欧几里得的《几何原本》和公理化方法。
推荐阅读：《尖叫的数学》——了解无理数发现的历史故事；《古今数学思想》——了解数系的扩展过程；《数学简史》——了解从自然数到实数的完整旅程。
习题
1. 下列各数中，哪些是有理数，哪些是无理数？0, −3, ½, √4, √5, π, 0.333…, 0.1010010001…（每两个 1 之间依次多一个 0）
无理数：√5, π, 0.1010010001…（无限不循环）
2. 求下列各数的算术平方根：
(1) 36 (2) 0.25 (3) 1/4 (4) 0
3. 求下列各数的立方根：
(1) 64 (2) −125 (3) 0.001 (4) 0
4. 化简：
(1) √50 (2) √72 (3) √(12/25)
(2) √72 = √(36×2) = 6√2
(3) √(12/25) = √12/√25 = 2√3/5
5. 计算：
(1) √2 × √8 (2) √27 ÷ √3 (3) 3√5 + 2√5 − √5
(2) √27 ÷ √3 = √9 = 3
(3) 3√5 + 2√5 − √5 = 4√5
6. 分母有理化：
(1) 2/√3 (2) 1/(√5 − 1)
(2) 1/(√5−1) = (√5+1)/(5−1) = (√5+1)/4
7. 比较大小：√6 和 2.5，哪个更大？请说明理由。
8. 判断下列说法是否正确：
① 无理数都是无限小数。
② 无限小数都是无理数。
③ 带根号的数都是无理数。
④ 无理数都可以用数轴上的点表示。
② 错误（无限循环小数是有理数，如 0.333…）
③ 错误（√4=2 是有理数）
④ 正确（实数 = 数轴上的点，无理数是实数）
9. 已知一个正方形的面积是 20 cm²，求它的边长（保留根号形式）。如果改成一个正方体，体积是 20 cm³，求它的棱长（保留根号形式）。
正方体棱长 = ∛20 cm（不能化简，保留 ∛20）
10. 希帕索斯因为发现 √2 是无理数而被投入大海。如果当时毕达哥拉斯学派的人问他："你怎么证明 √2 不能写成分数？"请你用 3 句话以内简要说明反证法的核心思路。
小结
- 平方根：若 x² = a，则 x = ±√a。算术平方根 √a 是正的那个（≥ 0）
- 立方根：若 x³ = a，则 x = ∛a。每个实数都有唯一立方根，负数也有
- 无理数：不能写成两个整数之比的数，是无限不循环小数（√2, √3, π, …）
- 实数 = 有理数 + 无理数：数轴上的每一个点都对应一个实数
- 希帕索斯的悲剧：发现 √2 是无理数，动摇了"万物皆数"的信仰，被投入大海
- 根式运算：√a × √b = √(ab)，同类根式可以合并，分母有理化去分母中的根号