用反证法证明√5是无理数.设√5不是无理数而是有理数,则设√5=p/q(p,q是正整数,且互为质数,即最大公约数是1) 两边平方,5=p^2/q^2,p^2=5q^2(*) p^2含有因数5,设p=5m 代入(*),25m^2=5q^2,q^2=5m^2 q^2含有因数5,即q有因数5 这样p,q有公因数5,这与假设p,q最大公约数为1矛盾,√5=p/q(p,q是正整数,且互为质数,即最大公约数是1)不成立,√5不是有理数而是无理数.