综合法

一般地，利用已知条件和某些数学________、________、________等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做________．

用P表示已知条件，已有的定义、定理、公理等．Q表示所要证明的结论，则综合法可用框图表示为：

分析法

一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)，这种证明的方法叫做________．

用Q表示要证明的结论，则分析法可用框图表示为：