3.5直接证明与间接证明.pptVIP

讨论1：综合法分析法的概念及证明问题的思路。 讨论2：利用综合法（分析法）证明问题的基本格式． * * 直接证明与间接证明 演绎推理是证明数学结论、建立数学体系的重要思维过程. 数学结论、证明思路的发现,主要靠合情推理. 复习导入 推 理 合情推理 （或然性推理） 演绎推理 （必然性推理） 归纳 (特殊到一般） 类比 （特殊到特殊） 三段论 （一般到特殊） 复习导入 证法1:对于正数a,b, 有 证法2:要证 即证： 只要证 即 显然最后一个不等式成立，故结论成立。 综合法 分析法 表达简洁! 目的性强,易于探索! 引例：已知a0,b,0, 1.定义：从命题的条件出发，利用定义、公理、定理 及运算法则，经过一系列的推理论证，最后推导出所 要证明的结论成立. (又称顺推证法) 综合法 2.框图表示： P Q1 Qn Q Q2 Q3 Q1 Q2 … 其中：P表示已知条件,已有的定义,定理,公理等. Q表示所要证明的结论。 1.定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直到最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等） Q?P1 P2?P3 P1?P2 得到一个明显成立的条件 分析法 3.特点：执果索因 2.框图表示： 其中： Q表示所要证明的结论。