必修第一册 · 第 1 章集合与常用逻辑用语

1.4 充分条件与必要条件

一件事能不能保证另一件事？学会用“推得出 / 推不出 + 反例”说清楚两个条件的关系。先从一个地名开始。

杭州是浙江省的一个城市。宁波、温州也在浙江。点下面按钮把小人放到不同城市，看看哪句推理一定成立：

下面哪句话一定对？

A。杭州整个在浙江里面，人在杭州，就一定在浙江。

反过来不一定：在宁波的人也在浙江，却不在杭州。像“在宁波的人”这样，说明一句话不成立的具体例子，叫反例。

数学上这样说：“在杭州”足够保证“在浙江”，所以“在杭州”是“在浙江”的充分条件；想在杭州，“在浙江”少不了，所以“在浙江”是“在杭州”的必要条件。这一节就讲：两个条件之间，谁能推出谁，怎么说，怎么查。

1. 先认识几个词：从“包含关系与逻辑箭头”建立直觉

要用到：初中学过的“命题”（能判断对错的陈述句）；1.1 用描述法写集合（回看 1.1）；1.2 的子集、真子集（回看 1.2）。先看下面这幅微图解：

直觉微图解 ①充分必要条件的集合视觉

核心本质小范围推大范围（$P \subseteq Q$）

要求越严、门槛越高，符合条件的范围越小，就越有资格当充分条件！比如“考满分”必然能推“及格”；但“及格”绝不能反推“考满分”！

主客颠倒神坑“谁是谁的”vs“谁的是谁”

“$p$ 是 $q$ 的充分条件”与“$q$ 的充分条件是 $p$”说的是同一件事，都是 $p \Rightarrow q$！破题第一步：抓准谁是箭头的发起者，别被语序带偏。

2. 充分、必要与充要的核心定义与判别表

用集合辅助判断时，先统一变量和讨论范围：在同一论域内，$P$ 收集满足 $p$ 的对象，$Q$ 收集满足 $q$ 的对象。要检查的是每个元素的包含关系；只比较元素个数、区间长度或图形面积，不能判断谁推出谁。集合相等也不是只看两个圈一样大。

$p \Rightarrow q$：$p$ 是 $q$ 的充分条件，$q$ 是 $p$ 的必要条件。
小圈推大圈：$P \subseteq Q$。

$p \Leftrightarrow q$：$p$ 与 $q$ 互为充要条件。
两圈完全重合：$P = Q$。

$p\Rightarrow q$？	$q\Rightarrow p$？	结论：$p$ 是 $q$ 的……
成立	不成立	充分不必要条件（$P\subsetneqq Q$）
不成立	成立	必要不充分条件（$Q\subsetneqq P$）
成立	成立	充要条件（$P=Q$，记 $p\Leftrightarrow q$）
不成立	不成立	既不充分也不必要条件（互有独立部分）

和初中定理、定义联系起来：

判定定理给充分条件：平行四边形有一个直角，就能判定它是矩形。

性质定理给必要条件：矩形的四个角都是直角，这是成为矩形必备的性质。

数学定义给充要条件：一个四边形是矩形，当且仅当它的四个角都是直角。定义刻画对象时，两个方向都成立。

例 1（整除与奇偶关系：语言表述规范）

对整数 $n$，说明“$n$ 能被 $4$ 整除”$\Rightarrow$“$n$ 是偶数”，并用“充分”“必要”各说一句。

$n$ 能被 $4$ 整除，即 $n=4k=2(2k)$，显然是偶数。所以“能被 $4$ 整除”$\Rightarrow$“是偶数”。

说法一：“能被 $4$ 整除”是“是偶数”的充分条件（条件够充分）。

说法二：“是偶数”是“能被 $4$ 整除”的必要条件（底线少不了：不是偶数绝对无法被 $4$ 整除）。

自己试试：“若一个四边形是正方形，则它是矩形”是真命题。那么“是矩形”是“是正方形”的？

B。正方形 $\Rightarrow$ 矩形，箭头后面的“矩形”是必要条件：想当正方形，先得是矩形。选 A 的同学看到“是矩形”写在问句前面，就当成了充分条件。先找出谁推谁，再看问的是哪一个。

当且仅当：$p$ 是 $q$ 的充要条件，也说成“$p$ 当且仅当 $q$”。“当”是 $q\Rightarrow p$，“仅当”是 $p\Rightarrow q$。

传递性：$p\Rightarrow q$，$q\Rightarrow r$，就有 $p\Rightarrow r$。

3. 三步破题思维链：代数与范围型判别法

