有理数集Q={x|x=P/q,p属于z,q属于N*且p与q互质}
任何一个有理数都可以看成循环小数,而循环小数都可以表示成分数,而分数都可以表示成两个整数之商（分母不为零）.因此,有理数x=P/q,其中p属于z,q属于N*.当p,q不互质,我们可以一直化简到它们互质.
化成互质,主要是在证明一些问题中使用方便.