[答案] a(3)≤b(3)

　　4．应用反证法推出矛盾的推导过程中，下列选项中可以作为条件使用的有________．(填序号)

　　①结论的反设；②已知条件；③定义、公理、定理等；④原结论．

　　①②③ [反证法的"归谬"是反证法的核心，其含义是：从命题结论的假设(即把"反设"作为一个新的已知条件)及原命题的条件出发，引用一系列论据进行正确推理，推出与已知条件、定义、定理、公理等相矛盾的结果．]

　　[合 作 探 究·攻 重 难]

用反证法证明否定性命题 　　 已知三个正数a，b，c成等比数列，但不成等差数列．求证：，，不成等差数列.

　　 [证明] 假设，，成等差数列，则＋＝2，即a＋c＋2＝4b.

　　∵a，b，c成等比数列，∴b2＝ac，即b＝，

　　∴a＋c＋2＝4，∴(－)2＝0，即＝.

　　从而a＝b＝c，与a，b，c不成等差数列矛盾，

　　故，，不成等差数列．

　　[规律方法]

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

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

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

　　[跟踪训练]

1．设SA、SB是圆锥SO的两条母线，O是底面圆心，C是SB上一点，求证：AC与平面SOB不垂直．