有理数的定义
有理数(Rational Number)是可以表示为两个整数之比的数,即形如 p q \frac{p}{q} qp 的数,其中 p p p 和 q q q 是整数,且 q ≠ 0 q \neq 0 q=0。
形式化的定义为:
有理数
=
{
p
q
∣
p
,
q
∈
Z
,
q
≠
0
}
\text{有理数} = \left\{ \frac{p}{q} \mid p, q \in \mathbb{Z}, q \neq 0 \right\}
有理数={qp∣p,q∈Z,q=0}
其中,
Z
\mathbb{Z}
Z 代表整数集合。
有理数的证明方法
证明一个数是有理数,通常通过以下步骤:
-
表示为分数形式:证明某个数可以表示为两个整数之比,即 p q \frac{p}{q} qp,且 q ≠ 0 q \neq 0 q=0。
-
分母不为零:确保分母 q q q 不为零,这是有理数定义中的关键条件。
-
整数的形式:验证分子和分母 p p p 和 q q q 都是整数。
示例证明
假设我们要证明 0.75 0.75 0.75 是有理数。
-
表示为分数形式:
0.75 = 75 100 0.75 = \frac{75}{100} 0.75=10075 -
化简分数:
75 100 = 3 4 \frac{75}{100} = \frac{3}{4} 10075=43
其中, 3 3 3 和 4 4 4 是整数,且分母 4 ≠ 0 4 \neq 0 4=0。 -
结论:
0.75 0.75 0.75 可以表示为 3 4 \frac{3}{4} 43,所以 0.75 0.75 0.75 是有理数。
证明结论
通过以上步骤,我们证明了 0.75 0.75 0.75 是有理数。同样的方法可以用于其他数值,只要能够表示为两个整数之比并且分母不为零,这个数就是有理数。
反证法示例
假设我们要证明 2 \sqrt{2} 2 不是有理数(即无理数)。
-
假设:假设 2 \sqrt{2} 2 是有理数,那么存在两个互质整数 p p p 和 q q q,使得:
2 = p q \sqrt{2} = \frac{p}{q} 2=qp
其中, p p p 和 q q q 互质,且 q ≠ 0 q \neq 0 q=0。 -
平方两边:
2 = p 2 q 2 2 = \frac{p^2}{q^2} 2=q2p2
即:
p 2 = 2 q 2 p^2 = 2q^2 p2=2q2 -
结论:从 p 2 = 2 q 2 p^2 = 2q^2 p2=2q2 可以得出 p 2 p^2 p2 是偶数,因此 p p p 也是偶数。令 p = 2 k p = 2k p=2k,代入得到:
( 2 k ) 2 = 2 q 2 (2k)^2 = 2q^2 (2k)2=2q2
即:
4 k 2 = 2 q 2 ⇒ q 2 = 2 k 2 4k^2 = 2q^2 \quad \Rightarrow \quad q^2 = 2k^2 4k2=2q2⇒q2=2k2
这说明 q 2 q^2 q2 也是偶数,因此 q q q 也是偶数。但这与 p p p 和 q q q 互质的假设相矛盾。因此,假设 2 \sqrt{2} 2 是有理数是错误的,故 2 \sqrt{2} 2 是无理数。
通过类似的推理,可以证明任何非完全平方数的平方根是无理数。
以上方法可以帮助理解有理数的定义及其证明方法。