用反证法证明否定性命题

　　　如图，设SA、SB是圆锥的两条母线，O是底面圆心，C是SB上一点．

　　求证：AC与平面SOB不垂直．

　　【证明】　假设AC⊥平面SOB，

　　因为直线SO在平面SOB内，

　　所以AC⊥SO.

　　又SO⊥底面，所以SO⊥AB.

　　因为AB∩AC＝A，

　　所以SO⊥平面SAB.

　　故平面SAB∥底面．

　　这与已知条件矛盾，所以假设不成立．

　　即AC与平面SOB不垂直．

　　(1)用反证法证明否定性命题的适用类型

　　结论中含有"不""不是""不可能""不存在"等词语的命题称为否定性命题，此类问题的正面比较模糊，而反面比较具体，适合使用反证法．

　　(2)用反证法证明数学命题的步骤

　　　1.已知a，b，c，d∈R，且ad－bc＝1，求证：a2＋b2＋c2＋d2＋ab＋cd≠1.

　　证明：假设a2＋b2＋c2＋d2＋ab＋cd＝1.

因为ad－bc＝1，