定义 任意两个不相等的有理数之间，必然存在另一个有理数。
从哪来 它建立在核心概念之上。
为什么 有理数集 $Q$ 对四则运算封闭，特别是加法与除法。
假设 $a < b$ 是两个不相等的有理数。
取中点 $c = \frac{a+b}{2}$。
因为 $a, b$ 是有理数，所以 $a+b$ 是有理数，除以 2 后 $c$ 依然是有理数。
且显然 $a < c < b$。
这说明在 $a$ 和 $b$ 之间总能找到一个新的有理数。
同理，在 $a$ 和 $c$ 之间还能再找，在 $c$ 和 $b$ 之间还能再找……
这个过程可以无限进行下去，因此有理数是“稠密”的，没有“相邻”的两个有理数。
讲法
数轴直观法
适合
视觉型、直觉型学生。
在数轴上标出 0 和 1。问学生：“0 和 1 中间有没有数？”学生答“有，0.5”。
再问：“0 和 0.5 中间有没有数？”学生答“有，0.25”。
再问：“0.25 和 0.5 中间呢？”
引导学生发现：无论把区间缩得多小，中间永远能塞进一个新的有理数。
强调：有理数像“沙子”，没有“相邻”的两粒，中间总有空隙可以填。
讲法
代数构造法
适合
逻辑型、抽象思维强的学生。
不依赖图形，直接推导。
设 $a < b$，$a, b \in Q$。
构造 $c = \frac{a+b}{2}$。
证明 $c \in Q$：有理数加减仍为有理数，有理数除以非零有理数仍为有理数。
证明 $a < c < b$：
$c - a = \frac{b-a}{2} > 0 \Rightarrow c > a$
$b - c = \frac{b-a}{2} > 0 \Rightarrow c < b$
结论：对任意 $a < b$，存在 $c \in Q$ 使得 $a < c < b$。
这就是稠密性的代数定义。
讲法
反例对比法
适合
易混淆概念、需要辨析的学生。
先问：“整数集是稠密的吗？”
学生可能犹豫。引导：1 和 2 之间有没有整数？没有。
所以整数集
不稠密。
再问：“有理数集呢？”
1 和 2 之间有 1.5，1.5 和 2 之间有 1.75……
对比整数集的“离散”与有理数集的“稠密”，突出“任意两数之间必有第三数”这一关键区别。