假如根号2是有理数,那么它一定可以用一个最简的（不能再约分的）分数m/n表示 则：m^2/n^2=2 所以m^2=2*n^2 所以m是偶数 假设m=2k,那么2*n^2=4*k^2 所以n^2=2*k^2 所以说n也是偶数 既然m,n都是偶数,那么m/n就不是最简分数,与原设相矛盾 故根号2是无理数2