1.4 充分条件与必要条件 讲义-2026-2027学年高一上学期数学人教A版必修第一册

1.4 充分条件与必要条件 · 知识点梳理 2026—2027学年 高一上学期 人教A版数学必修第一册 版式：双推互证 · 朱印勘验版式 本课把每一个条件关系都当作一次「勘验」：先正推（由 p 出发，看能不能到达 q），再反推（由 q 出发，看能不能回到 p）。两次结果只有「成立」与「不成立」两种，四种组合正好对应四种条件关系。勘验两次才盖章，是本课唯一的规矩。 ★ 本课的分数集中在两处：① 四种说法的方向——「p 是 q 的充分条件」与「p 的充分条件是 q」说的是相反的两件事；② 求参数时，「充分不必要条件」要求真包含，端点能不能取等必须逐一检验。这两处后面各设专节。 本课地图 · 两向勘验总表 下表是本课的骨架。任意两个命题 p、q 之间，正推与反推的结果只有四种组合，把它们一次认全，后面所有题目都只是往里填内容。 正推 p ⇒ q 反推 q ⇒ p 关系名称 一句话读法 成立 成立 充要条件 有 p 就一定有 q，有 q 也一定有 p，两条路都通 成立 不成立 充分不必要条件 有 p 就足以保证 q；但 q 成立时 p 未必成立 不成立 成立 必要不充分条件 q 成立时 p 必须在场；但 p 到场还不足以保证 q 不成立 不成立 既不充分也不必要条件 两条路都走不通，各自都能举出反例 ★ 这张表的名字读法固定为「p 是 q 的什么条件」，p 在前、q 在后。换一个顺序问，答案通常就变了：表的第一行与第三行恰好互为颠倒。 还有一条容易被忽略的补充：若命题 p 对应的集合 {x | p(x)} 是空集，那么 p 推 q 一定成立。原因在 1.2 已经写过——空集是任何集合的子集，没有元素可以拿来当反例。这一点在含参数的题目里经常成为漏掉的一支。 推一 · 正推：p ⇒ q 是怎么判出来的 1. 先把「推出」这件事定下来 判断条件关系，落脚点是一句形如「若 p，则 q」的命题。它的真假直接决定推理关系，推理关系再决定条件关系。三者一一对应，教材把这张关系表放在本节开头： 「若 p，则 q」的真假 推理关系 p 与 q 的条件关系 真命题 由 p 可以推出 q，记作 p ⇒ q p 是 q 的充分条件，同时 q 是 p 的必要条件 假命题 由 p 不能推出 q（记作 p ⇒ q 不成立） p 不是 q 的充分条件，同时 q 不是 p 的必要条件 定义（充分条件与必要条件）：一般地，「若 p，则 q」为真命题，是指由 p 通过推理可以得出 q。这时，我们就说由 p 可推出 q，记作 p ⇒ q，并且说 p 是 q 的充分条件，q 是 p 的必要条件。 这段话里藏着本课第一个要点：一句 p ⇒ q，同时给两个名词下了定义。p 拿到的是「充分」，q 拿到的是「必要」；两个身份一起产生，不会只出现一个。 2. 「充分」二字：有它就够 充分条件的口语意思是「足够」。p 是 q 的充分条件，就是说只要 p 成立，q 一定跟着成立，p 提供的信息足以把 q 确定下来，不需要再看别的。至于 q 成立时 p 是否也成立，充分条件不管这件事——所以「充分」不代表「唯一」。 3. 判定充分条件的两条相反路径 目标 做法 要点 要肯定 p 是 q 的充分条件 从 p 出发，用已学的定义、性质、定理把 q 推演出来 说理必须覆盖所有满足 p 的对象，不能只验几个数 要否定 p 是 q 的充分条件 找一个满足 p 但不满足 q 的对象（反例） 反例只有一个就足够推翻；给出反例时必须写清它满足 p 却不满足 q ★ 实际做题时，「不是充分条件」的情形远远多于「是」，所以反例法比正面说理更常用。反例要贴着条件找：p 是等式就在等式中取特殊值，p 是不等式就在端点附近取数，p 涉及字母系数就专挑字母取 0、负数这类特殊值。 范例 1 先判命题真假，再定 p 是否为 q 的充分条件 判断下列「若 p，则 q」形式的命题是否为真命题，并指出 p 是否为 q 的充分条件。 （1）p：x > 3，q：x > 1； （2）p：x = 1，q： − 1 = 0； （3）p：a = b，q：ac = bc； （4）p： = 1，q：x = 1。 规范解答： （1）真命题。任何大于 3 的数必定大于 1，由 x > 3 可以推出 x > 1，所以 p 是 q 的充分条件。 （2）真命题。把 x = 1 代入得 1 − 1 = 0，成立，所以 p 是 q 的充分条件。 （3）真命题。等式两边同乘一个数 c，等式仍然成立，所以 p 是 q 的充分条件。 （4）假命题。取 x = −1，它满足 = 1，但不满足 x = 1，所以 p 不是 q 的充分条件。 方法提炼：前三小题属于「要肯定」，必须讲道理，把推理依据说出来；第（4）小题属于「要否定」，一个反例就够。判假题时不要纠缠「大部分情况成立」，只要有一处不成立，命题就是假的。 勘验记录 1（把范例 1 的反推方向也补齐，看条件关系会不会变） 题号 正推 p ⇒ q 反推 q ⇒ p 勘验结论 （1） 成立 不成立 p 是 q 的充分不必要条件 （2） 成立 不成立 p 是 q 的充分不必要条件 （3） 成立 不成立 p 是 q 的充分不必要条件 （4） 不成立 成立 p 是 q 的必要不充分条件 记录里第（1）至（3）题的反推都失败：x > 1 推不出 x > 3（取 x = 2 即可）； − 1 = 0 推不出 x = 1（取 x = −1）；ac = bc 推不出 a = b（取 c = 0）。第（4）题反过来却通了：x = 1 一定满足 = 1。这说明只判一个方向得到的是「半个答案」，完整的勘验必须两个方向都走一遍。 范例 2 反例法专练 下列各题中，p 是否为 q 的充分条件？若不是，请举出一个反例。 （1）p：a + b = 0，q： + = 0； （2）p：一个四边形的对角线相等，q：这个四边形是矩形； （3）p：x 与 y 都是无理数，q：xy 是无理数； （4）p：两个三角形的三边成比例，q：这两个三角形相似。 规范解答： （1）不是。取 a = 1，b = −1，此时 a + b = 0 成立，而 + = 1 + 1 = 2 ≠ 0，q 不成立。 （2）不是。等腰梯形的两条对角线相等，但等腰梯形不是矩形，q 不成立。 （3）不是。取 x = y = √2，两者都是无理数，但 xy = 2 是有理数，q 不成立。 （4）是。三边成比例即两个三角形相似，这是相似三角形的判定定理。 方法提炼：（1）是等式型反例，用一对相反数把平方和顶掉；（2）是几何反例，靠等腰梯形这个「对角线相等但不矩形」的常客；（3）是无理数反例，靠 √2 自乘变有理数。这三类反例在本课反复出现，把它们记成「三块砖」，遇到判断题先摸一摸。 推二 · 反推：q ⇒ p 与必要条件 1. 「必要」二字：没有它就不行 同一句 p ⇒ q，换个方向读，就得到 q 是 p 的必要条件。必要条件的含义必须从反面理解：q 是 p 成立时不可缺少的条件——只要 q 不成立，p 就一定不成立。写成符号，就是「若 q 不成立，则 p 不成立」。 逆否等价：p ⇒ q 与「若 q 不成立，则 p 不成立」同真同假。把「p 不成立」记为 ¬p、「q 不成立」记为 ¬q，这条等价就是 p ⇒ q ⟺ ¬q ⇒ ¬p。它是后面「等价法」的全部依据：正面推不动时，把两个命题各自否定，方向掉头再推。 举一个具体例子：「地面湿」是「刚才下过雨」的必要条件吗？不是。因为地面湿还有别的来由（洒水车、水管破裂），有地面湿推不出下过雨。反过来，「刚才下过雨」却是「地面湿」的充分条件——下过雨就一定会湿。这对例子说明：充分与必要是同一件事的两个方向，不能混着说。 2. 四种说法与它们的方向（本课第一大易错点） 同一个 p、q，用「充分」「必要」和不同的语序，能说出六句听起来都不算错的话，而它们对应的推导方向只有两个。下表逐句钉死方向。 说法（题干的写法） 记作 谁推出谁 p 是 q 的充分条件 p ⇒ q 由 p 推出 q q 是 p 的充分条件 q ⇒ p 由 q 推出 p p 的充分条件是 q q ⇒ p 由 q 推出 p p 是 q 的必要条件 q ⇒ p 由 q 推出 p q 是 p 的必要条件 p ⇒ q 由 p 推出 q p 的必要条件是 q p ⇒ q 由 p 推出 q 一句话规则：只要是「A 是 B 的……条件」，就先看逗号前那个词——写「充分」就由 A 推 B（前推后），写「必要」就由 B 推 A（后推前）。凡遇到「……的条件是……」这种把条件甩在句尾的说法，先把它改写成「是」字在中间的形式再动手。 ★ 换个问法方向就翻个儿：上表第 1 行与第 4 行、第 2 行与第 5 行，各自说的是相反的两件事。很多题故意只改一个字就换方向，读题时务必把「是」字前后两部分圈出来。 范例 3 q 是否为 p 的必要条件 下列各题中，q 是否为 p 的必要条件（也就是 p ⇒ q 是否成立）？ （1）p：x = 3，q： − 4x + 3 = 0； （2）p：a > b，q：ac > bc； （3）p：一个四边形是矩形，q：这个四边形的对角线相等； （4）p：A ⊆ B，q：A ∩ B = A。 规范解答： （1）是。把 x = 3 代入得 9 − 12 + 3 = 0，p ⇒ q 成立，所以 q 是 p 的必要条件。 （2）不是。取 a = 2，b = 1，c = 0，此时 a > b 成立，而 ac = 0，bc = 0，ac > bc 不成立，故 p 不能推出 q。 （3）是。矩形的对角线一定相等，这是矩形的性质定理，p ⇒ q 成立。 （4）是。1.3 学过的等价式 A ⊆ B ⟺ A ∩ B = A，所以由 p 可以推出 q。 方法提炼：判「q 是否为 p 的必要条件」，问的其实是 p 能不能推出 q，方向仍然是前推后，不要一看到「必要」就把方向倒过来算。第（4）小题还提示：已学过的等价式可以整条拿来当推理依据。 勘验记录 2（范例 3 补齐反推方向后的完整结论） 题号 正推 p ⇒ q 反推 q ⇒ p 勘验结论 （1） 成立 不成立 p 是 q 的充分不必要条件 （2） 不成立 不成立 p 是 q 的既不充分也不必要条件 （3） 成立 不成立 p 是 q 的充分不必要条件 （4） 成立 成立 p 是 q 的充要条件 注意第（3）小题的反推：对角线相等的四边形一定是矩形吗？不是——等腰梯形就是反例。这与范例 2 第（2）小题是同一块砖，几何判断题里它出现得最勤。第（4）小题两向都通，是充要条件，原因就是那条等价式本身就是「双向」的。 范例 4 同一句推导的两种说法 已知由 x > 3 可以推出 x > 1。请分别用「充分」与「必要」两种说法把这件事说出来。 规范解答： 说法一：x > 3 是 x > 1 的充分条件。 说法二：x > 1 是 x > 3 的必要条件。 两句话对应同一个推导，记作 x > 3 ⇒ x > 1，符号完全相同。 方法提炼：一对充分必要条件只是同一句 p ⇒ q 的两种叙述，不会凭空多出第二个推导。看到题目给出一堆条件关系时，先把每句话翻译成箭头，再串起来看，比逐句猜要可靠得多。 推三 · 合判：把两个方向合起来定名 1. 四种名称，以及它们颠倒后的名字 两个方向的结果组合出四种名称。做题时常见的一手是「问法颠倒」——题干问 p 是 q 的什么条件，选项却按 q 是 p 的什么条件来写。下面这张表告诉你颠倒了以后叫什么名字，可以直接翻查，不必重算。 p 是 q 的…… 颠倒后：q 是 p 的…… 充分不必要条件 必要不充分条件 必要不充分条件 充分不必要条件 充要条件 充要条件 既不充分也不必要条件 既不充分也不必要条件 ★ 只有「充要条件」和「既不充分也不必要条件」两种名称是对称的，中间两种一颠倒就换了名字。凡是只写「充分条件」「必要条件」而不带「不」字的题目，说明它只问一个方向，答案只填「充分条件」或「必要条件」即可，不要多写。 2. 充要条件 定义（充要条件）：如果「若 p，则 q」和它的逆命题「若 q，则 p」都是真命题，即既有 p ⇒ q，又有 q ⇒ p，就记作 p ⇔ q。此时 p 既是 q 的充分条件，也是 q 的必要条件，就说 p 是 q 的充分必要条件，简称为充要条件。 符号 p ⇔ q 读作「p 等价于 q」。等价意味着 p、q 说的是同一批对象，知道其中一个就能确定另一个，所以在推理中彼此可以互相替换——这也是为什么后面遇到 p ⇔ q 时，把 q 改写成 p 或反过来都不算错。 3. 证明充要条件：两个方向都要写，还要标名称 解答题里证明充要条件，要求比选择题高：不能只算结果，必须把两个方向都写出来，并标明哪一段是「充分性」、哪一段是「必要性」。名称按所要证明的结论来定： 题目要求的结论 「充分性」要证的是 「必要性」要证的是 证明 p 是 q 的充要条件 p ⇒ q（p 足以保证 q） q ⇒ p（q 是 p 成立所不可缺少的） 证明「p 的充要条件是 q」 q ⇒ p（q 足以保证 p） p ⇒ q（q 是 p 成立所不可缺少的） ★ 「充分性」永远指所证的那个条件「够用」，「必要性」永远指它「不可少」。两行对照可见：结论的写法换了，两段该证的方向也跟着换。写解答时把这两句话抄在草稿上对齐方向，就不会写反。 范例 5 四类名称的对号入座 用「充分不必要条件」「必要不充分条件」「充要条件」「既不充分也不必要条件」填空： （1）p：x > 0，q：x > 1，则 p 是 q 的 ______ 条件； （2）p： = 4，q：a = 2，则 p 是 q 的 ______ 条件； （3）p： − 2x = 0，q：x = 0 或 x = 2，则 p 是 q 的 ______ 条件； （4）p：x ∈ {1, 2, 4}，q：x ∈ {0, 1, 2, 3, 5}，则 p 是 q 的 ______ 条件。 规范解答： （1）必要不充分条件。x > 1 一定满足 x > 0，所以 q ⇒ p 成立；取 x = 0.5，满足 x > 0 而不满足 x > 1，所以 p 不能推出 q。 （2）必要不充分条件。a = 2 时 = 4 成立，所以 q ⇒ p 成立；取 a = −2，满足 = 4 而不满足 a = 2，所以 p 不能推出 q。 （3）充要条件。 − 2x = 0 即 x(x − 2) = 0，解得 x = 0 或 x = 2，与 q 的范围完全一致，两个方向都成立。 （4）既不充分也不必要条件。4 满足 p 但不满足 q，说明 p 不能推出 q；0 满足 q 但不满足 p，说明 q 也不能推出 p。 方法提炼：第（1）（2）两小题的答案最容易写反。检验办法是把「p 是 q 的什么条件」先翻成两句：「p 能推 q 吗」「q 能推 p 吗」，两问都落笔写出答案，再对表定名。 范例 6 正反两次判定 判断下列各题中 p 是 q 的什么条件。 （1）p：|x| = |y|，q：x = y； （2）p：x ∈ A ∩ B，q：x ∈ A； （3）p：x ∈ A，q：x ∈ A。 规范解答： （1）必要不充分条件。x = y 时两边的绝对值当然相等，q ⇒ p 成立；取 x = 1，y = −1，满足 |x| = |y| 而 x ≠ y，p 不能推出 q。 （2）充分不必要条件。x 同时在 A 与 B 中，当然在 A 中，p ⇒ q 成立；取 x ∈ A 但 x ∉ B，此时 p 不成立，q 不能推出 p。 （3）既不充分也不必要条件。x 在 A 的补集中，说明 x 不属于 A，所以 p 不能推出 q；反过来 x 属于 A，就不可能在 A 的补集中，q 也不能推出 p。 方法提炼：第（3）小题里 p 与 q 恰好互为反面（一个成立另一个必不成立）。这类题不必细算：只要两个命题各自都还能被满足（两个集合都不是空集），答案就是「既不充分也不必要」。这是本课最快的判断题眼，考场上能省下一分钟。 范例 7 充要条件的规范证明 证明： + = 0 的充要条件是 a = b = 0。 规范解答： 先看清结论的方向：要证的是「 + = 0」与「a = 0 且 b = 0」可以互推，分两段证明。 必要性：假设 + = 0。因为 ≥ 0， ≥ 0，两个非负数之和为 0，只能是二者都等于 0，即 = 0 且 = 0，所以 a = 0 且 b = 0。 充分性：假设 a = 0 且 b = 0，代入得 + = 0，等式成立。 综上， + = 0 的充要条件是 a = b = 0。 方法提炼：两段证明的顺序可以互换，但名称必须写明，末尾要有一句总结。「必要性」用到的关键依据是「两个非负数之和为 0 则各自为 0」，这在含平方、含绝对值的充要条件题里会反复出现。把等式改写成「非负数之和等于 0」是由条件推结论最常用的一步。 勘验记录 3（范例 5 四小题，两向结果与名称一一对号） 题号 正推 p ⇒ q 反推 q ⇒ p 勘验结论 （1） 不成立 成立 p 是 q 的必要不充分条件 （2） 不成立 成立 p 是 q 的必要不充分条件 （3） 成立 成立 p 是 q 的充要条件 （4） 不成立 不成立 p 是 q 的既不充分也不必要条件 推四 · 图判：把两个命题换成两个集合 1. 条件关系与集合包含是一回事 设 A = {x | p(x)} 是所有使命题 p 成立的对象组成的集合，B = {x | q(x)} 是所有使命题 q 成立的对象组成的集合。那么 p ⇒ q ⟺ A ⊆ B；p ⇔ q ⟺ A = B。 道理很短：p ⇒ q 说的是「凡满足 p 的对象都满足 q」，翻译成集合的语言就是「A 中每个元素都在 B 里」，也就是 A ⊆ B。于是判断条件关系的问题，全部可以换成比较两个集合的大小——这正是 1.2、1.3 学过的内容，一步也不用新学。 2. 集合关系与条件名称对照 A 与 B 的集合关系 两个方向的推理 p 是 q 的…… A ⫋ B p ⇒ q 成立，q ⇒ p 不成立 充分不必要条件 B ⫋ A q ⇒ p 成立，p ⇒ q 不成立 必要不充分条件 A = B 两个方向都成立 充要条件 A 不含于 B，且 B 不含于 A 两个方向都不成立 既不充分也不必要条件 口诀：小充分，大必要。解集范围小的那个命题，是范围大的那个命题的充分条件；范围大的那个命题，是范围小的那个命题的必要条件。因为范围小意味着条件更强，强条件自然能推出弱结论。 ★ 由口诀立刻得到一条判题捷径：两个命题谁的范围大，看一眼就知道谁「必要」，根本不必真的去推导。例如 x > 1 的范围比 x > 0 小，所以 x > 1 是 x > 0 的充分条件，x > 0 是 x > 1 的必要条件。 3. 用集合法判定的四个步骤 ① 化简：分别求出 p、q 对应的集合 A 与 B，能化简的一律先化简； ② 比较：判断两个集合的包含关系，含参数时画数轴； ③ 定名：按上表把集合关系翻成条件名称； ④ 检验：若含参数，把临界值代回去验端点（这一步在推五展开）。 空集的位置：若 A 是空集（没有任何对象能满足 p），那么 A ⊆ B 自动成立，于是 p 成了任何一个 q 的充分条件。这条结论直接来自 1.2 的规定「空集是任何集合的子集」。求参数的题目里，它常常是漏掉的那一支。 范例 8 把解集比出来，条件名就出来了 判断下列各题中 p 是 q 的什么条件。 （1）p： < 4，q：x < 2； （2）p：x > 1，q：x > 0； （3）p： = 1，q：|x| = 1； （4）p：x 是 4 的倍数，q：x 是 6 的倍数。 规范解答： （1）A = {x | −2 < x < 2}，B = {x | x < 2}。A 中每个数都小于 2，所以 A ⊆ B；而 −3 在 B 中却不在 A 中，说明 B 不含于 A。故 A ⫋ B，p 是 q 的充分不必要条件。 （2）A = {x | x > 1}，B = {x | x > 0}。A ⫋ B，p 是 q 的充分不必要条件。 （3）由 = 1 得 x = 1 或 x = −1，所以 A = {−1, 1}；由 |x| = 1 也得 x = ±1，所以 B = {−1, 1}。两集合完全相同，p 是 q 的充要条件。 （4）A = {x | x = 4k，k 为整数}，B = {x | x = 6m，m 为整数}。4 ∈ A 但 4 ∉ B，说明 A 不含于 B；6 ∈ B 但 6 ∉ A，说明 B 也不含于 A。两个方向都不成立，p 是 q 的既不充分也不必要条件。 方法提炼：第（4）小题是倍数型命题的通用套路：只要两个倍数互不整除，两个方向都会失败；若一个倍数是另一个的倍数（如 4 的倍数与 2 的倍数），则小倍数是充分条件。这类题先找「公倍数」和「各自独有的倍数」各一个，两个反例就能把答案锁死。 勘验记录 4（范例 8：两向结果与集合的包含关系完全一致） 题号 正推 p ⇒ q 反推 q ⇒ p 勘验结论 （1） 成立 不成立 p 是 q 的充分不必要条件 （2） 成立 不成立 p 是 q 的充分不必要条件 （3） 成立 成立 p 是 q 的充要条件 （4） 不成立 不成立 p 是 q 的既不充分也不必要条件 范例 9 由集合反推条件名 已知 A = {x | − 3x + 2 = 0}，B = {x | − 5x + 6 = 0}，C = {x | 1 ≤ x ≤ 2}，D = {x | x ≥ 1}。 （1）用「充分」「必要」叙述「x ∈ C」与「x ∈ D」之间的关系； （2）判断「x ∈ A ∩ B」是「x ∈ A」的什么条件。 规范解答： 先化简。 − 3x + 2 = 0 解得 x = 1 或 x = 2，故 A = {1, 2}； − 5x + 6 = 0 解得 x = 2 或 x = 3，故 B = {2, 3}。 （1）C = {x | 1 ≤ x ≤ 2}，D = {x | x ≥ 1}。C 中每个数都满足 x ≥ 1，所以 C ⊆ D；而 3 ∈ D 但 3 ∉ C，说明 C ⫋ D。因此「x ∈ C」是「x ∈ D」的充分不必要条件，也可以说「x ∈ D」是「x ∈ C」的必要不充分条件。 （2）A ∩ B = {2}，而 A = {1, 2}。{2} ⫋ A，所以「x ∈ A ∩ B」是「x ∈ A」的充分不必要条件。 方法提炼：题目给出的是文字条件时，先全部翻译成集合；题目给出的是集合时，反过来翻译成条件语言。两个方向都要会翻，因为题干与选项常各用一种语言。 推五 · 变判：否定式、链条题与求参数 1. 等价法：带否定词的命题，换个方向推 有些命题带「不等于」「不是」「不存在」这类否定说法，正面推很别扭。这时把两个命题各自否定，方向掉头再来，式子常常立刻变简单。 等价法：判断 p ⇒ q 是否成立，等价于判断 ¬q ⇒ ¬p 是否成立，两者同真同假。符号上写成 p ⇒ q ⟺ ¬q ⇒ ¬p。 ★ 之所以实用，是因为否定一个「≠」就得到「=」，否定一个「>」就得到「≤」，运算全都回到最简形式。凡是题干里否定词扎堆的题，优先试这一招。 范例 10 否定式命题 判断「x ≠ 1」是「 ≠ 1」的什么条件。 规范解答： 记 p：x ≠ 1，q： ≠ 1，两个方向分别判断。 正推：取 x = −1，它满足 x ≠ 1，但 = 1，不满足 q。所以 p 不能推出 q。 反推：若 ≠ 1，则 x ≠ 1 且 x ≠ −1，当然满足 x ≠ 1。所以 q ⇒ p 成立。 结论：p 是 q 的必要不充分条件。 等价法验证：p ⇒ q 等价于 ¬q ⇒ ¬p，即「若 = 1，则 x = 1」，这是假的（x 还可以取 −1）；q ⇒ p 等价于 ¬p ⇒ ¬q，即「若 x = 1，则 = 1」，这是真的。两次判断都落在很简单的式子上，比正面推省力。 2. 传递法：箭头可以接力，但不能硬接 若 p ⇒ q 且 q ⇒ r，则 p ⇒ r；若 p ⇔ q 且 q ⇔ r，则 p ⇔ r。这条性质叫传递性，是处理链条题的依据。 ★ 陷阱：接力只在「确实成立的箭头」之间进行。链条中间断了一环，整条链就接不上，不能凭语感强行传下去。又因为「充分不必要」这类名称里混着「不成立」，所以链条题正确的做法是先把每句话翻译成一个或两个箭头，再串联，绝不能拿着汉字直接排。 范例 11 链条题 已知甲是乙的充分不必要条件，乙是丙的充要条件，丁是丙的必要不充分条件。判断甲是丁的什么条件。 规范解答： 记甲、乙、丙、丁对应的集合分别为 A、B、C、D，把三句话逐条翻译。 甲是乙的充分不必要条件，即甲 ⇒ 乙 且 乙 不能推出 甲，也就是 A ⫋ B。 乙是丙的充要条件，即 B = C。 丁是丙的必要不充分条件：丁是丙的必要条件说明 丙 ⇒ 丁；丁不是丙的充分条件说明 丁 不能推出 丙。两句话合起来就是 C ⫋ D。 串联：A ⫋ B = C ⫋ D，所以 A ⫋ D。于是甲能推出丁，丁推不出甲，甲是丁的充分不必要条件。 方法提炼：本小题的关键全在第三句话的翻译上。「丁是丙的必要不充分条件」说的是 丙 ⇒ 丁，主客与语序都不是顺着念的顺序，凭语感排几乎必错。一律先翻译成集合包含再串联，是链条题唯一稳的做法。 3. 求参数：把条件名称换成集合包含 含参数的题目问的往往是「m 取何值时 p 是 q 的某某条件」。做法固定三步：先化简出两个集合，再把条件名称翻译成包含关系，最后画数轴列式并检验端点。 p 是 q 的…… 翻译成的集合关系 列式时特别注意 充分条件 A ⊆ B 端点可以取等，取等的边界要验一遍 必要条件 B ⊆ A 别忘 B 可能是空集 充要条件 A = B 两个方向都要满足，端点全部被锁死 充分不必要条件 A ⫋ B 必须排除 A = B，临界值要代回检验 必要不充分条件 B ⫋ A 必须排除 A = B，方向相反 ★ 凡结论里带「不」字（充分不必要、必要不充分），都要求真包含，因此答案里往往会出现「严格小于」「严格大于」这样的端点限制——这类题丢分几乎都丢在端点没排除。 范例 12 必要条件求参数（空集这一支不能丢） 已知 p：x ∈ A = {x | −1 ≤ x ≤ 3}，q：x ∈ B = {x | m − 1 ≤ x ≤ 2m + 1}。 （1）若 p 是 q 的必要条件，求 m 的取值范围； （2）若 p 是 q 的充分不必要条件，这样的 m 是否存在？说明理由。 规范解答： （1）p 是 q 的必要条件，即 q ⇒ p，翻译成集合关系就是 B ⊆ A。分两种情形。 情形一：B 是空集。当 m − 1 > 2m + 1，即 m < −2 时，B 中没有任何元素。由 1.2 的规定，空集是任何集合的子集，所以此时 B ⊆ A 成立。 情形二：B 不是空集，即 m ≥ −2。要让 B 整个落在 A 里，需要左端点在 A 内且右端点在 A 内：m − 1 ≥ −1 且 2m + 1 ≤ 3，解得 m ≥ 0 且 m ≤ 1，即 0 ≤ m ≤ 1。 综上，m 的取值范围是 m < −2 或 0 ≤ m ≤ 1。 端点检验：m = −2 时 B = {x | −3 ≤ x ≤ −3} = {−3}，而 −3 不在 A 里，不满足；m = 0 时 B = {x | −1 ≤ x ≤ 1}，确实落在 A 里；m = 1 时 B = {x | 0 ≤ x ≤ 3}，也落在 A 里；m = 1.5 时 B = {x | 0.5 ≤ x ≤ 4}，其中 4 不在 A 里，不满足。以上四处检验与答案一致。 （2）p 是 q 的充分不必要条件，即 A ⫋ B，首先要求 A ⊆ B。A 中有 −1 与 3 这两个数，它们都必须在 B 中，所以需要 m − 1 ≤ −1 且 2m + 1 ≥ 3，即 m ≤ 0 且 m ≥ 1，无解。又 A 不是空集，B 为空集时更不可能包含 A。所以不存在满足要求的 m。 方法提炼：第（1）小题的两支缺一不可：B 为空集时不需要任何不等式，而这一支恰好给出答案的前半段 m < −2，漏掉就少一半分。第（2）小题考的是存在性判断，先算必要条件 A ⊆ B，发现不等式组无解，就能立刻判定「不存在」，不必再纠缠真包含。 范例 13 充分不必要条件求参数（端点是成败所在） 已知 p：x ∈ A = {x | 1 ≤ x ≤ 2}，q：x ∈ B = {x | 1 ≤ x ≤ a}，其中 a > 1。若 p 是 q 的充分不必要条件，求 a 的取值范围。 规范解答： p 是 q 的充分不必要条件，即 A ⫋ B。分两层要求。 第一层，A ⊆ B。两个集合的左端都是 1，只需上端满足 a ≥ 2。 第二层，B 不含于 A。若 a = 2，则 B = {x | 1 ≤ x ≤ 2} 与 A 完全相同，两个方向都成立，只能得到充要条件，不合题意，所以 a = 2 必须排除。若 a > 2，取 x = ，它满足 1 < x ≤ a 从而 x ∈ B，又 x > 2 从而 x ∉ A，说明 B 不含于 A 成立。 所以 a 的取值范围是 a > 2。 取等检验： a 的位置 此时 B 的样子 A 与 B 的关系 是否符合「充分不必要」 a 略大于 1 B 比 A 短，被 A 装住 B ⫋ A 否，得到的是「必要不充分条件」 a = 2 B 与 A 完全一样 A = B 否，得到的是「充要条件」 a > 2 B 把 A 装住还有余 A ⫋ B 是 方法提炼：「充分不必要条件」比「充分条件」只多了一个字，却把端点 a = 2 从答案里剔了出去。做法是先按包含关系算出临界值（这里是 a = 2），再把临界值代回原题看两个集合是否恰好相等：相等就排除，不相等就保留。凡是带「不」字的结论，这一步都不能省。 勘误处 · 八种最常见的翻车现场 下面八条是本课丢分最集中的地方。左栏是现场（错成什么样），中栏是诊断（错在哪个概念），右栏是处方（下次怎么做）。 现场 诊断 处方 题目问「p 是 q 的充分条件吗」，答成「充分不必要条件」 多答了方向，答案反而错 题干只问一个方向就只答一个方向；问「什么条件」时才填完整名称 把「p 的必要条件是 q」当成 q ⇒ p 条件甩在句尾，主客与方向都反了 先改写成「q 是 p 的必要条件」，再由「必要→后推前」得 p ⇒ q 只正推一次，就写上「充要条件」 充要条件要两条路都通，一条路不能定性 两个方向都判，把结果填进四格表再定名 含参题算出 a ≥ 2 就交卷，题目要的是「充分不必要」 漏了真包含，端点 a = 2 没有排除 凡结论带「不」字，一律把临界值代回检验两集合是否相等 遇到 {x | m − 1 ≤ x ≤ 2m + 1} 就直接列不等式 默认集合非空，忘了它可能是空集 先问一句「它可能是空集吗」，把 m 较小那一支单独解出来 把「对角线相等的四边形是矩形」当真命题 漏掉等腰梯形这个反例 几何判断题把等腰梯形、菱形、正方形逐一验一遍 链条题按甲乙丙丁的语序直接排 「必要」与「充分」会颠倒主客，语序不等于箭头顺序 每句话先翻译成集合包含或箭头，再串联 用集合法时把范围大的那个当成充分条件 把「小推大」记反了 背口诀「小充分，大必要」，范围小的推范围大的 来龙去脉 · 从「小故」到双线箭头 1. 《墨经》里的「小故」与「大故」 我国古代对条件关系的思考，最早见于《墨经》。《经说上》把「故」（理由、条件）分成两类，并各给一句定义： 「小故：有之不必然，无之必不然。」「大故：有之必然，无之必不然。」 用今天的语言翻译：有它，结论不一定成立；没有它，结论一定不成立——这正是必要条件。有它就一定成立，没有它一定不成立，则是充分必要条件。学界一般把「小故」对应为必要条件，把「大故」对应为充分必要条件（也有学者把「大故」解为充分条件）。中学里讲的充分条件与必要条件，就是这两句古话的今译。 「无之必不然」五个字，是「必要」二字最早也最准确的注解。它比「很重要」之类的说法有用得多：重要不重要是感觉，没有它成不成才决定了它是不是必要。 2. 两个译名为什么这么顺口 「充分条件」译自 sufficient condition，字面就是「足够的条件」；「必要条件」译自 necessary condition，来源于 necessity，意思接近「不可避免」。两个译名都是直译，反而比原文更好懂：「足够」对应「有它就够」，「必需」对应「没有它不行」。读英文资料时，这两个词的差别也是同样的道理。 3. 双线箭头的年纪比空集还小 今天课本上这两个符号，来历并不古老。19 世纪到 20 世纪初，数学家用 ⊃ 表示蕴含，罗素与怀特海的《数学原理》就是这一写法。箭头形式的 → 到 1922 年才由希尔伯特启用；而我们最熟悉的双线箭头 ⇒ 与 ⇔，迟至 1954 年才由法国布尔巴基学派在《集合论》中首次印出。 对照一下 1.2 里讲过的空集符号 ∅——它诞生于 1939 年。本课这两个符号比它还要年轻十多岁。也就是说，「推出」这件事人类想了上千年，把它的符号写成两条线，是不到一百年前才定下的事。 一图收束 · 什么题用什么招 题目长什么样 用哪一招 脑中的第一句话 给出「若 p，则 q」让你判真假 定义法 先判命题真假，再翻成条件名 要说明某个充分条件不成立 反例法 找一个满足 p 却不满足 q 的对象 p、q 都是不等式或方程 集合法 把解集写出来比大小，小充分、大必要 命题里带「不等于」「不是」 等价法 两边同时否定，方向掉头再推 好几个条件串成一串 传递法 每句话都翻译成箭头，然后串联 问「p 是 q 的什么条件」 两向勘验 正推一次、反推一次，对表定名 含参数，要求「充分不必要条件」 集合法加端点检验 按包含关系列式，再把临界值代回验 p 与 q 恰好互为否定 直接定名 两个集合都非空时，一定是既不充分也不必要条件 口诀：一句话、两个方向、三种语言、四种名称。一句话——把题目还原成「若 p，则 q」；两个方向——正推与反推，两次都要判；三种语言——文字、箭头、集合，随时互换；四种名称——按两向结果对表定名。 过关自测（满分 100 分） 先自己做一遍，再翻到文末对答案。做完请把答题栏填满，尤其注意每一道题都要在心里走两个方向。 答题栏（第 1～9 题填这里，第 10～12 题在题下作答） 题号 1 2 3 4 5 6 7 8 9 答案 一、选择题（每小题 6 分，共 30 分） 1.「一个三角形是等边三角形」是「这个三角形是等腰三角形」的（ ） A. 充分不必要条件 B. 必要不充分条件 C. 充要条件 D. 既不充分也不必要条件 2.「a > b」是「a + c > b + c」的（ ） A. 充分不必要条件 B. 必要不充分条件 C. 充要条件 D. 既不充分也不必要条件 3. 已知 p：x 是 2 的倍数，q：x 是 3 的倍数，则 p 是 q 的（ ） A. 充分不必要条件 B. 必要不充分条件 C. 充要条件 D. 既不充分也不必要条件 4. 已知命题「若 p，则 q」是假命题，它的逆命题「若 q，则 p」是真命题，则 p 是 q 的（ ） A. 充分不必要条件 B. 必要不充分条件 C. 充要条件 D. 既不充分也不必要条件 5. 若「p 的充分条件是 q」，则下列结论中正确的是（ ） A. p ⇒ q B. q ⇒ p C. p ⇔ q D. q 是 p 的充分不必要条件 二、填空题（每小题 5 分，共 20 分） 6. 用「充分」「必要」「充要」中的一个填空： （1）「x > 2」是「x > 0」的 ______ 条件； （2）「x > 0」是「x > 2」的 ______ 条件。 7. 设 p：x ∈ {x | x ≤ 1}，q：x ∈ {x | x < 2}，则 p 是 q 的 ______ 条件。 8.「a + b > 2」是「a > 1 且 b > 1」的 ______ 条件。 9. 若「x = a」是「 − 5x + 6 = 0」的充分条件，则 a 的值是 ______。 三、解答题（共 50 分） 10.（16 分）判断下列各题中 p 是 q 的什么条件（从「充分不必要条件」「必要不充分条件」「充要条件」「既不充分也不必要条件」中选择）。 （1）p：x > 3，q：x > 5； （2）p：x 是正数，q：x 是整数； （3）p：x ∈ A ∩ B，q：x ∈ A ∪ B； （4）p：|x| ≤ 1，q：−1 ≤ x ≤ 1。 11.（16 分）已知集合 A = {x | 1 < x < 3}，B = {x | 2 < x < 4}，C = {x | x > a}。 （1）判断「x ∈ A」是「x ∈ B」的什么条件； （2）若「x ∈ A ∪ B」是「x ∈ C」的充分不必要条件，求 a 的取值范围。 12.（18 分）已知 p：x ∈ A = {x | 1 ≤ x ≤ 3}，q：x ∈ B = {x | m ≤ x ≤ m + 4}。 （1）若 p 是 q 的充分条件，求 m 的取值范围； （2）若 p 是 q 的充分不必要条件，求 m 的取值范围。 参考答案与解析 一、选择题答案 题号 1 2 3 4 5 答案 A C D B B 1. A。等边三角形三条边都相等，当然满足两条边相等，正推通；反过来，三边为 3、3、5 的三角形是等腰三角形却不是等边三角形，反推不通。所以是充分不必要条件。 2. C。不等式两边同加同一个数 c，不等号方向不变，两个方向都成立，所以是充要条件。 3. D。2 是 2 的倍数但不是 3 的倍数，说明正推不通；3 是 3 的倍数但不是 2 的倍数，说明反推也不通。两个方向都断，是既不充分也不必要条件。 4. B。「若 p，则 q」假，说明正推不通；逆命题真，说明反推通。反推通即 q ⇒ p，也就是 p 是 q 的必要条件，合起来是必要不充分条件。 5. B。「p 的充分条件是 q」等价于「q 是 p 的充分条件」，按前推后得 q ⇒ p，故选 B。A 方向反了；C 要求两个方向都通，题中只说了一个方向；D 多加了「不必要」，题中没有依据。 二、填空题答案 6.（1）充分；（2）必要。 解析：x > 2 一定满足 x > 0，所以前者是后者的充分条件；反过来 x > 0 推不出 x > 2（取 x = 1），所以「x > 0 是 x > 2 的必要条件」。写完整名称的话分别是「充分不必要条件」和「必要不充分条件」，本题限定只填一个词，故填「充分」与「必要」。 7. 充分不必要条件。 解析：记 A = {x | x ≤ 1}，B = {x | x < 2}。A 中每个数都小于 2，所以 A ⊆ B；而 1.5 ∈ B 但 1.5 ∉ A，说明 A ⫋ B，所以 p 是 q 的充分不必要条件。 8. 必要不充分条件。 解析：若 a > 1 且 b > 1，则 a + b > 2，所以反推成立；但取 a = 5，b = −2，此时 a + b = 3 > 2，却并不满足 b > 1，正推不成立。所以前一个命题是后一个命题的必要不充分条件。 9. a = 2 或 a = 3。 解析：「x = a 是方程的充分条件」的意思是 x = a 一定满足这个方程，把 x = a 代入得 − 5a + 6 = 0，即 (a − 2)(a − 3) = 0，所以 a = 2 或 a = 3。 注意：两个值都要写出来，缺一不可——只写 a = 2 会漏掉一半答案。 三、解答题答案与解析 10.（1）必要不充分条件；（2）既不充分也不必要条件；（3）充分不必要条件；（4）充要条件。 解析（1）：x > 5 一定满足 x > 3，所以反推成立；取 x = 4，满足 x > 3 而不满足 x > 5，正推不成立，故为必要不充分条件。 解析（2）：取 x = 0.5，它是正数但不是整数，正推不成立；取 x = −1，它是整数但不是正数，反推也不成立。两个方向都断，故为既不充分也不必要条件。 解析（3）：x 同时在 A 与 B 中，当然在 A ∪ B 中，正推成立；取 x ∈ A 但 x ∉ B，此时 x 在 A ∪ B 中而不在 A ∩ B 中，反推不成立，故为充分不必要条件。 解析（4）：|x| ≤ 1 与 −1 ≤ x ≤ 1 说的是同一件事，两个方向都成立，故为充要条件。 11.（1）既不充分也不必要条件；（2）a ≤ 1。 解析（1）：A = {x | 1 < x < 3}，B = {x | 2 < x < 4}。取 x = 1.5，它在 A 中却不在 B 中，正推不成立；取 x = 3.5，它在 B 中却不在 A 中，反推也不成立。两个方向都断，故为既不充分也不必要条件。 解析（2）：先算 A ∪ B = {x | 1 < x < 4}，记它为 D。「x ∈ D」是「x ∈ C」的充分不必要条件，即 D ⫋ C。要让 D ⊆ C，需要 a ≤ 1；在 a ≤ 1 的前提下，4 这个数在 C 中（因为 a ≤ 1 < 4）却不在 D 中（D 取不到 4），所以 C 不含于 D 自动成立，真包含满足。端点检验：a = 1 时 D = {x | 1 < x < 4} 确实被 C = {x | x > 1} 装住，且 C 中比 4 大的数不在 D 里，符合要求，故 a = 1 可以取。所以 a 的取值范围是 a ≤ 1。 12.（1）−1 ≤ m ≤ 1；（2）−1 < m ≤ 1。 解析（1）：p 是 q 的充分条件，即 A ⊆ B，需要 B 的左端不超过 1、右端不小于 3：m ≤ 1 且 m + 4 ≥ 3，解得 m ≤ 1 且 m ≥ −1，即 −1 ≤ m ≤ 1。 解析（2）：p 是 q 的充分不必要条件，即 A ⫋ B，先要求 A ⊆ B，由（1）得 −1 ≤ m ≤ 1。再排除 A = B 的情形：m = −1 时 B = {x | −1 ≤ x ≤ 3} 与 A 完全相同，此时只能得到充要条件，所以 m = −1 必须排除；m = 1 时 B = {x | 1 ≤ x ≤ 5}，A 真含于 B，符合要求。故 m 的取值范围是 −1 < m ≤ 1。 学科网（北京）股份有限公司 $