2.2.1《综合法和分析法》.pptVIP

思考1：用反证法证题的核心问题是什么？ 在正确的推理下得出矛盾. 思考2：在反证法应用中，矛盾的构设有哪几种情形？ （1）与已知条件矛盾； （2）与假设矛盾； （3）与定义、公理、定理、性质矛盾； （4）与客观事实矛盾. 2.2直接证明与间接证明 2.2.2 反证法 反证法：　　　　　　　　　　　　　假设命题结论不成立（即命题结论的反面成立），经过正确的推理,引出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法。 反证法的一般步骤： （1）反设：假设命题结论不成立（即假设结论的反面成立）； （2）归缪：从假设出发，经过推理论证，得出矛盾； （3）下结论：由矛盾判定假设不成立，从而肯定命题成立。 归缪矛盾： （1）与已知条件矛盾；（2）与公理、定理、定义矛盾；（3）自相矛盾。 注意：反证法引出矛盾没有固定的模式，需要认真观察、分析，洞察矛盾。 应用反证法的情形： ⑴直接证明困难; ⑵需分成很多类进行讨论． ⑶结论为“至少”、“至多”、“有无穷多个” ---类命题； ⑷结论为 “唯一”类命题； 反证法的思维方法：正难则反 常见否定用语 是－－－不是 有－－－没有 等－－－不等 成立－－不成立 都是－－不都是，即至少有一个不是 都有－－不都有，即至少有一个没有 都不是－部分或全部是，即至少有一个是 唯一－－至少