否命题与命题的否定和反证法精要.pptx

否命题与命题的否定 关于反证法 紐绅中学 否命题是用否定条件也否定结论的方式构成新命题。 命题的否定是逻辑联结词“非”作用于判断,只否定结论不否定条件。 对于原命题: 若 p , 则 q 有 否命题: 若┐p , 则┐q 。 命题的否定: 若 p ，则┐q 。 例.命题：△ABC中，若∠C＝90°，则∠A、∠B都是锐角.命题的否命题是（ ），命题的否定是（ ） (A)△ABC中，若∠C≠90°，则∠A、∠B都不是锐角 (B)△ABC中，若∠C≠90°，则∠A、∠B不都是锐角 (C)△ABC中，若∠C≠90°，则∠A、∠B都不一定是锐角 (D) △ABC中，若∠C＝90°，则∠A、∠B不都是锐角 否命题与命题的否定 原词语 否定词 原词语 否定词 等于 任意的 是 至少有一个 都是 至多有一个 大于 至少有n个 小于 至多有n个 对所有x,成立 对任何x， 不成立 所有的 不是 不都是 不大于 大于或等于 一个也没有 至少有两个 至多有（n-1)个 至少有（n+1)个 存在某x， 不成立 存在某x， 成立 不等于 某个 某些 下面是一些常见词语的否定 证明命题的方法 方法一：直接法，从命题的条件p出发，经推理直接得出结论p，证明其为真命题； 方法二：等价法，证明命题（若p，则q）的等价命题——逆否命题（若┐q，则┐q）为真，则原命题也为真； 方法三：反证法，证明命题的否定（若p，则┐q）为假命题，从而间接地证明了命题（若p，则q）为真命题。 例1： 证明：若p＋q＞2，则p2＋q2≠2. 证明一：要证“若p＋q＞2，则p2＋q2≠2” 只需证它的逆否命题“若p2＋q2＝2，则p＋q≤2”成立。 ∵p2＋q2=2，则2=p2＋q2≥2pq ∴pq≤1 ∴（p+q）2 =p2＋q2+2pq=2+2pq ≤4 ∴p+q ≤2 ∴逆否命题为真命题， 故原命题也为真命题。 证明二：假设p2＋q2=2，则2=p2＋q2≥2pq ∴pq≤1 ∴（p+q）2 =p2＋q2+2pq=2+2pq ≤4 ∴p+q ≤2，这与命题的条件p＋q＞2相矛盾， ∴假设不成立，即p2＋q2≠2， 故原命题为真命题。 （同题多解，学会等价法与反证法地灵活应用） 等价法 反证法 关于反证法 证明二（反证法）：假设p2＋q2=2， 则2=p2＋q2≥2pq ∴pq≤1 ∴（p+q）2 =p2＋q2+2pq=2+2pq ≤4 ∴p+q ≤2， 这与命题的条件p＋q＞2相矛盾， ∴假设不成立，即p2＋q2≠2， 故原命题为真命题。 例1： 证明：若p＋q＞2，则p2＋q2≠2. 假设原命题结论的反面成立 反证法的一般步骤： 假设命题的结论不成立,即假 设结论的反面成立； 从这个假设出发，经过推理论证，得出矛盾； (3) 由矛盾判定假设不正确， 从而肯定命题的结论正确。 1、反证法证题时关键在第二步，如何导出矛盾。 2、导出矛盾有四种可能： （1）与原命题的条件（题设）矛盾； （2）与定义、公理、定理等矛盾； （3）与结论的反面（反设）成立矛盾。 （1）难于直接使用已知条件导出结论的命题； （2）唯一性命题； （3）“至多”或“至少”性命题； （4）否定性或肯定性命题。 3、反证法的使用范围： 使用反证法几点注意： （4）在证明过程中，推出自相矛盾的结论。 反馈练习 x=a x=b x=a (x-a)(x-b)=0 x=b (x-a)(x-b)=0 x ≠a且x ≠b 用反证法证明,若(x-a)(x-b)≠0,则x ≠a且x ≠b. 或 例 2 证明: 例3：求证：圆的两条不是直径的相交弦不能平分。 已知：如图，在⊙O中，弦AB、CD交于P，且AB、CD不是直径. 求证：弦AB、CD不被P平分. 证明：假设AB、CD被P平分， 则OP是等腰△AOB, △COD的底边上的中线， 所以，OP⊥AB, OP⊥CD 但AB和CD都经过点P,且与OP 垂直，这是不可能的， 所以假设不成立， 故弦AB、CD不被P平分， 命题得证。 连结OA,OB,OC,OD及OP, 课堂小结 1.否命题与命题的否定： （1）否命题：条件和结论都得否定； （2）命题的否定：条件不否定，只否定结论； 2.证明命题的三种方法：直接法、等价法、反证法； 3.反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论，完成命题的论证的一种数学证明方法。 作业：辅导资料