定义 有理数

自然语言

给定实数 $x \in \mathbb{R}$
若 $\exists p,q \in \mathbb{N}$ 且 $\gcd(p,q) = 1$ （即 $p,q$ 互素）成立

$$ \bbox[5pt]{ |x| = \frac{p}{q} } $$

则称实数 $x \in \mathbb{R}$ 为有理数