假设√2=m/n(m,n互质)是有理数 1)2=m2/n2 2)m2=2n2... m是偶数 3)令m=2k 4)4k2=2n2.... 2k2=n2.....n是偶数 5)m,n都是偶数与m,n互质矛盾,故√2是无理数