有理数的定义以及证明

有理数的定义

有理数（Rational Number）是可以表示为两个整数之比的数，即形如 $\frac{p}{q}$ 的数，其中 $p$ 和 $q$ 是整数，且 $q\ne 0$。

形式化的定义为：
$$\text{有理数}=\left\{\frac{p}{q}\mid p,q\in \mathbb{Z},q\ne 0\right\}$$
其中，$\mathbb{Z}$ 代表整数集合。

有理数的证明方法

证明一个数是有理数，通常通过以下步骤：

1. 表示为分数形式：证明某个数可以表示为两个整数之比，即 $\frac{p}{q}$，且 $q\ne 0$。

2. 分母不为零：确保分母 $q$ 不为零，这是有理数定义中的关键条件。

3. 整数的形式：验证分子和分母 $p$ 和 $q$ 都是整数。

示例证明

假设我们要证明 $0.75$ 是有理数。

1. 表示为分数形式：
   $$0.75=\frac{75}{100}$$

2. 化简分数：
   $$\frac{75}{100}=\frac{3}{4}$$
   其中，$3$ 和 $4$ 是整数，且分母 $4\ne 0$。

3. 结论：
   $0.75$ 可以表示为 $\frac{3}{4}$，所以 $0.75$ 是有理数。

证明结论

通过以上步骤，我们证明了 $0.75$ 是有理数。同样的方法可以用于其他数值，只要能够表示为两个整数之比并且分母不为零，这个数就是有理数。

反证法示例

假设我们要证明 $\sqrt{2}$ 不是有理数（即无理数）。

1. 假设：假设 $\sqrt{2}$ 是有理数，那么存在两个互质整数 $p$ 和 $q$，使得：
   $$\sqrt{2}=\frac{p}{q}$$
   其中，$p$ 和 $q$ 互质，且 $q\ne 0$。

2. 平方两边：
   $$2=\frac{p^2}{q^2}$$
   即：
   $$p^2=2q^2$$

3. 结论：从 $p^2=2q^2$ 可以得出 $p^2$ 是偶数，因此 $p$ 也是偶数。令 $p=2k$，代入得到：
   $$(2k{)}^2=2q^2$$
   即：
   $$4k^2=2q^2\Rightarrow q^2=2k^2$$
   这说明 $q^2$ 也是偶数，因此 $q$ 也是偶数。

   但这与 $p$ 和 $q$ 互质的假设相矛盾。因此，假设 $\sqrt{2}$ 是有理数是错误的，故 $\sqrt{2}$ 是无理数。

通过类似的推理，可以证明任何非完全平方数的平方根是无理数。

以上方法可以帮助理解有理数的定义及其证明方法。