假是有理数,那么存在两个互质的正整数m,n,使得= , 于是有2m2=n2 .
∵2m2是偶数,∴n2也是偶数,∴n是偶数.
设n=2t(t是正整数),则n2=2m,∴m也是偶数
∴m,n都是偶数,不互质,与假设矛盾.
∴假设错误
∵不是有理数
有类似的方法,请证明不是有理数.