为什么有理数的分数形式(形如√2=q/p,p、q互素)互素