单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,直接证明与间接证明,综合法与分析法,1,.,综合法,:(,顺推证法,)(,由因导果法,),从已知条件和某些数学定义,定理,公理等出发,经过一系列推理论证,最后推导出所要证明的结论成立的证明方法,.,P Q,1,Q,n,Q,Q,2,Q,3,Q,1,Q,2,用,P,表示已知条件,已有的定义,定理,公理等,.Q,表示所要证明的结论,则综合法可用框图表示为,:,符号语言,图形语言,文字语言,学会语言转换,找出隐含条件,2.,分析法,.(,逆推证法,)(,执果索因法,),从证明的结论出发,逐步寻求使它成立的,充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件,(,已知,定理,定义,公理等,).,这种证明的方法叫做,分析法,.,此式显然成立,因此原不等式立,.,用,Q,表示所要证明的结论,则分析法可用框图表示为,:,得到一个明显,成立的条件,Q P,1,P,1,P,2,P,2,P,3,A,B,C,S,E,F,用,P,表示已知条件,定义,定理,公理等,用,Q,表示要证的结论,则上述过程可用框图表示为,:,P P,1,P,1,P,2,P,n-1,P,n,Q,m-1,Q,m,Q Q,1,Q,1,Q,2,