1.4 充分条件与必要条件

这一节引入两个词：充分条件与必要条件。它们不是新的数学对象，而是给”$p \Rightarrow q$ 这件事”起的两个名字——同一支箭，站在箭尾说话就叫充分，站在箭头说话就叫必要。 真正难的从来不是定义，而是别把方向弄反。

课本按”先思考、再定义、再例题”的顺序展开；这里换成操作顺序：先把箭头与两个名字的对应关系 钉死，再给一套”拿到一道题先做什么”的判断流程，最后收集容易翻车的几处。

一、一支箭，两个名字

先约定说法。用语言、符号或式子表达的、可以判断真假的陈述句叫做命题；判断为真的是真命题， 判断为假的是假命题。中学数学里的许多命题写成”若 $p$，则 $q$“的形式，其中 $p$ 叫条件、 $q$ 叫结论。

“若 $p$，则 $q$“为真，意思是由 $p$ 通过推理可以得出 $q$，记作

$p \Rightarrow q.$

这一件事有两个名字：

$p \text{ 是 } q \text{ 的充分条件}, \qquad q \text{ 是 } p \text{ 的必要条件}.$

两个名字说的是同一支箭，只是站的位置不同。怎么记住不弄反，有两个都可靠的办法：

办法一，按箭尾箭头记。 箭射出的那一端（$p$）是充分条件，箭射到的那一端（$q$） 是必要条件。一句口诀：“由充分推出必要”——念一遍就知道箭从哪边指向哪边。

办法二，按”够不够”与”缺不缺”记。 说 $p$ 是 $q$ 的充分条件，是说有 $p$ 就够了， 足以保证 $q$ 成立；说 $q$ 是 $p$ 的必要条件，是说没有 $q$ 就一定没有 $p$，$q$ 是 $p$ 少不了的。 后半句正是课本页边那个注解的意思：如果 $q$ 不成立，则 $p$ 一定不成立，所以 $q$ 对于 $p$ 而言是必要的。

反过来，如果”若 $p$，则 $q$“是假命题，即由 $p$ 推不出 $q$，记作 $p \nRightarrow q$， 这时 $p$ 不是 $q$ 的充分条件，$q$ 也不是 $p$ 的必要条件。一句话否定两件事—— 这条对称性是这一节最省事的地方：判断一个方向，两个名字同时定下来。

二、判断的流程：一个方向，两种手段

拿到”$p$ 是不是 $q$ 的充分条件”或”$q$ 是不是 $p$ 的必要条件”，先做同一件事： 把它翻译成一个命题的真假。

两行要判断的是同一个命题。所以整节的动作只有一个：判断”若 $p$，则 $q$“的真假。 而判断真假只有两种手段，用哪一种取决于你猜它真还是假：

手段一（猜它真）：找一条定理，或给出推理。 课本例 1 的前三问都是这一种—— “四边形的两组对角分别相等”是平行四边形的判定定理，“两个三角形的三边成比例”是相似三角形的 判定定理，“菱形的对角线互相垂直”是菱形的性质定理。 它们都给出了 $p \Rightarrow q$，于是 $p$ 是 $q$ 的充分条件。

这里有一条值得单独记住的观察：每一条判定定理都给出了相应结论的一个充分条件， 每一条性质定理都给出了相应条件的一个必要条件。初中学过的那一整套判定与性质， 在这一节里全部变成了充分条件与必要条件的例子——不是新知识，是给旧知识换一套说法。

手段二（猜它假）：举一个反例。 要否定”若 $p$，则 $q$“，只需要找到一个同时满足 ”$p$ 成立”与”$q$ 不成立”的例子。课本例 1 的第 (4) 问用 $x = -1$：$(-1)^2 = 1$ 但 $-1 \neq 1$， 所以由 $x^2 = 1$ 推不出 $x = 1$。第 (6) 问用 $x = y = \sqrt{2}$：两个都是无理数， 但 $\sqrt{2} \times \sqrt{2} = 2$ 是有理数。

反例只需要一个，而且只需要举出来、不需要证明它有代表性。 这是本节最高效的动作： 证明一个命题为真要对所有情形负责，否定它只要一个特例。

