反证：设根号2是有理数，x∈Q，x>0使得x^2=2
那么存在互质的正整数p，q使得x=p/q，因为p，q互质所以p,q不能同时为偶数
则2=x^2=p^2/q^2
2q^2=p^2
若p为奇数p^2为奇数，2q^2为偶数矛盾
若p为偶数得q为奇数，设p=2k得q^2=2k^2左奇数右偶数矛盾
证毕
则根号2不是有理数，不存在正有理数x使得x^2=2
那么存在互质的正整数p，q使得x=p/q，因为p，q互质所以p,q不能同时为偶数
则2=x^2=p^2/q^2
2q^2=p^2
若p为奇数p^2为奇数，2q^2为偶数矛盾
若p为偶数得q为奇数，设p=2k得q^2=2k^2左奇数右偶数矛盾
证毕
则根号2不是有理数，不存在正有理数x使得x^2=2
有趣
