在实数中，数可以分为有理数和无理数两大类。有理数是可以表示成两个整数之比（即分数形式 $\frac{a}{b}$，其中 $a$、$b$ 是整数，且 $b \neq 0$）的数，例如 $3 = \frac{3}{1}$、$-0.5 = -\frac{1}{2}$、$0.333\cdots = \frac{1}{3}$。

而无理数是不能表示成两个整数之比的实数。它们的小数形式是无限不循环的，也就是说，小数点后有无穷多位，并且不会出现重复的数字模式。例如：

• $\sqrt{2} \approx 1.41421356\cdots$，它不能写成分数；
• 圆周率 $\pi \approx 3.14159265\cdots$，也是无限不循环小数；
• 自然对数的底 $e \approx 2.71828\cdots$（虽然初中阶段较少涉及）。

需要注意的是，带根号的数不一定是无理数！比如 $\sqrt{4} = 2$ 是有理数，因为结果是整数。只有当根号下的数不是完全平方数时（如 $\sqrt{2}, \sqrt{3}, \sqrt{5}$），结果才是无理数。

所有实数要么是有理数，要么是无理数，二者互不重叠，合起来构成实数集 $\mathbb{R}$。

• 有理数定义：若一个数可表示为 $\frac{a}{b}$（$a, b \in \mathbb{Z}, b \neq 0$），则为有理数。例如：$\frac{3}{4}$ 是有理数。
• 无理数特征：无限不循环小数。例如：$\sqrt{2} = 1.41421356\cdots$（不循环）。
• 完全平方数判别：若 $n$ 是正整数，且存在整数 $k$ 使得 $k^2 = n$，则 $\sqrt{n} = k$ 是有理数；否则 $\sqrt{n}$ 是无理数。例如：$\sqrt{9} = 3$（有理），$\sqrt{10}$（无理）。

例题1：判断下列数中哪些是无理数：$\sqrt{16}$，$\sqrt{7}$，$\frac{22}{7}$，$\pi$。

解：

1. $\sqrt{16} = 4$，是整数，属于有理数；
2. $\sqrt{7}$ 的被开方数 7 不是完全平方数，其小数形式无限不循环，因此是无理数；
3. $\frac{22}{7}$ 是两个整数的比，是有理数（注意：它只是 $\pi$ 的近似值，不是 $\pi$ 本身）；
4. $\pi$ 是著名的无理数，无限不循环小数。

所以，无理数是：$\sqrt{7}$ 和 $\pi$。

例题2：证明 $\sqrt{2}$ 是无理数（简要思路，适合初中理解）。

解（反证法思想）： 假设 $\sqrt{2}$ 是有理数，那么它可以写成最简分数 $\frac{p}{q}$（$p, q$ 是互质的正整数）。 两边平方得：$2 = \frac{p^2}{q^2}$，即 $p^2 = 2q^2$。 这说明 $p^2$ 是偶数，所以 $p$ 也必须是偶数（奇数的平方是奇数）。 设 $p = 2k$，代入得 $(2k)^2 = 2q^2 \Rightarrow 4k^2 = 2q^2 \Rightarrow q^2 = 2k^2$， 所以 $q^2$ 也是偶数，$q$ 也是偶数。 但这样 $p$ 和 $q$ 都是偶数，与“互质”矛盾！ 因此假设错误，$\sqrt{2}$ 不是有理数，即是无理数。

• 误认为所有带根号的数都是无理数：如 $\sqrt{4} = 2$ 是有理数。应先判断被开方数是否为完全平方数。
• 把 $\pi$ 和 $\frac{22}{7}$ 混淆：$\frac{22}{7}$ 是有理数，只是 $\pi$ 的近似值，$\pi$ 本身是无理数。
• 认为无限小数都是无理数：错！无限循环小数（如 $0.333\cdots = \frac{1}{3}$）是有理数，只有无限不循环小数才是无理数。
• 忽略负无理数的存在：如 $-\sqrt{3}$ 也是无理数，无理数可以是负数。
• 用计算器显示有限位就判断为有理数：计算器只能显示有限位，不能反映真实性质，如 $\sqrt{2}$ 显示为 1.4142，但实际是无限不循环的。