2[1]-2-1综合法-ppt1.pptVIP

2.2直接证明与间接证明 2.2.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. 引例：四边形ABCD是平行四边形， 求证：AB=CD，BC=DA 证 连结AC，因为四边形ABCD是平行四边形 所以AB//CD，BC//DA 又AC=CA 故 AB=CD，BC=DA 直接从原命题的条件逐步推得命题成立的证明方法称为直接证明，其一般形式为： 本题条件 已知定义 已知定理 已知公理 本题结论 … Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1:已知a0,b0,求证a(b2+c2)+b(c2+a2)≥4abc 因为b2+c2 ≥2bc,a0 所以a(b2+c2)≥2abc. 又因为c2+b2 ≥2bc,b0 所以b(c2+a2)≥ 2abc. 因此a(b2+c2)+b(c2+a2)≥4abc. 证明: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 从已知条件出发，以已知定义、公理、定理等为依据,逐步下推，直到推出要证明的结论为止，这种证明方法叫做综合法(顺推证法) 用P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论. 则综合法用框图表示为: … 特点:“由因导果” Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 符号语言 图形语言 文字语言 学会语言转换 找出隐含条件 例2：在△ＡＢＣ中，三个内角Ａ、Ｂ、Ｃ对应的边分别为a、b、c，且Ａ、Ｂ、Ｃ成等差数列，a、b、c成等比数列，求证△ＡＢＣ为等边三角形． Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例3.△ABC三边长 的倒数成等差数列，求证： . 证明： 因为a,b,c为△ABC三边 所以 a + c b 所以 cosB0 因此 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. 练2：在锐角三角形ＡＢＣ中， 求证sinA+sinB+sinCcosA+cosB+cosC 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 Aspos