高三数学逻辑联结词与四种命题课件.pptVIP

即a＜b+c,b＜a+c,c＜a+b,它们显然成立，因为三角形任一边小于其他两边之和.故.学后反思(1)应用分析法易于找到思路的起始点，可探求解题途径.(2)应用分析法证明问题时要注意：严格按分析法的语言表达；下一步是上一步的充分条件.举一反三2.已知a,b,c,d∈R,用分析法证明:证明①当ac+bd≤0时显然成立.②当ac+bd0时,要证原不等式成立,只需证即证即证,即0≤∵a,b,c,d∈R,∴上式恒成立,故不等式成立.∴由①②知原命题成立.题型三反证法的应用【例3】若a,b,c均为实数，且.求证：a,b,c中至少有一个大于0.分析命题中有“至少……”“不都……”“都不……”“没有……”“至多……”等指示性语句，在用直接方法很难证明时，可以采用反证法.证明假设a,b,c都不大于0，即a≤0,b≤0,c≤0,则a+b+c≤0,而a+b+c=∵π-3＞0,且,∴a+b+c＞0,这与a+b+c≤0矛盾.因此a,b,c中至少有一个大于0.学后反思反证法证题的实质是证明它的逆否命题成立.反证法的主要依据是逻辑中的排中律