引例:四边形ABCD是平行四边形, 求证:AB=CD,BC=DA
证 连结AC,因为四边形ABCD是平行四边形
所以AB//CD,BC//DA
又AC=CA
故 AB=CD,BC=DA
直接从原命题的条件逐步推得命题成立的证明方法称为直接证明,其一般形式为:
本题条件
已知定义
已知定理
已知公理
本题结论
…