hmw综合法和分析法.ppt

分析法综合法习题课 2.2.2 间接证明(反证法) 例1、已知：一个整数的平方能被2整除， 求证：这个数是偶数。 证明：假设a不是偶数， 则a是奇数，不妨设a=2m+1(m是整数) ∴a2=(2m+1)2=4m2+4m+1=4m(m+1)+1 ∴a2是奇数，与已知矛盾。 ∴假设不成立，所以a是偶数。 例2、用反证法证明： 如果ab0，那么 * 2.2直接证明与间接证明 2.2.1 综合法和分析法(1) 例1:已知a0,b0,求证a(b2+c2)+b(c2+a2)≥4abc 因为b2+c2 ≥2bc,a0 所以a(b2+c2)≥2abc. 又因为c2+b2 ≥2bc,b0 所以b(c2+a2)≥ 2abc. 因此a(b2+c2)+b(c2+a2)≥4abc. 证明: 练习 从不等式成立的原因入手 利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法 用P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论. 则综合法用框图表示为: … 特点:“执因索果” 练习：求证： 证明：因为 所以 左式=log195+2log193+3log192 =log19(5×32×23)=log19360. 因为log19360log19361=2， 所以 证 为 数 为 数 证 练习 证 为 数 为 数 证 练习 探索求知 例2：求证不等式： . 从求证的结论出发，逐步寻求使结论成立的原因。 证明： 要证 即证 故不等式成立. 只需证 只需证 执果索因 （分析法）： 原不等式成立. 这就是不等式成立的原因 执果索因 　从证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知,定理,定义,公理等).这种证明的方法叫做分析法. （又称倒推证法） 注：用Q表示所要证明的结论,则分析法可用框图表示为: 得到一个明显 成立的条件 Q P1 P1 P2 P2 P3 … 2.分析法.(逆推证法)(执果索因法) 【分析法】 从结论出发，寻找结论成立的充分条件 直至最后，把要证明的结论归结为判定一 个明显成立的条件。 要证：?? 只要证：?? 只需证：?? ??显然成立 上述各步均可逆 所以 结论成立 格 式 证法1:对于正数a,b, 有 证法2:要证 只要证 只要证 只要证 因为最后一个不等式成立，故结论成立。 综合法 分析法 表达简洁! 目的性强,易于探索! 直接证明(回顾小结) 分析法 解题方向比较明确， 利于寻找解题思路； 综合法 条理清晰，易于表述。 通常以分析法寻求 思路，再用综合法有条理地 表述解题过程 分析法 综合法 概念 例1：已知：x,y,z为互不相等的实数，且 求证： 证明：根据条件 可得 又由x,y,z为互不相等的实数，所以上式可变形为 同理可得 所以 综合法 例2.已知 求证： 综合法 分析法 例3若tan（α+β)＝2tan α, 求证:3sin β＝sin(2α＋β)． 所以原不等式成立 已知 , 且 求证： 综合法 已知 , 且 求证： 分析法 直接证明： (1)综合法—— (2)分析法—— 由因导果 执果索因 已知条件 结论 … … 已知条件 结论 … … 分析:假设C没有撒谎, 则C真. - - 那么A假且B假; 由A假, 知B真. 这与B假矛盾. 那么假设C没有撒谎不成立, 则C必定是在撒谎. 引例1： A、B、C三个人，A说B撒谎，B说C撒谎，C说A、B都撒谎。则 必定是在撒谎，为什么？ C 将9个球分别染成红色或白色。那么无论怎样染，至少有5个球是同色的。你能证明这个结论吗？ 引例2： 间接证明： 不是直接从原命题的条件逐步推得命题成立的证明方法。 反证法是一种常用的间接证明的方法。 一般地，假设原命题不成立， 经过正确的推理， 最后得出矛盾。 因此说明假设错误，从而证明了原命题成立， 这样的证明方法叫做反证法（归谬法）。 其过