- 1
- 0
- 约1.44千字
- 约 15页
- 2017-09-10 发布于江苏
- 举报
2.2.1 直接证明 引例1: 已知:四边形是ABCD平行四边形. 求证:AB=CD,BC=DA 2 1 3 4 证明:连结AC, ∵四边形ABCD是平行四边形 ∴AB∥CD,BC∥CD 故∠1=∠2, ∠3=∠4 又∵AC=CA ∴⊿ABC≌⊿CDA ∴AB=CD,BC=DA A B C D 直接从原命题的条件逐步推得命题成立,这种证法通常称为直接证明. 直接证明的一般形式: A B C … 本题结论 已知定义 本题条件 已知公理 已知定理 引例2:回顾基本不等式: (a0,b0)的证明. 证明: 因为: 所以 所以 所以 成立 证明:要证 只需证: 只需证: 只需证: 因为: 成立 所以 成立 利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法 用P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论. 则综合法用框图表示为: … 综合法推证过程: 已知条件 结论 … … 由因导果 一般地,从要证明的结论出发,逐步寻求推证过程中,使每一步结论成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明的方法叫做分析法. 特点:由果索
原创力文档

文档评论(0)