求反证法证明命题格式最好有例题.是几何题命题
1个回答

格式为

证:假设……不成立,有…结论

根据已知条件找出矛盾

得到假设不成立,

因此命题得证.

证明√2是无理数

证:反证法

假设√2是有理数,则√2必可表成:√2=p/q,p、q为不可约的有理整数

故两边平方得

2=p^2/q^2,即有

p^2=2*q^2为一偶数

由只有偶数的平方才能为一偶数可知,p也为偶数

不妨令p=2n,n也为一整数

4*n^2=2*q^2

即有:2*n^2=q^2

同样由只有偶数的平方才能为一偶数可知,q也为偶数

这样p、q均为偶数,故它们有公约数2,因此p、q可约

这与p、q不可约矛盾

因此假设不成立.

故有√2是有理数