若根号3是有理数,依定义,设根号3=m/n,其中m,n是两个互质的正整数,即没有大于1的公约数.
将根号3=m/n两边平方并乘以n^2得3n^2=m^2
故3整除m,设m=3k,带入上式得n^2=3k^2
从而3亦整除n,矛盾
故根号三不是有理数.