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