《直接证明与间接证明——综合法和分析法.ppt》由会员分享，可在线阅读，更多相关《直接证明与间接证明——综合法和分析法.ppt（9页珍藏版）》请在三一办公上搜索。
直接证明与间接证明,2.2.1综合法与分析法,2.2,1.综合法:(顺推证法)(由因导果法),从已知条件和某些数学定义,定理,公理等出发,经过一系列推理论证,最后推导出所要证明的结论成立的证明方法.,用P表示已知条件,已有的定义,定理,公理等.Q表示所要证明的结论,则综合法可用框图表示为:,符号语言,图形语言,文字语言,学会语言转换,找出隐含条件,2.分析法.(逆推证法)(执果索因法),从证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知,定理,定义,公理等).这种证明的方法叫做分析法.,此式显然成立,因此原不等式立.,用Q表示所要证明的结论,则分析法可用框图表示为:,得到一个明显成立的条件,用P表示已知条件,定义,定理,公理等,用Q表示要证的结论,则上述过程可用框图表示为:,
