第十三章推理与证明、算法、复数13
2直接证明与间接证明教师用书理苏教版1.直接证明(1)综合法①定义:从已知条件出发,以已知的定义、公理、定理为依据,逐步下推,直到推出要证明的结论为止,这种证明方法常称为综合法.②框图表示:⇒…⇒…⇒③思维过程:由因导果.(2)分析法①定义:从问题的结论出发,追溯导致结论成立的条件,逐步上溯,直到使结论成立的条件和已知条件或已知事实吻合为止.这种证明方法常称为分析法.②框图表示:⇐…⇐…⇐③思维过程:执果索因.2.间接证明反证法:要从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题).这个过程包括下面3个步骤:(1)反设——假设命题的结论不成立,即假定原结论的反面为真;(2)归谬——从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;(3)存真——由矛盾结果,断定反设不真,从而肯定原结论成立.【思考辨析】判断下列结论是否正确(请在括号中打“√”或“×”)(1)综合法是直接证明,分析法是间接证明.(×)(2)分析法是从要证明的结论出发,逐步寻找使结论成立的充要条件.(×)(3)用反证法证明结论“a>b”时,应假设“a