例 2（示范：跟老师走一遍思考过程）

设 $p: -1 < x < 3$，$q: 0 < x < 2$。判断 $p$ 是 $q$ 的什么条件？

👀 看到什么 → 想什么：

问“p 是 q 的什么条件” → 分别检查 p⇒q 与 q⇒p 两个方向。
条件能写成集合范围时 → 用包含关系判断箭头，再用反例排除反向推导。

🔧 第二步画数轴比对范围大小：写出对应集合：$P=(-1,3)$，$Q=(0,2)$。在数轴上，区间 $Q$ 完完整整落在大区间 $P$ 肚子里面，即 $Q \subsetneqq P$。小范围能推大范围：故 $q \Rightarrow p$ 必然成立！

🛡️ 第三步验反例下最终结论：大范围推小范围：找反例 $x=2.5\in P$，显然 $2.5\notin Q$，所以 $p \Rightarrow q$ 不成立，即 $p \nRightarrow q$！结论：前不推后、后推前，$p$ 是 $q$ 的必要不充分条件！

自己试试：“$x=1$”是“$x^2=1$”的什么条件？

A。$x=1\Rightarrow x^2=1$，成立；反过来 $x=-1$ 也满足 $x^2=1$，却不是 $1$，是反例，推不出。选 C 的同学只查了一个方向，或者忘了 $x=-1$。

自己试试：“$x>2$”是“$x>1$”的什么条件？

A。$\{x\mid x>2\}\subsetneqq\{x\mid x>1\}$：$x>2$ 那一段整个在 $x>1$ 那一段里面，是小的那段，小推大成立；反过来，$x=1.5$ 满足 $x>1$、不满足 $x>2$，是反例。

选 B 的同学常这样想：“$2$ 比 $1$ 大，所以 $x>2$ 管的范围更大”。正好反了：要求越严（范围越小）的那个，越容易当充分条件。

自己试试：由等式的性质，$x=y\Rightarrow x^2=y^2$。“$x^2=y^2$”是“$x=y$”的什么条件？

B。$x=y\Rightarrow x^2=y^2$，所以 $x^2=y^2$ 是必要条件；反过来 $x=1$，$y=-1$ 时 $x^2=y^2=1$，可 $x\ne y$，推不出。选 C 的同学把“平方相等”当成“本身相等”，忘了还可能 $x=-y$。

4. 用之前必查：三大高频翻车现场

翻车现场 ①被中文语序带偏：看到“p 的充分条件是 q”误当成 p ⇒ q

❌ 典型错解：顺着汉字语序把开头的 $p$ 当成箭头发起者，列出 $p \Rightarrow q$。

理清条件方向：把原句改写成“$q$ 是 $p$ 的充分条件”，就能看出箭头由 $q$ 指向 $p$，即 $q \Rightarrow p$。

翻车现场 ②看到数字大误以为范围大（倒置包含关系）

❌ 典型错解：看到 $x>2$ 和 $x>1$，觉得 $2>1$，断定 $x>2$ 的范围比 $x>1$ 大。

✅ 看右图秒懂真相：画数轴便知，$(2, +\infty)$ 完全被嵌在 $(1, +\infty)$ 里面，门槛越高范围越窄，它是真正的子集（小范围）！

翻车现场 ③只验单向推导，直接轻率下结论

❌ 典型错解：做题只验证了 $p \Rightarrow q$ 成立，就随手勾选“充要条件”，或者忘了举出反例。

判断方法：判断充要条件必须验证两个方向。证明了 $p \Rightarrow q$ 后，还要反过来检查 $q \Rightarrow p$（尤其检查平方、绝对值带来的多解，以及除数能否为 0）。

再深一点（可以先跳过）

条件同时涉及两个实数 $x,y$ 时，还能用集合包含关系判断充分、必要条件吗？试比较“$x>0$ 且 $y>0$”与“$xy>0$”。

展开思路与核对

两个变量：条件说的是实数 $x$、$y$ 时，可把有序对 $(x,y)$ 看成元素，用平面图辅助检查；也可以直接证明或举反例，不必每题都画坐标系。例：“$x>0$ 且 $y>0$”$\Rightarrow$“$xy>0$”成立；反过来 $x=y=-1$ 是反例。

两个条件都说同一个实数 $x$：$p$：$x\in P$，$q$：$x\in Q$。拖动端点改区间；点一下端点（或选中后按回车）在实心“含端点”和空心“不含端点”之间切换。键盘：Tab 选中端点，左右方向键移动。

挑战：四种结论都拖出来一次。再试试只差一个端点时会怎样。

