定义 通过“开方开不尽”的数，引出无限不循环小数，从而定义无理数。
从哪来 本知识点建立在“L2进阶层：有理数与无理数的区分”这一前置认知之上，并依托“L1基础层：有理数的两种分类”中对有理数（整数和分数）的完备性认知，通过发现“分数无法表示某些开方结果”的矛盾，从而引入无理数。
为什么 有理数可以表示为两个整数之比（分数形式）。当我们尝试计算 $\sqrt{2}$ 时，寻找一个数 $x$ 使得 $x^2=2$。
1. 若 $x$ 是有理数，设 $x=\frac{p}{q}$（最简分数，$p,q$ 互质）。
2. 则 $\frac{p^2}{q^2}=2 \Rightarrow p^2=2q^2$。
3. 这意味着 $p^2$ 是偶数，进而 $p$ 必须是偶数（设 $p=2k$）。
4. 代入得 $4k^2=2q^2 \Rightarrow q^2=2k^2$，同理 $q$ 也是偶数。
5. 这与“$p,q$ 互质”矛盾。
因此，$\sqrt{2}$ 不能表示为分数，它不属于有理数。为了填补数系的空缺，我们定义这类“开方开不尽”的数为无理数。
讲法
适合：逻辑推理能力强、喜欢探究“为什么”的学生
讲法：反证法直观演示
1. 提问：$\sqrt{2}$ 是不是分数？
2. 假设它是分数 $\frac{p}{q}$（最简）。
3. 推导：$p^2=2q^2$，说明 $p$ 是偶数。
4. 推导：$q$ 也是偶数。
5. 矛盾：最简分数的分子分母不可能同时被2整除。
6. 结论：$\sqrt{2}$ 不是分数，所以它不是有理数，它是无理数。
*重点强调：这不是因为计算器算不出来，而是数学逻辑上它“不存在”于有理数集合中。*
讲法
适合：形象思维强、对抽象逻辑感到困难的学生
讲法：数轴上的“空隙”填充
1. 画一条数轴，标出整数 0, 1, 2, 3...
2. 问：1 和 2 之间有没有数？有，比如 1.5 ($\frac{3}{2}$), 1.25 ($\frac{5}{4}$)...
3. 问：能不能把所有分数都标出来？
4. 演示：用圆规以原点为圆心，边长为1的正方形对角线为半径画弧，交数轴于点 $A$。
5. 问：点 $A$ 代表什么数？$\sqrt{2}$。
6. 问：$\sqrt{2}$ 能写成 $\frac{p}{q}$ 吗？（回顾前置知识：不能）。
7. 结论：数轴上这个真实存在的点，不属于有理数，我们叫它无理数。
*重点强调：无理数是数轴上真实存在的“点”，只是不能用分数表示。*
讲法
适合：计算能力强、喜欢通过数值逼近理解概念的学生
讲法：无限逼近法
1. 计算 $\sqrt{2}$ 的近似值：
- $1^2=1 < 2$
- $1.4^2=1.96 < 2$
- $1.41^2=1.9881 < 2$
- $1.414^2=1.999396 < 2$
- $1.4142^2=1.99996164 < 2$
2. 观察：小数位数越多，越接近2，但永远无法“等于”2。
3. 结论：$\sqrt{2} = 1.41421356...$ 是一个无限不循环小数。
4. 定义：像这样无限不循环的小数，就是无理数。
*重点强调：无理数的小数部分是“无限”且“不循环”的，这是它与有理数（有限小数或无限循环小数）的本质区别。*