反证法设根号2为有理数,则根号2可以表示成p/q的形式,p\q为既约分数(即p与q互质)。平方得p^2=2q^2,显然p为偶数,设p=2r代入得q^2=2r^2,所以q也是偶数,那么p与q有公约数2,这与p/q为既越分数矛盾。所以根号2为无理数。
反证法1证明它不是整数(废话)2证明它不是分数