反证法如下：

　　假如根号2是有理数,那么它一定可以用一个最简的（不能再约分的）分数m/n表示,也就是m、n的最大公约数是1

　　则：m^2/n^2=2

　　所以m^2=2*n^2,所以m^2是偶数

　　偶数的平方一定是偶数,反之亦然,若一个偶数是完全平方数,那它的平方根也一定是偶数,所以m是偶数

　　假设m=2k,k是整数.那么2*n^2=(2k)^2=4*k^2

　　所以n^2=2*k^2,与上面同理

　　所以说n也是偶数

　　既然m,n都是偶数,那么m/n就不是最简分数,它们的最大公约数就不是1,至少2也是它们的公约数,很显然2>1,与原题设的1是它们的最大公约数矛盾

　　故根号2是无理数

　　提高一下,如何证明根号3也是无理数呢?楼主自己去考虑