而且反例常常不用另找——它就长在你刚验过的那个正例旁边。 判「若 $p$，则 $q$」时， 人们通常先代一个具体值把正向走通；这一步会顺手交出一个满足 $q$ 的具体对象。 如果 $q$ 的表述里含有一个多对一的运算——平方、绝对值、$\sin$、$\cos$—— 那就把这个对象沿着那个运算的”另一支”挪一下，反例现成。

课本例 1 第 (4) 问的 $x^2 = 1$ 推不出 $x = 1$ 就是最简版：平方把 $+1$ 与 $-1$ 压成同一个值， 所以"$x^2 = 1$"这个条件天生比"$x = 1$"松。浙江 2014 年第 2 题把同一件事搬到复数上—— 判"$a = b = 1$"是"$(a + b\mathrm{i})^2 = 2\mathrm{i}$"的什么条件：正向代入验的是 $1 + \mathrm{i}$， 而任何数与它的相反数平方相同，于是 $-1 - \mathrm{i}$ 也满足右边、却不满足左边，反例一秒到手。

这给出一条读题时就能用的预判：条件里出现平方、绝对值或三角函数，那一边多半更松。 预判不能代替判断，但它告诉你该往哪个方向找反例——省下的正是这类题的全部时间。

三、条件不唯一：一个结论可以有很多充分条件

课本用两处”思考”点出同一件事，值得当成结论记住：

• 给定结论 $q$，使 $q$ 成立的条件 $p$ 不唯一。“两组对边分别相等""一组对边平行且相等” “两条对角线互相平分”都是”四边形是平行四边形”的充分条件——平行四边形有几条判定定理， 就有几个充分条件。
• 给定条件 $p$，由 $p$ 能推出的结论 $q$ 也不唯一。“四边形是平行四边形”能推出 “两组对角分别相等""两组对边分别相等""一组对边平行且相等”，它们都是它的必要条件。

所以”$p$ 是 $q$ 的充分条件”绝不意味着”只有 $p$ 才能推出 $q$”，”$q$ 是 $p$ 的必要条件” 也绝不意味着”$p$ 只能推出 $q$“。把”充分”读成”唯一”，是这一节最常见的理解偏差。

四、易错清单

按失分频率排：

1. 方向记反。 只记一句”由充分推出必要”，遇到题先把箭画出来再说话。
2. 把”是充分条件”读成”只有它才行”。 充分条件不唯一（第三节）。
3. 否定时不举反例，改成讲道理。 要说”$p$ 推不出 $q$“，最短最硬的路是给出一个具体的 $x$ 或一个具体的图形。$x^2 = 1$ 推不出 $x = 1$，写一句”因为还可能是 $-1$“就够， 不需要解释为什么。
4. 只验一个方向就下”充要”的结论。 这一节只讲一个方向；两个方向都成立时的名字是 充要条件，那是下一小节的内容。做题时看清问的是哪一个。
5. 搞错谁是 $p$、谁是 $q$。 题目常把条件与结论写成两个并列的短句（"$a > b$"与"$ac > bc$"）， 到底是”若 $a > b$ 则 $ac > bc$“还是反过来，取决于题干里”是……的条件”这句话的主语。 读题时先把它写成”若…，则…”的样子，再判断。

五、本节的练习在哪

课本给这一小节配的三道「练习」印在第 27 页上，而第 27 页在版式上已经排进了下一小节 §1.4.2 的开头（课本的小节划分与页面边界并不对齐，这在全书是常态）。 所以这三道题的详解写在 §1.4.2 那一份「习题详解」里——它与题面所在的那一页同住一处， 读者点进 §1.4.2 就能看到。本节页面上因此没有「习题详解」这一块。

六、这一节考过的真题（怎么用它们）

页面下方”考过本节的真题”那一段是构建期从知识图谱派生出来的完整清单，都经由概念 充分条件、必要条件连过来。下面挑四组，按组读最省力——只有第一组长得像逻辑题。

第一组：直接问充分必要关系（本节的标准形态）。

