有理数无理数的定义是什么

有理数是整数和分数的统称，也就是能写成两个整数之比 p/q（q 不等于 0）的数；无理数是不能这样写的数，其小数形式是无限不循环小数。这两句是定义，不是特征描述——判断一个数属于哪一类，看能不能写成分数，而不是看它长得像不像。

定义的两个等价说法

第一种说法来自数的构造：整数和分数合起来叫有理数，整数包括正整数、0、负整数，分数包括正分数、负分数。第二种说法来自表示：能写成 p/q 形式的数是有理数，其中 p、q 为整数且 q 不为 0。

两种说法等价，但第二种更好用，因为它可以直接拿来证明。要证一个数是有理数，把它写成分数即可；要证它不是，就得证明「写不出来」——这通常要用反证法。

按集合的包含关系看更清楚：自然数集包含于整数集，整数集包含于有理数集，有理数集又包含于实数集。实数分成有理数和无理数两块，不重不漏，这就是「二分」的意思。

几个容易含糊的边界：0 是整数，自然也是有理数；有限小数如 0.25 等于 1/4，是有理数；带根号的数不一定无理，√9 等于 3，是有理数。判断前先化简，别看见根号就下结论。

小数形态：有限或无限循环

任何有理数写成小数，要么是有限小数，要么是无限循环小数。反过来，任何有限小数或无限循环小数都能化成分数，所以它们都是有理数。0.333… 等于 1/3，0.1666… 等于 1/6，这不是近似，是相等。

无理数则相反：小数位无限且不循环。圆周率 π、自然对数的底 e、√2、√3 都是。注意无限不等于无理，1/3 的小数也无限，但它循环，所以是有理数。

循环小数化分数有固定方法：设 x 等于该小数，乘以 10 的循环节位数次方，两式相减，循环部分消掉，解出 x 即可。以 0.2727… 为例，100x 减 x 得 99x ＝ 27，x ＝ 3/11。这个方法本身就是「能写成两整数之比」的构造性证明。

顺带说清一个老问题：0.999… 等于 1，不是约等于。设 x ＝ 0.999…，10x 减 x 得 9x ＝ 9，x ＝ 1。它是同一个数的两种写法，不是两个挨得很近的数。

√2 不是有理数，怎么证？

用反证法。假设 √2 是有理数，则可写成最简分数 p/q，p、q 互质且 q 不为 0。两边平方得 2q² ＝ p²，说明 p² 是偶数，因而 p 是偶数，设 p ＝ 2k。

代入得 2q² ＝ 4k²，即 q² ＝ 2k²，同理 q 也是偶数。p、q 同为偶数，与「最简分数」矛盾。假设不成立，√2 不是有理数。

这个证明的关键不在计算，而在「最简」两个字。没有约分到底这个前提，矛盾就出不来。它是中学阶段第一个真正意义上的存在性反证，值得反复看。

换一个角度也能证：若 2q² ＝ p²，看两边质因数分解中 2 的指数。左边是奇数个 2，右边是偶数个 2，同一个数不可能有两种分解，矛盾。这是算术基本定理的用法，比「奇偶性」更本质，也更容易推广到 √3、√5。

为什么说无理数对运算不封闭？

有理数对加、减、乘、除（除数不为 0）都封闭：两个有理数运算的结果仍是有理数。无理数没有这个性质。√2 乘 √2 等于 2，两个无理数乘出有理数；√2 加负 √2 等于 0，也是一样。

由此还能推出两条常用结论：无理数加有理数仍是无理数，无理数乘非零有理数仍是无理数。判断复合式的类别时，用这两条比逐个估算快得多。

但两个无理数相加、相乘，结果不定。√2 加 √2 得 2√2，仍无理；√2 加负 √2 得 0，是有理数。所以「无理数加无理数等于无理数」这句话是错的，不能当规律用。

稠密，却不连续

任取两个有理数，取它们的平均数，仍是有理数，且落在两者之间。反复操作，可以在一段极小的区间里塞进无穷多个有理数，这叫稠密性。

稠密容易让人以为有理数「铺满了」数轴，其实没有。数轴上到处都是「洞」，那些洞就是无理数，而且洞比有理数多得多。有理数可数，无理数不可数，这个结论要到集合论里才讲得清。

可数的意思是能与自然数一一对应。有理数虽然稠密，却能做到这一点；无理数做不到，任何列举都会漏掉绝大部分。这个反直觉的结论，正是十九世纪集合论最让人震动的地方。

几个容易判错的数

最后一列常被忽略：无理数不等于超越数。√2 是方程 x² − 2 ＝ 0 的根，属于代数数；π 和 e 不是任何整系数多项式方程的根，才叫超越数。这层区分高中不作要求，但能解释为什么 π 的无理性证明比 √2 难得多。

还有一类题专门考「看着有规律、其实不循环」：0.1010010001…，小数点后依次多一个 0，它没有循环节，所以是无理数。判断依据不是「有没有规律」，而是「能不能找到重复出现的有限数字块」。

常见问题

0 是有理数吗？

是。0 可以写成 0/1，符合定义。它既不是正数也不是负数，是有理数里唯一的中性数。

无限小数都是无理数吗？

不是。无限循环小数是有理数，如 0.121212…；只有无限且不循环的才是无理数。

有理数和无理数哪个多？

无理数多得多。有理数是可数的，无理数不可数，两者不在一个量级，尽管任意两个有理数之间都还有无理数。