【知识梳理】
一、直接证明
直接证明的方法主要有 和
1、 综合法：以_____________________为依据，逐步下推，直到推出要证明的结论为止，
这种证明方法叫做综合法。
综合法的证明步骤用符号表示是：P0（已知） P1 P2 … Pn（结论）
2、分析法：从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知事实吻合为止，这种证明方法常称为分析法。
用分析法证明的逻辑关系是：B（结论） B1 B2 … Bn A（已知）
注：（1）、用分析法证明时，寻求的仅需结论成立的充分条件，而不是充要条件，也就是说，分析法的思维是逆向思维，因此，在证题时，应正确使用“要证”、“只需证”这样的连接“关键词”。
（2）、综合法是分析法的逆过程，表述简单，条理清楚，所以实际证题时，可将分析法、综合法结合起来使用，即用分析法分析，用综合法书写。
