数 学 通 识 讲 义
负数与无理数：第一次『不可能』
学段 初中 · 关联知识点「实数的分类」
❖
读 · 引子·钩子$3-5=?$ 在只有自然数的世界里，这是个"没有答案"的问题——你不能从 $3$ 个苹果里拿走 $5$ 个。古人也曾觉得负数"荒谬"。可只要你允许"欠 $2$ 个"这种状态存在、记作 $-2$，减法就处处通行了。负数，是人类接纳的第一个"不可能的数"。而它绝不是最后一个。
讨论 · 猜想·预测先押一注："负数、无理数、复数"这些当年被斥为荒谬的数，是数学史上的意外事故，还是同一条必然之路上的几站？读完再看。
读 · 历史- 古希腊 · 毕达哥拉斯学派 "万物皆（整数）比"是信条。可正方形对角线 $\sqrt2$ 无法写成分数——这动摇了信仰，据说泄露此秘密的人被投入了大海。
- 很长一段时间 · 负数 负数被不少数学家称作"荒谬的数""虚构的数"，迟迟不被接纳——直到它在记账与方程里实在太有用。
- 逐步 · 转正 负数、无理数一一"转正"，数系一步步扩张：$\mathbb N\to\mathbb Z\to\mathbb Q\to\mathbb R$。
读 · 概念数系扩张的引擎：一种运算在小数系里"不封闭"（结果跑到系统外去了），就造一个更大的数系把它装下。$\mathbb N$ 减法不封闭 → 整数 $\mathbb Z$；$\mathbb Z$ 除法不封闭 → 有理数 $\mathbb Q$；$\mathbb Q$ 开方（与取极限）不封闭 → 实数 $\mathbb R$。每一步，旧数都是新数的特例——家越搬越大，旧成员一个没丢。
做 · 例题精析说明：方程 $x^2=2$ 在有理数范围内无解，却在实数范围内有解。
读"有理数无解"要排除所有分数；"实数有解"要指出那个数。
思前半用反证（假设 $x=\frac pq$ 最简 → 推出 $p,q$ 同为偶数，矛盾——见【反证法】那篇）；后半：数轴上边长为 $1$ 的正方形，其对角线长度就是它。
写有理数里 $x^2=2$ 无解；为了让它有解，我们造一个新数 $\sqrt2$，把有理数扩成实数 $\mathbb R$。
$x=\pm\sqrt2$——一个在有理数里"不存在"的解，在扩张后的实数里堂堂正正。"无解"，正是扩张的邀请函。∎
读 · 公式推导·分步减法不够 → 造负数
$\mathbb N$ 里 $3-5$ 无解。造负数，得整数 $\mathbb Z$——减法处处通行。
除法不够 → 造分数
$\mathbb Z$ 里 $1\div3$ 无解。造分数，得有理数 $\mathbb Q$——非零除法处处通行。
开方/极限不够 → 造无理数
$\mathbb Q$ 里 $x^2=2$ 无解，且有理数在数轴上"有缝"。补上无理数，得实数 $\mathbb R$——数轴填满，开方与极限有了着落。
讨论 · 误区·辨析三个提醒：① 无理数的定义是"不能写成两个整数之比"，别只含糊说成"无限不循环小数"；② 扩张不是随便加数，是为了让某个运算封闭、且旧规律仍成立（旧数必须是新数的特例）；③ "$\sqrt2\approx1.414$" 不是 $\sqrt2$——那个近似值是有理数，$\sqrt2$ 是那个精确的无理数，别混。
做 · 巩固练习- 证明 $\sqrt2+\sqrt3$ 不是有理数。
反证：设 $\sqrt2+\sqrt3=r$ 为有理数。两边平方得 $5+2\sqrt6=r^2$，于是 $\sqrt6=\dfrac{r^2-5}{2}$ 也是有理数。但 $\sqrt6$ 无理（同 $\sqrt2$ 的反证：设 $\sqrt6=\frac pq$ 最简，$6q^2=p^2$，推出 $p,q$ 皆偶，矛盾）。矛盾，故 $\sqrt2+\sqrt3$ 无理。∎
做 · 挑战·BOSS★ 是否存在有理数 $a,b$，使 $(a+b\sqrt2)^2=3+2\sqrt2$？若有，求出。
展开 $(a+b\sqrt2)^2=(a^2+2b^2)+2ab\sqrt2$。因 $\sqrt2$ 无理，"有理部分"与"$\sqrt2$ 的系数"必须各自对应（这正是把 $a+b\sqrt2$ 看作新数系的关键）：$\{a^2+2b^2=3,\ 2ab=2\}$。由 $ab=1$ 得 $b=\frac1a$，代入得 $a^4-3a^2+2=0$，即 $(a^2-1)(a^2-2)=0$。有理解为 $a^2=1$，即 $a=\pm1,\ b=\pm1$。验：$(1+\sqrt2)^2=3+2\sqrt2$ ✓。∎