∴<<，<

　　，a

　　=a=b.这些都同已知条件a>b>0矛盾，∴.

　　例5．若a2能被2整除，a是整数，求证：a也能被2整除.

　　证明：假设a不能被2整除，则a必为奇数，

　　故可令a=2m+1(m为整数),

　　由此得a2=(2m+1)2=4m2+4m+1=4m(m+1)+1,

　　此结果表明a2是奇数，

　　这与题中的已知条件（a2能被2整除）相矛盾,

　　∴a能被2整除.

　　例6.用反证法证明：若、、，且，，，则、、中至少有一个不小于0

　　证明： 假设、、均小于0，即：

　　 ----① ；

　　----② ；

　　----③；

　　①+②+③得，

　　这与矛盾，

　　则假设不成立，

　　∴、、中至少有一个不小于0