格式為
證：假設(shè)……不成立,有…結(jié)論
根據(jù)已知條件找出矛盾
得到假設(shè)不成立,
因此命題得證.
證明√2是無(wú)理數(shù)
證：反證法
假設(shè)√2是有理數(shù),則√2必可表成：√2=p/q,p、q為不可約的有理整數(shù)
故兩邊平方得
2=p^2/q^2,即有
p^2=2*q^2為一偶數(shù)
由只有偶數(shù)的平方才能為一偶數(shù)可知,p也為偶數(shù)
不妨令p=2n,n也為一整數(shù)
則
4*n^2=2*q^2
即有：2*n^2=q^2
同樣由只有偶數(shù)的平方才能為一偶數(shù)可知,q也為偶數(shù)
這樣p、q均為偶數(shù),故它們有公約數(shù)2,因此p、q可約
這與p、q不可約矛盾
因此假設(shè)不成立.
故有√2是有理數(shù)證明假命題的話(huà)，還有其他方法的格式嗎？