(3)综合法 ①定义:从_________出发,以已知的_____、_____、_____为依据,逐步_____,直到推出要证明的结论为止.这种证明方法常称为综合法. ②推证过程
已知条件
定义
公理
定理
下推
(4)分析法 ①定义:从___________出发,追溯导致结论成立的条件,逐步_____,直到使结论成立的条件和已知条件或已知事实吻合为止.这种证明方法常称为分析法. ②推证过程
问题的结论
上溯