充分条件和必要条件：用集合包含关系来判断

判断充分条件和必要条件有两种方法：定义法看推出关系，p ⇒ q 成立时，p 是 q 的充分条件，q 是 p 的必要条件；集合法把 p、q 对应的取值范围记作集合 A、B，A ⊆ B 时 p 是 q 的充分条件。两种方法可以浓缩成一句口诀：小范围推大范围，范围小的是充分条件，范围大的是必要条件。下面给四种结论的对照表、4 道例题和韦恩图的画法。

四种结论与集合关系

定义法适合 p、q 是命题或式子的情形，要分两个方向各判断一次：能推出就给理由，推不出就举一个反例。集合法适合 p、q 是关于 x 的不等式、方程这类有取值范围的条件：把两个范围都解出来，比较谁包含谁。两种方法结论一致，范围型的题用集合法更快，命题型的题只能用定义法。

韦恩图这样画：大圆表示集合 B，里面套一个小圆表示集合 A，就是 A ⫋ B。落在小圆里的元素一定落在大圆里，所以 p ⇒ q；大圆里有一部分不在小圆里，所以 q ⇏ p。两个圆重合是充要条件，两个圆只相交一部分或完全分开，就是既不充分也不必要。考试时不要求画图，但在草稿上随手画两个圈，谁推出谁、谁包含谁，方向就不会读反。

四道例题

例 1 p：x > 2，q：x > 1。p ⇒ q 成立；反过来 x = 1.5 满足 q 却不满足 p，q ⇏ p。集合 {x | x > 2} ⫋ {x | x > 1}，所以 p 是 q 的充分不必要条件。数轴上看，x > 2 那条射线整个落在 x > 1 那条射线里面。

例 2 p：x² = 1，q：x = 1。x = 1 时一定有 x² = 1，所以 q ⇒ p；x = −1 满足 p 却不满足 q，p ⇏ q。集合 A = {−1, 1}，B = {1}，B ⫋ A，所以 p 是 q 的必要不充分条件。韦恩图里，小圆是 B，只含 1；大圆是 A，多出 −1。

例 3 p：|x − 1| < 2，q：x² − 2x − 3 < 0。解 p 得 −2 < x − 1 < 2，即 −1 < x < 3；解 q 得 (x − 3)(x + 1) < 0，也是 −1 < x < 3。两个集合相等，所以 p 是 q 的充要条件。

|x-1|<2 \Leftrightarrow -1<x<3 \Leftrightarrow x^2-2x-3<0

例 4 p：a > b，q：a² > b²。取 a = 1，b = −2：a > b 但 a² = 1 < 4 = b²，p ⇏ q；取 a = −3，b = 1：a² = 9 > 1 = b² 但 a < b，q ⇏ p。两个方向各有一个反例，p 是 q 的既不充分也不必要条件。

三处容易读反的地方

1. 句子方向。 「p 是 q 的充分条件」是 p ⇒ q；「p 的充分条件是 q」是 q ⇒ p。先把句子改写成谁推出谁，再对表。
2. 集合的大小。 口诀说「小推大」，小的是充分条件。例 1 中 x > 2 的范围小，所以它充分；别看到 2 比 1 大，就以为 x > 2 的范围大。
3. 只判一个方向。 结论里的「不必要」「不充分」都需要另一个方向的反例，例 4 两个反例缺一个，结论就不完整。

写推出符号时，⇒ 输入 \Rightarrow，⇔ 输入 \Leftrightarrow，推不出的 ⇏ 输入 \nRightarrow；真子集按国内教材写 ⫋，输入 \subsetneqq，每个命令后按空格结束。

范围型的题目有一个省事的习惯：两个条件解出来之后，把两个集合写在同一行，用 ⫋ 或 = 连起来，结论跟着符号读出来，比在脑子里来回推更不容易读反。

延伸阅读

• 高中数学解题方法：先认题干信号再选方法，覆盖数列、三角、圆锥曲线等五块
• 基本不等式求最值：「当且仅当」取等号的条件怎样检查
• LaTeX 符号大全：推出、等价、子集等逻辑与集合符号按类查找