从易到难排好了。前两道直接用，中间三道是最常见的错，最后一道是挑战。

直接用

1. $a$、$b$ 是实数。“$a=0$”是“$ab=0$”的什么条件？

A。$a=0$ 时 $ab=0\times b=0$，成立；反过来 $a=1$，$b=0$ 时 $ab=0$，可 $a\ne0$，是反例。选 C 的同学忘了 $ab=0$ 也可能是 $b=0$。

2. “$|x|=2$”是“$x=2$”的什么条件？

B。$x=2\Rightarrow|x|=2$；反过来 $x=-2$ 时 $|x|=2$，却不是 $2$，推不出。问的是“$|x|=2$”：它被推出，是必要条件，不充分。选 A 的同学把方向看反了。

易错

3. 下面哪句话是对的？

只有 $x=3\Rightarrow x^2=9$ 成立（反过来 $x=-3$ 是反例）。

C 说“$x^2=9$ 的充分条件是 $x=3$”，等于说“$x=3$ 是 $x^2=9$ 的充分条件”，就是 $x=3\Rightarrow x^2=9$，对。

A 和 B 其实是同一句话，都在说 $x^2=9\Rightarrow x=3$，错；D 也在说 $x^2=9\Rightarrow x=3$，错。换个说法、换个语序，先还原成“若……则……”再判断。

4. 已知 $x>0$。在这个前提下，“$x^2>1$”是“$x>1$”的什么条件？

答案 C。很多同学条件反射选 B，因为记得“$x=-2$ 是反例”。

但题目已经限定 $x>0$，$-2$ 根本不在考虑范围里。在 $x>0$ 时，$x^2>1$ 和 $x>1$ 能互相推出，是充要条件。

用集合比大小之前，先看清变量和范围：范围变了，集合变了，结论也会变。

5. 小明判断“$x^3>x$”和“$x>1$”的关系：他试了 $x=2,3,10$，两个条件都成立，于是说它们互为充要条件。他说得对吗？

答案 B。试几个数只是举例，不是证明。

$x>1$ 时 $x^2>1$，两边乘正数 $x$ 得 $x^3>x$，前推后成立（这是对所有 $x>1$ 的说明）。

反过来，取 $x=-\tfrac12$：$x^3=-\tfrac18>-\tfrac12$，满足 $x^3>x$，却不满足 $x>1$。一个反例就说明推不出。所以“$x>1$”是“$x^3>x$”的充分不必要条件。

挑战

6. $p$：$x>a$，$q$：$x>2$。如果 $p$ 是 $q$ 的充分不必要条件，实数 $a$ 的取值范围是？

A。充分不必要就是 $P\subsetneqq Q$，$P=\{x\mid x>a\}$，$Q=\{x\mid x>2\}$。

$P\subseteq Q$ 要 $a\ge2$：比如 $a=1$ 时 $x=1.5$ 在 $P$ 里、不在 $Q$ 里。可 $a=2$ 时 $P=Q$，是充要条件，不是“不必要”，要去掉。所以 $a>2$。选 B 的同学没单独查端点 $a=2$。

本节高考真题

共 31 道，含 1 道解答题；先做本节精选，也可查看全部真题。先自己做，提交后看答案和分步解析。

开始做本节真题

本节精选

正在加载精选题…

先独立作答，做完再对照分步解析。选择题点选项自动判对错；填空题写法不同时，看答案自己判。要用到后面章节的题收在最后，学到那里再做。

先修回顾 · 初中数学

学这一节之前，需要用到下面的初中数学基础；如果觉得生疏可以先点开回顾：

初中 · 7.3 定义、命题、定理初中把命题改写成“如果 $p$，那么 $q$”并判断真假、举反例，是高中理解 $p\Rightarrow q$、充分条件、必要条件与充要条件的前提。

打开初中数学课程目录

一试延伸

学有余力可以接着挑战。下面的竞赛专题以这一节为先修，题目来自全国高中数学联赛、各省预赛和强基、自主招生真题。

集合与简易逻辑

打开一试专题地图

不确定前面哪里没跟上？做一次摸底 →

\(p\Rightarrow q\)？	\(q\Rightarrow p\)？	结论：\(p\) 是 \(q\) 的……
成立	不成立	充分不必要条件（\(P\subsetneqq Q\)）
不成立	成立	必要不充分条件（\(Q\subsetneqq P\)）
成立	成立	充要条件（\(P=Q\)，记 \(p\Leftrightarrow q\)）
不成立	不成立	既不充分也不必要条件（互有独立部分）