直接证明与间接证明 综合法与分析法 1 综合法 顺推证法 由因导果法 从已知条件和某些数学定义 定理 公理等出发 经过一系列推理论证 最后推导出所要证明的结论成立的证明方法 用P表示已知条件 已有的定义 定理 公理等 Q表示所要证明的结论 则综合法可用框图表示为 符号语言 图形语言 文字语言 学会语言转换 找出隐含条件 2 分析法 逆推证法 执果索因法 从证明的结论出发 逐步寻求使它成立的充分条件 直至最后 把要证明的结论归结为判定一个明显成立的条件 已知 定理 定义 公理等 这种证明的方法叫做分析法 此式显然成立 因此原不等式立 用Q表示所要证明的结论 则分析法可用框图表示为 得到一个明显成立的条件 用P表示已知条件 定义 定理 公理等 用Q表示要证的结论 则上述过程可用框图表示为