《高二数学反证法.pptVIP

* * * * * * 2.2.2 反证法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 直接证明： (1)综合法—— (2)分析法—— 由因导果 执果索因 得到一个明显成立的结论 … P Q1 Q1 Q2 Q2 Q3 Qn Q … Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 将9个球分别染成红色或白色。那么无论怎样染，至少有5个球是同色的。你能证明这个结论吗？ 引例1： 间接证明： 不是直接从原命题的条件逐步推得命题成立的证明方法。 反证法是一种常用的间接证明的方法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 反证法： 假设命题结论的反面成立，经过正确的推理,引出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法。 反证法的思维方法： 正难则反 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一般地，假设原命题不成立， 经过正确的推理， 最后得出矛盾。 因此说明假设错误，从而证明了原命题成立， 这样的证明方法叫做反证法（归谬法）。 其过程包括： 反设——假设命题的结论不成立； 存真——由矛盾结果，断定反设不真，从而肯定原结论成立。 归谬——从假设出发，经过一系列正确的推理，得出矛盾； Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 归缪矛盾： （1）与已知条件矛盾； （2）与已有公理、定理、定义矛盾； （3）自相矛盾。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1 已知a≠0，证明x的方程ax=b 有且只有一个根。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 应用反证法的情形： (1)直接证明困难; (2)需分成很多类进行讨论． （3)结论为“至少”、“至多”、“有无穷多个” ---类命题； （4）结论为 “唯一”类命题； 正难则反! Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 常见否定用语 是－－－不是 有－－－没有 等－－－不等 成立－－不成立 都是－－不都是，即至少有一个不是 都有－－不都有，即至少有一个没有 都不是－部分或全部是，即至少有一个是 唯一－－至少有两个 至少有一个有（是）－－全部没有（不是） 至少有一个不－－－－－全部都 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyr