(3)综合法 ①定义：从_________出发，以已知的_____、_____、_____为依据，逐步_____，直到推出要证明的结论为止.这种证明方法常称为综合法. ②推证过程

已知条件

定义

公理

定理

下推

(4)分析法 ①定义：从___________出发，追溯导致结论成立的条件，逐步_____，直到使结论成立的条件和已知条件或已知事实吻合为止.这种证明方法常称为分析法. ②推证过程

问题的结论

上溯