综合法：
一般地，利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法。
用P表示已知条件、已有的定义、公理、定理等，Q表示所要证明的结论，则综合法可用框图表示为：