如果√2是有理数,必有√2=p/q(p、q为互质的正整数).为什么可以啊?