充分必要条件的判断

题型说明

• 常见问法：「设 …，则『$p$』是『$q$』的（　）」，四个选项恰好是四种关系：充分不必要 / 必要不充分 / 充分必要 / 既不充分也不必要。
• 多为选择题第 3～6 题，分值低。它考的不是某一块具体知识，而是「$p\Rightarrow q$ 与 $q\Rightarrow p$ 这两个方向，你会不会分开判」。搭在上面的具体内容可以是三角、不等式、数列、立体几何——什么都行。
• 关键动作：两个方向各判一次，然后对号入座。判「成立」要给推理，判「不成立」只需举一个反例。

两条通用打法

1. 定义法（正向推 + 举反例）：先问「有 $p$ 能不能保证 $q$」，再问「有 $q$ 能不能保证 $p$」。
2. 解集法（化归为集合包含）：把 $p$、$q$ 的成立对象各收成集合 $A$、$B$，比 $A$ 与 $B$ 谁包含谁。$A\subsetneq B$ → 充分不必要；$B\subsetneq A$ → 必要不充分；$A=B$ → 充要；互不包含 → 既不充分也不必要。

解集写得出来时第二条更稳——它把「谁充分谁必要」这个最容易说反的判断，换成了「谁装得下谁」这个看得见的事实。

常见陷阱

• 两个方向只判了一个：证出 $p\Rightarrow q$ 就选「充要」，或找到一个反例就选「既不充分也不必要」。四个选项就是为这两种半途而废准备的。
• 把「$p$ 是 $q$ 的…」读反：题干问的是 $p$ 相对 $q$ 的地位，别当成 $q$ 相对 $p$ 的。看到题面先在草稿上写下箭头方向。
• 反例不是反例：举的例子必须满足 $p$ 而不满足 $q$（否证充分性），方向反了就白举。
• 解集漏解：三角、绝对值、偶次方程的解集容易只写一支（如 $\cos x=0$ 的解是 $\dfrac{\pi}{2}+k\pi$，不是 $\dfrac{\pi}{2}+2k\pi$），漏了半支就会把真子集看成相等。