• 先做 2022 年第 4 题：判断 $\sin x = 1$ 与 $\cos x = 0$ 之间的充分必要关系。 做法正是第二节那套流程：两个方向分开判，一个方向找推理（由 $\sin x = 1$ 与 $\sin^2 x + \cos^2 x = 1$ 得 $\cos x = 0$），另一个方向找反例，反例只需要一个 （取 $x = -\frac{\pi}{2}$，此时 $\cos x = 0$ 而 $\sin x = -1$）；
• 再看 2021 年第 3 题："$\vec a \cdot \vec c = \vec b \cdot \vec c$"是"$\vec a = \vec b$"的 什么条件（答案：必要不充分）。移项得 $(\vec a - \vec b) \cdot \vec c = 0$，说明的只是 $\vec a - \vec b$ 与 $\vec c$ 垂直——垂直不等于是零向量，取 $\vec c=(1,0)$、 $\vec a=(0,1)$、$\vec b=(0,2)$ 就是反例。它是第三节”条件不唯一”的具体样子： 能推出同一条等式的情形很多，所以反过来推不回去；
• 然后是 2020 年第 6 题：“三条直线两两相交”与”这三条直线共面”，一个方向用反例断掉 （正方体一个顶点处的三条棱两两相交却不共面），另一个方向靠平面的基本事实立起来。 它是第二节两种手段各用一次的立体几何版。
• 顺带做 2014 年第 2 题：这一组里动作最少的一道——正向一次代入、反向一个反例， 而反例就是正向那个 $1 + \mathrm{i}$ 取相反数。它是第二节末尾那条预判的标准样板： 右边带平方，右边就更松；

第二组：题面里一个”充分""必要”都没有，可解题的动作就是找必要条件去筛。

• 2021 年第 7 题（由图象选函数）：先用奇偶性刷掉两个选项，再用单调性刷掉一个。 每一次”刷”都是拿一条正确选项必须满足的性质——也就是一条必要条件——去淘汰， 这正是排除法的逻辑内核；
• 2022 年第 1 题（两个列举法集合求并集）：有一条路根本不算并集，只用”并集必须包含 两边的每个元素”这条必要条件筛四个选项；
• 2020 年第 9 题（$(x-a)(x-b)(x-2a-b) \geqslant 0$ 在 $x \geqslant 0$ 上恒成立， 问四个选项里哪个必然成立）：“必然成立”就是”是题设的必要条件”，题面把本节的词换成 白话藏了起来。这道题还把本节最有用的那个不对称摆到明面上： 否掉一个选项只要造一个反例，肯定一个选项却必须证明。取 $a = b = -1$ 与取 $a = 1$、$b = -1$ 各造一组， 三个选项当场出局，剩下的那一个再单独证。这是”反例只需要一个”在选择题里的标准用法。

第三组：正反两个方向都得动手证。

• 2023 年第 7 题：把”数列 $\{a_n\}$ 是等差数列”与”前 $n$ 项和的均值成等差”两件事对照， 要求判断充要关系。它的难点不在逻辑，在于两个方向都是真证明—— 正是”一个方向一次判断”这条流程重复两遍。

第四组：必要性探路 + 充分性回验（压轴题里的真实用法）。

• 2022 年第 9 题与 2022 年第 20 题：关键动作都是”先找一个必要条件把参数定住， 再回头验它充分”（代一个特殊值得到必要条件，再验证一般情形）。这两道题说明本节的词 不是考点，是工具：它给”先猜后验”这套做法起了名字，让你说得清自己手上那个范围是哪一半；
• 2015 年第 19 题（椭圆上两点关于一条直线对称，求参数 $m$ 的范围）把这套动作搬进了解析几何。 它的一条解法用点差法：把两个端点分别代进椭圆方程再相减。 这一串变形从头到尾只用了”$A$、$B$ 在椭圆上”，没有一处用回”这两点真的存在”—— 所以它推出来的一切都只是必要条件。点差法对一对共轭虚点照样成立， 哪怕那条弦根本不存在，式子也照写不误（本节第二节说的”一个方向一次判断”， 在这里就是”你刚才只走了一个方向”）。于是必须补上充分性： 中点落在椭圆内部时那条弦才真的存在，再回头验一遍它的中点确实还是原来那个点。 凡是”代入、相减、约掉”这类只吃条件、不回看结论的变形，产物一律先当必要条件收着， 这条习惯比记住”充分""必要”两个词有用得多；
• 最后是 2024 年第 19 题：定义新概念”可分数列”后逐问判定，读题时要把定义里的 “存在……使得……”准确翻译成条件与结论。这道题是这一节的上限—— 逻辑用语的价值不在做逻辑题，在于把一段绕口的题面读准。