x^2＋y^2=3を満たす有理数x,yは存在しないこと示せ。