高中数学 第一章 常用逻辑用语 1 命题（二） 北师大版选修2-1课件.pptVIP

假设a，b，c都不大于0， 即a≤0，b≤0，c≤0，则a＋b＋c≤0. ＝(x－1)2＋(y－1)2＋(z－1)2＋π－3. ∵π－30，且(x－1)2＋(y－1)2＋(z－1)2≥0， ∴a＋b＋c0，这与a＋b＋c≤0矛盾， 因此a，b，c中至少有一个大于0. (1)求解此类含有“至少”“至多”等命题，常利用反证法来证明.用反证法证明命题的一般步骤：①假设命题的结论不成立，即假设结论的反面成立；②从这个假设出发，经过推理论证，得出矛盾；③由矛盾得出假设不正确，从而肯定命题的结论正确. 反思与感悟 (2)常见的一些词语和它们的否定词语对照如下： 原词 等于 (＝) 大于() 小于() 是 都是 至多有一个 至多有n个 至少有一个 否定词语 不等于(≠) 不大于(≤) 不小于(≥) 不是 不都是 至少有两个 至少有(n＋1)个 一个也没有 跟踪训练4　设a，b，c∈Z，且a2＋b2＝c2，求证：a，b，c不可能都是奇数. 证明 方法一　(逆否证法)依题意，就是证明命题“若a2＋b2＝c2，则a，b，c不可能都是奇数”为真命题. 为此，只需证明其逆否命题“若a，b，c都是奇数，则a2＋b2≠c2”为真命题即可. ∵a，b，c都是奇数，∴a2，b2，c2都是奇数， ∴a2＋b2为偶数，而c2为奇数，∴a2＋b2≠c2. ∴原命题的逆否命题为真命题. ∴原命题也为真命题