前置知识：课件 17（实数——数轴上的每一个点）
二次根式
起源："√"这个符号是怎么来的？
上一节我们已经知道，边长为 1 的正方形对角线是 √2——一个不能用分数表示的无理数。但你是否想过："√"这个符号本身，是怎么来的？
把一个数"开平方"这件事，古人很早就开始做了。古希腊人、印度人、阿拉伯人都会求平方根。但在很长一段时间里，数学家们没有统一的符号来表示"根号"——他们只能用文字描述，比如拉丁文写"radix"（意思是"根"），或者用一个字母"r"来代表。
第一个把"√"符号印在书上的，是奥地利数学家鲁道夫（Christoff Rudolff）。1525 年，他在代数书《Die Coss》中用"√"来表示平方根。这个符号据说是从拉丁文 radix 的首字母"r"演变来的——把"r"的竖线拉长、弯折，就成了我们今天看到的"√"。
不过，鲁道夫的写法有一个问题：他没有用横线盖住被开方的部分。比如他想写 √(a+b)，只能写"√ a+b"，读者分不清到底是对 a 开方、还是对 a+b 开方。这带来了很大的歧义。
这个困扰直到 1637 年才被解决。那一年，法国大数学家笛卡尔（René Descartes）出版了《几何学》一书。他在书中做了一个关键改进：在"√"符号后面加一条横线（叫做 vinculum，即"纽带"），把要开方的部分全部盖住。这样，√ab 和 √(a+b) 就一目了然了。
这正是我们今天使用的根号写法——"√"加上一条覆盖整个被开方表达式的横线。你在课本上看到的根号，上面的那条横线就是笛卡尔发明的！本课件中根号上方的横线，也正是对笛卡尔这一发明的致敬。
从此，"√"这个符号和它的横线一起，成为了全世界数学通用的"平方根"记号。而二次根式——也就是我们这一节要学的——就是形如 √a 的式子，它背后承载着从古到今四百多年的符号演变史。
一、什么是二次根式？
二次根式就是带根号"√"的式子。根号"√"叫做二次根号，它表示"求平方根"。
定义：形如 √a 的式子叫做二次根式。其中 a 叫做被开方数，必须满足 a ≥ 0（因为任何实数的平方都不可能是负数）。
√a 表示"平方等于 a 的非负数"。也就是说：(√a)² = a，且 √a ≥ 0。
例 1：√9 = 3，因为 3² = 9 且 3 ≥ 0。（注意：(-3)² 也等于 9，但 √9 规定取非负的那个，即 3。）
例 2：√0 = 0，因为 0² = 0。
例 3：√(-4) 在实数范围内没有意义，因为没有任何实数的平方等于 -4。
核心性质：
① (√a)² = a（a ≥ 0）—— 根号与平方互为逆运算
② √(a²) = |a| —— 根号下平方等于绝对值（注意：√(a²) 不一定是 a！）
为什么 √(a²) = |a| 而不是 a？
如果 a = -3，那么 √((-3)²) = √9 = 3 = |-3|，而不是 -3。
因为二次根号的结果必须是非负数，所以要用绝对值来保证结果 ≥ 0。
二、二次根式的乘除
乘法法则：√a · √b = √(ab)（a ≥ 0，b ≥ 0）
除法法则：√a / √b = √(a/b)（a ≥ 0，b > 0）
为什么 √a · √b = √(ab)？
设 √a = x，√b = y，那么 x² = a，y² = b。
x²y² = (xy)² = ab，所以 xy = √(ab)。
而 xy = √a · √b，因此 √a · √b = √(ab)。
图说：√a · √b = √(ab) 的面积解释
例 4：√12 = √(4×3) = √4 × √3 = 2√3
例 5：√2 × √8 = √(2×8) = √16 = 4
例 6：√18 / √2 = √(18/2) = √9 = 3
三、化简二次根式
一个二次根式要化简到最简形式：
- 被开方数中不含能开得尽方的因数（或分母）
- 被开方数中不含分母
例 7：化简 √50
√50 = √(25×2) = √25 × √2 = 5√2
例 8：化简 √(4/9)
√(4/9) = √4 / √9 = 2/3
技巧：把被开方数分解成"完全平方数 × 其他"的形式，然后把完全平方数开出根号。
常见完全平方数：1, 4, 9, 16, 25, 36, 49, 64, 81, 100……
四、同类二次根式与加减
几个二次根式化简后，如果被开方数相同，它们就是同类二次根式，可以合并——就像合并同类项一样。
例 9：√8 + √18 = 2√2 + 3√2 = 5√2
（因为 √8 = √(4×2) = 2√2，√18 = √(9×2) = 3√2）
例 10：√12 - √27 + √3 = 2√3 - 3√3 + √3 = 0
（因为 √12 = 2√3，√27 = 3√3）
加减法则：先化简每一个二次根式，再合并同类二次根式。系数加减，根号部分不变。
m√a + n√a = (m + n)√a
五、分母有理化
分数中，如果分母含有根号，通常要把它变成不含根号的形式——这叫分母有理化。
为什么？一是方便计算，二是方便比较大小。比如 1√2 和 √22 是同一个数，但 √22 更容易看出它大约等于 0.707。
图说：分母有理化的几何意义
分母有理化的方法
类型一：分母为 √a——分子分母同乘 √a
1√a = 1 × √a√a × √a = √aa
1√3 = √33，1√5 = √55，2√2 = √2
类型二：分母为 √a + √b——利用平方差公式：(√a + √b)(√a - √b) = a - b
1√a + √b = √a − √ba − b
1√3 + 1 = √3 − 13 − 1 = √3 − 12
1√5 − √2 = √5 + √25 − 2 = √5 + √23
什么是共轭式？
在类型二中，分母是 √a + √b，我们乘的是 √a − √b。这两个式子 √a + √b 和 √a − √b 就叫互为共轭二次根式（简称"共轭式"）。
更一般地说，如果两个式子只在根号前的符号上不同——一个是"加根号"，一个是"减根号"——它们就互为共轭式。例如：
- √a + √b 的共轭式是 √a − √b
- 2 + √3 的共轭式是 2 − √3
- √5 − 1 的共轭式是 √5 + 1
为什么共轭式的乘积能消去根号？因为它们恰好构成"平方差"的形式：
(√a + √b)(√a − √b) = (√a)² − (√b)² = a − b
两个根号在相乘时被"平方"消掉了，只剩下了有理数 a − b。这就是共轭式的核心价值。
共轭式有什么用？
- 分母有理化：当分母含有 √a ± √b 时，分子分母同乘它的共轭式，就能把分母变成有理数。这是共轭式最常见的用途。
- 化简表达式：比如 (√3 + √2)(√3 − √2) = 3 − 2 = 1，利用共轭式可以快速化简某些乘积。
- 判断大小关系：利用共轭式可以转换含有根号的表达式，方便比较大小。
记忆口诀："分母有根号，分子分母同乘它的'共轭式'（√a + √b 的共轭式是 √a − √b），利用平方差消去根号。"
挑战性问题
问题 1：√2 是无理数。你能用"反证法"的思路，试着解释为什么 √2 不能写成分数吗？（提示：假设 √2 = p/q，且 p、q 互质，然后推导矛盾。）
问题 2：计算 (√3 + √2)(√3 - √2)，你能发现什么规律？这个规律和分母有理化有什么关系？
问题 3：比较 √7 + √3 和 √5 + √5 的大小。不借助计算器，你能用二次根式的性质来判断吗？
拓展阅读：海伦-秦九韶公式
已知三角形的三条边长 a、b、c，怎样求面积？如果没有给出高，好像无从下手。但古希腊数学家海伦（约公元 60 年）给出了一个漂亮的公式——只用三边长就能算面积：
S = √[p(p − a)(p − b)(p − c)]
其中 p = a + b + c2（半周长）
公式是怎么推导出来的？（完整推导）
下面我们一步一步地把这个公式推导出来。每一步都不跳。推导的思路是：从"两边一夹角"的面积公式出发，利用余弦定理和平方差公式，逐步消去角度，只用边长表达面积。
第 1 步：从基本面积公式出发
设三角形中，边 a 和 b 的夹角为 C。三角形面积的基本公式是：
S = 12 · a · b · sinC ……①
但现在的问题是：我们知道的是三边 a、b、c，不知道角 C。所以我们要想办法把 sinC 用边长表示出来。
第 2 步：用余弦定理表示 cosC
余弦定理告诉我们：c² = a² + b² − 2ab·cosC，移项得：
cosC = a² + b² − c²2ab ……②
第 3 步：用 cosC 表示 sinC
由三角恒等式 sin²C + cos²C = 1，得 sinC = √(1 − cos²C)（因为 C 是三角形内角，0 < C < 180°，所以 sinC > 0，取正根）。
sinC = √(1 − cos²C) ……③
第 4 步：把 cosC 代入 sinC
把②代入③：
sinC = √(1 − (a² + b² − c²2ab)²) ……④
第 5 步：把 sinC 代入面积公式
把④代入①：
S = 12 · a · b · √(1 − (a² + b² − c²2ab)²)
注意到根号外面有 12·a·b = ab2，而根号里面的分母是 (2ab)² = 4a²b²。我们可以把 ab2 放进根号：
ab2 = √(a²b²4)
所以面积可以写成：
S = √(a²b²4 · (1 − (a² + b² − c²2ab)²))
第 6 步：通分，化简根号内的式子
根号内的 1 可以写成 (2ab)²(2ab)² = 4a²b²4a²b²，于是：
1 − (a² + b² − c²2ab)² = 4a²b² − (a² + b² − c²)²4a²b²
再乘上外面的 a²b²4：
a²b²4 · 4a²b² − (a² + b² − c²)²4a²b² = 4a²b² − (a² + b² − c²)²16
所以：
S = √(4a²b² − (a² + b² − c²)²16) = 14 · √(4a²b² − (a² + b² − c²)²) ……⑤
第 7 步：用平方差公式因式分解
根号里面的 4a²b² − (a² + b² − c²)²，是一个"平方减平方"的形式，可以用平方差公式 A² − B² = (A + B)(A − B) 来分解：
令 A = 2ab，B = a² + b² − c²，则：
4a²b² − (a² + b² − c²)² = (2ab + a² + b² − c²)(2ab − a² − b² + c²)
第 8 步：分别化简两个因式
第一个因式：2ab + a² + b² − c² = (a² + 2ab + b²) − c² = (a + b)² − c²
再用一次平方差：(a + b)² − c² = (a + b + c)(a + b − c)
第二个因式：2ab − a² − b² + c² = c² − (a² − 2ab + b²) = c² − (a − b)²
再用平方差：c² − (a − b)² = (c + a − b)(c − a + b)
所以：
4a²b² − (a² + b² − c²)² = (a + b + c)(a + b − c)(c + a − b)(c − a + b) ……⑥
第 9 步：引入半周长 p，换元
令 p = a + b + c2（半周长），则：
a + b + c = 2p
a + b − c = 2(p − c)
c + a − b = 2(p − b)
c − a + b = 2(p − a)
代入⑥式：
4a²b² − (a² + b² − c²)² = 2p · 2(p − c) · 2(p − b) · 2(p − a) = 16p(p − a)(p − b)(p − c)
第 10 步：代回面积公式，得到海伦公式
把⑥'代回⑤式：
S = 14 · √(16p(p − a)(p − b)(p − c))
把 16 移出根号（√16 = 4）：
S = 14 · 4 · √(p(p − a)(p − b)(p − c)) = √(p(p − a)(p − b)(p − c))
✨ S = √[p(p − a)(p − b)(p − c)]，其中 p = (a + b + c) / 2
这就是海伦公式！推导完成。
秦九韶的"三斜求积术"
中国的秦九韶（1208—1268）在《数书九章》中也独立发现了等价的公式（称为"三斜求积术"）：
S = √[14(a²c² − (a² + c² − b²2)²)]
这个公式和海伦公式看起来完全不同，但其实是等价的。关键在第 5 步：我们已经推出
S = 14 · √(4a²b² − (a² + b² − c²)²)
如果把 b 和 c 对调（三角形的边可以任意标号），就得到：
S = 14 · √(4a²c² − (a² + c² − b²)²)
把 14 放进根号（(14)² = 116），再把 (a² + c² − b²)² 写成 (a² + c² − b²2)² × 4：
S = √(116 · (4a²c² − 4 · (a² + c² − b²2)²)) = √(14(a²c² − (a² + c² − b²2)²))
这正是秦九韶公式！两个公式是同一个东西的两种写法。
海伦-秦九韶公式把二次根式用到了极致——根号里面是一大串乘法和减法。
试一试：一个三角形的三边长分别是 5、6、7，求它的面积。
第 1 步：算半周长 p = (5 + 6 + 7) / 2 = 9
第 2 步：分别算 p − a, p − b, p − c：9 − 5 = 4，9 − 6 = 3，9 − 7 = 2
第 3 步：代入公式：S = √[9 × 4 × 3 × 2] = √216
第 4 步：化简：216 = 36 × 6，所以 √216 = √(36 × 6) = 6√6
第 5 步：S = 6√6 ≈ 6 × 2.449 ≈ 14.7
《用通俗方式解释复杂概念》中写道："海伦公式是数学美的典范——一个看似复杂的量（面积），竟然只用边长就能表达，而且表达式如此对称优雅。"
习题
1. 下列哪些是二次根式？哪些不是？为什么？√5，√(-3)，√0，³√8，√(x²+1)（x 为任意实数）
2. 化简：√(π - 3)²
3. 化简：√72
4. 计算：√3 × √12
5. 计算：√27 - √12 + √3
6. 分母有理化：1/√7
7. 分母有理化：1/(√5 + 2)
8. 计算：(√2 + 1)(√2 - 1) + √8
9. 一个正方形的面积是 48 cm²，求它的边长。用最简二次根式表示。
10. 比较大小：√6 + √2 和 √5 + √3（不借助计算器）。
小结
- 二次根式 √a：表示平方等于 a 的非负数，要求 a ≥ 0
- 核心性质：(√a)² = a，√(a²) = |a|
- 乘法：√a · √b = √(ab)；除法：√a / √b = √(a/b)
- 化简：把被开方数中的完全平方因子开出根号（如 √72 = 6√2）
- 加减：先化简，再合并同类二次根式——系数加减，根号部分不变
- 分母有理化：分子分母同乘共轭式，利用平方差消去分母中的根号
- 海伦-秦九韶公式：用三边长求三角形面积，是二次根式的精彩应用