8、反证法的证题步骤：① ；② ；

　③ ；④ .

9、反证法中的矛盾主要有：① ；② ；③ .

10、常见的肯定词、否定词及它们之间的对应关系如表

肯定词 否定词 肯定词 否定词 是 对所有的都成立 一定是 对任意不成立 都是 大于 至少一个 属于 最多两个

典型例题

例1、求证：.

变式1、已知，，求证：.

例2、求证：.（分析）