4直接证明与间接证明1．直接证明(1)综合法：一般地，利用已知条件和某些数学定义、公理、定理等，经过一系列的____________，最后推导出所要证明的结论________，这种证明方法叫做综合法．综合法又叫顺推证法或__________法．(2)分析法：一般地，从要证明的________出发，逐步寻求使它成立的____________，直至最后，把要证明的__________归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法．分析法又叫逆推证法或__________法．(3)综合法和分析法，是直接证明中最基本的两种证明方法，也是解决数学问题时常用的思维方式．2．间接证明反证法：一般地，假设原命题____________(即在原命题的条件下，结论__________)，经过__________，最后得出__________．这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实等矛盾．因此说明假设________，从而证明了原命题成立，这样的证明方法叫做反证法．反证法是间接证明的一种基本方法．自查自纠1．(1)推理论证成立由因导果(2)结论充分条件结论执果索因2．不成立不成立正确的推理矛盾错误()设a，b∈R，且a≠b，a＋b＝2，则必有()A．1≤ab≤B．ab，相加得＋>，这与＋＝矛盾，所以假设不成立．因此∠B0，b>0，且a＋b＝＋
证明：(1)a＋b≥2；(2)a2＋a
