设根号2是有理数,即可以写成两个不能约分的整数的商
设根号2=p/q,两边平方,得
p²/q²=2
p²=2q²
∴p是偶数
设p=2m
(2m)²=2q²
4m²=2q²
q²=2m²
∴q也是偶数
这与p,q不能约分矛盾
∴根号2不是有理数,是无理数