直接证明(综合法、分析法).ppt

直接证明 证法1 对于正数a,b, 有 证法2 要证 只要证 只要证 只要证 因为最后一个不等式成立，故结论成立。 直接证明（数学理论） 上述两种证法有什么异同？ 都是直接证明 证法1 从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止 综合法 相同 不同 证法2 从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件吻合为止 分析法 综合法 利用已知条件和某些数学定义、定理、 公理等，经过一系列的推理论证，最后推导 出所要证明的结论或所要解决的问题的结果。 条件 结论 推理论证 条件 定理 公理 定义 P Q1 Q1 Q2 Q2 Q3 Qn Q … (顺推证法、由因导果法) 一般地，从要证明的结论出发，逐步寻求 使它成立的充分条件，直至最后，把要证 明的结论归结为判定一个明显成立的条件 （已知条件、定理、定义、公理等）。 Q P1 P1 P2 P2 P3 得到一个明显 成立的条件 … 分析法 (逆推证法、执果索因法) 用Q表示要证明的结论，则分析法可用框图表示为： 【分析法】 要证 ?? 只需证 ?? 只需证 ?? ??显然成立 所以 结论成立 格 式 ① ② ② ① ③ ④ ③ ④ ⑤ ② ③ ⑤ 直接证明 综合法和分析法的推证过程如下： 综合法 已知条件 结论 分析法 结论 已知条件 直接证明（练习） 证 只需证明 只需证明 因为2125显然成立，所以原不等式成立. 要证 只需证明 只需证明 只需证明