2.2.2 间接证明知识梳理1.不是直接从命题的条件逐步推得命题成立，这种不是直接证明的方法称为______________（indirect proof).______________就是一种常用的间接证明方法.2.反证法：一般地，假设原命题不成立.经过正确的推理，最后得出矛盾，因此说明假设错误，从 而 证 明 了 原 命 题 成 立 ， 这 样 的 证 明 方 法 叫 做 ______________ （ reducation to absurdity).3.反证法的证明过程为“否定——______________——______________”.4.反证法的一般步骤：（1）反设——________________________________________________________.（2）归谬——________________________________________________________.（3）存真——________________________________________________________.知识导学 通过本节课的学习，认识反证法在证明问题中的重要作用，学会用反证法，证明有关命题，并且要注意根据题目的类型，合理选择运用证明问题的方法，学会寻找问题中的矛盾，正确推理.疑难突破1.对反证法的理解： 从假设结论不成立入手，推出与“已知条件、假设、公理或显然成立的事实”等相矛盾的结果，从而判定假设错误，结论成立，这种方法叫做反证法. 反证法证题的特征：是通过导出矛盾、归结为谬误，而使命题得证.反证法的原理是“否定之否定等于肯定”. 反证法解题的实质就是否定结论导出矛盾，从而说明原结论正确.即证明命题的逆否命题成立否定结论：对结论的反面要一一否定，不能遗漏；否定一个反面之反证法称为归谬法，否定两个或两个以上反面之反证法称为穷举法，要注意用反证法解题，“否定结论”在推理论证中作为已知使用，导出矛盾是指在假设的前提下，逻辑推理结果与“已知条件、假设、公理、定理或显然成立的事实”等相矛盾. 反证法适宜证明存在性、惟一性、带有“至少有一个”或“至多有一个”等字样的一些数学问题. 用反证法证明不等式，常用的否定形式有：“≥”的反面为“＜”；“≤”的反面为“＞”；“＞”的反面为“≤”；“＜”的反面为“≥”；“≠”的反面为“＝”；“＝”的反面为“≠”或“＞”及“＜”. 反证法属逻辑方法范畴，它的严谨体现在它的原理上，即“否定之否定等于肯定”.其中：第一个否定是指“否定结论（假设）”；第二个否定是指“逻辑推理结果否定了假设”.反证法属“间接解题方法”，书写格式易错之处是“假设”易错写成“设”. 反证法不是去直接证明结论，而是先否定结论...
