在高数中Q={p/q|p∈Z,q∈N*且p与q互质}这是有理数集合的定义,互质是什么?为什么一定要互质?