綜合法

一般地，利用已知條件和某些數學________、________、________等，經過一系列的推理論證，最后推導出所要證明的結論成立，這種證明方法叫做________．

用P表示已知條件，已有的定義、定理、公理等．Q表示所要證明的結論，則綜合法可用框圖表示為：

分析法

一般地，從要證明的結論出發(fā)，逐步尋求使它成立的充分條件，直至最后，把要證明的結論歸結為判定一個明顯成立的條件(已知條件、定理、定義、公理等)，這種證明的方法叫做________．

用Q表示要證明的結論，則分析法可用框圖表示為：