分析法:一般地,从所要证明的结论出发,逐步寻求使它成立的充分条件,直到最后把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止。这种证明的方法叫做分析法。用表示要证明的结论,则分析法可用框图表示为:得到一个明显成立的条件
在解决问题时,我们经常把综合法和分析法结合起来使用:根据条件的结构特点去转化结论,得到中间结论;根据结论的结构特点去转化条件,得到中间结论.若由可以推出成立,就可以证明结论成立。用P表示已知条件、定义、定理、公理等,用Q表示要证明的结论,则上述过程可用框图表示为:→→…→←…←←