充分必要条件与双向证明

约 4948 字大约 16 分钟

“足够保证”与“不可缺少”检查的是相反方向。先写清谁保证谁，再用同一范围内的证明或反例判断；充要关系还要求每一步能恢复原条件，不能把一次成功或一条单向推导当成双向结论。

一、知识点概念与依据

1. 同一个箭头，可以从两端命名

若条件 $p$ 一成立， $q$ 就一定成立，记 $p\Rightarrow q$ ，称 $p$ 是 $q$ 的充分条件，也称 $q$ 是 $p$ 的必要条件。充分说“有它就够”，必要说“少它不行”。

问“ $p$ 是 $q$ 的什么条件”，检查两向：

$p\Rightarrow q$	$q\Rightarrow p$	$p$ 是 $q$ 的条件
成立	成立	充分必要，即充要
成立	不成立	充分不必要
不成立	成立	必要不充分
不成立	不成立	既不充分也不必要

单说“充分”不排除同时必要，单说“必要”也不排除充分；只有“不必要”“不充分”才明确另一方向失败。“充要不充分”自身矛盾，不能作为合法的第五类。

不同句式先翻译成保证：

“ $p$ 是 $q$ 的充分条件”： $p\Rightarrow q$ 。
“ $p$ 的充分条件是 $q$ ”：被称为条件的是 $q$ ，所以 $q\Rightarrow p$ 。
“ $p$ 是 $q$ 的必要条件”： $q\Rightarrow p$ 。

2. 推出就是同一范围内的成员包含

固定共同对象范围 $M$ ，令 $P$ 收集其中满足 $p$ 的对象， $Q$ 收集满足 $q$ 的对象。那么

p\Rightarrow q\iff P\subseteq Q,\qquad q\Rightarrow p\iff Q\subseteq P.

若 $p$ 保证 $q$ ，每个 $P$ 成员都在 $Q$ ，所以包含；反过来，任取满足 $p$ 的对象，由包含它属于 $Q$ ，于是满足 $q$ 。这证明了等价的两向。充分不必要对应 $P\subsetneq Q$ ，必要不充分对应 $Q\subsetneq P$ ，充要对应 $P=Q$ 。

空集也能作前件解集： $P=\varnothing$ 时没有 $p$ 真而 $q$ 假的对象， $P\subseteq Q$ 成立。但逆向是否成立另查，不能因前件无对象就删去这个参数分支。真包含只要求外层至少多一个成员，不要求两个端点都严格。

同一符号在不同变量域中可能给不同解集。正数域里的问题不能拿负数作反例，分式候选先要求分母非零；几何题共同条件包括图形非退化。数对仍可组成对象集合，但不宜强行画成一维区间。

3. 一个反例必须让前件真、后件假

否定 $p\Rightarrow q$ ，找同一范围内 $p$ 真而 $q$ 假的对象；否定逆向，则找 $q$ 真而 $p$ 假的对象。找到一个“两边都真”的对象，只证明两条件可以同时成立，不证明对所有对象都能推出。没有想到证明，也不等于已经证明“不推出”。

$p\nRightarrow q$ 只要求存在一个失败者，不等于 $p\Rightarrow\neg q$ ，后者要求全部前件对象都使 $q$ 假。原资料判据曾把“不推出”误写成“推出非”，必须区分。前件为空时，“每个前件对象都使 $q$ 真”和“每个都使 $q$ 假”均无反例，却没有“不推出”所需的见证。

例如 $p:a+b>0$ ， $q:a>0$ 且 $b>0$ 。 $q$ 推 $p$ ，因为两正数相加仍正； $p$ 不推 $q$ ，因为 $a=2,b=-1$ 使和为 $1>0$ ，却有负数。因此 $p$ 是 $q$ 的必要不充分条件。

“不破楼兰终不还”按誓愿表达“返回 $\Rightarrow$ 已攻破”，所以攻破是返回的必要条件。它没有承诺攻破后一定返回；原题据此按“必要不充分”的意图处理。但“没有承诺逆向”只表示不能从这句话断定逆向，严格证明逆向实际为假仍须合法反例，不能编造历史事实代替证据。

4. 选择候选：先求目标完整解集，再比方向

设目标真集为 $T$ 、候选真集为 $C$ 。候选充分不必要需 $C\subsetneq T$ ；候选必要不充分需 $T\subsetneq C$ 。先求目标的等价范围，再比较，不能把一个尚未证充分的必要范围冒当 $T$ 。

目标 $x^2-4x<0$ ，因 $x(x-4)$ 在两根间负、根处零、两侧正，完整 $T=(0,4)$ 。候选 $(0,2)$ 为真子集，所以充分不必要； $(0,4)$ 是充要； $(-2,0)$ 不能保证目标； $(1,4]$ 加入不合格端点 $4$ ，也不充分。
目标 $x^2+x+m=0$ 有实解，二次系数为 $1$ ，判别式 $1-4m\ge0$ 等价于 $m\le1/4$ 。 $m<1/2$ 是必要不充分：收进所有有解参数，却多收 $1/4<m<1/2$ 。 $m\le1/4$ 是充要； $m<-1/2$ 只是充分不必要； $m<1/4$ 漏掉合法重根参数 $1/4$ ，不必要。

同一目标可以有很多充分不必要条件或必要不充分条件。选择题只是比较给定候选，不是宣称这种条件唯一。

5. 充要与等价变形：两向都能恢复

$p\iff q$ 就是 $p\Rightarrow q$ 且 $q\Rightarrow p$ ，也就是同域真集 $P=Q$ 。等价变形保留全部合法对象，又不加入额外对象。若只保证原条件推出新条件，求出的只是候选，还要回代原条件。

一串变形的每一环都能逆行，首尾才等价。约去因子先证非零；平方须检查符号信息；实数开方须有非负范围；不等式乘除须查因子正负。 $\iff$ 不是普通的“下一步”符号。

例如 $A=\{-1,1,3,5\}$ 、 $B=\{a,1,3,5\}$ ，若 $x\in A$ 与 $x\in B$ 互为充要条件，则两集合相等。 $-1$ 只能由 $a$ 提供，必要 $a=-1$ ；回代后成员完全相同，也充分。 $a=0$ 会多 $0$ 缺 $-1$ ， $a=3$ 或 $5$ 去重后仍缺 $-1$ ，均不行，不必另加“四项必须互异”的假设。

二次方程 $x^2+ax+1=0$ 的二次系数固定非零，配方得到

\left(x+\frac a2\right)^2=\frac{a^2-4}{4}.

右侧正时有正负两个不同平方根，零时一个重根，负时无实根。因此两个不同实根的充要条件为 $a^2-4>0$ ，即 $a<-2$ 或 $a>2$ 。非严格 $a\le-2$ 或 $a\ge2$ 多收重根；只取 $a>2$ 漏负支； $a<1$ 又收进无根参数。含参最高次系数可能为零时，必须先判降次，不能直接套此判据。

6. 必要范围可以比精确范围宽

若使性质 $H$ 成立的完整参数范围为 $S$ ，单向命题“ $H$ 成立则参数属于 $T$ ”只要求 $S\subseteq T$ ，不要求 $S=T$ 。 $T$ 多出的参数只能反驳逆向，不能反驳原箭头。

例如已经证明某性质的精确范围是 $1<t<2$ ，仍能正确推出 $t\in[1,2]$ 。用端点不能使性质成立来反驳这句，是把原题偷换成“当且仅当”。若题目问“全部范围恰为 $[1,2]$ ”，才必须与精确开区间相等，结论便不正确。反例始终要满足原前件，不能用前件为假的对象否定单向保证。

二、考点方法与例题

1. 两个箭头分开证明或反驳

固定 $p,q$ 和共同范围，先检一向，再重新以另一条件为已知。失败须给合法反例；成功须覆盖所有前件对象，不能倒读一条单向不等式链。

例题 01 绝对值的另一支决定必要性

题目

设 $x\in R$ ，则“ $x>3$ ”是“ $|x-1|>2$ ”的（）

A．充分不必要条件 B．充要不充分条件

C．充分必要条件 D．既不充分也不必要条件

答案与解析

解析

设 $p:x>3$ ， $q:\lvert x-1\rvert>2$ 。由绝对值定义，

\lvert x-1\rvert>2\iff x-1>2\ \text{或}\ x-1<-2\iff x>3\ \text{或}\ x<-1.

$p$ 成立就进入右支，因此 $p\Rightarrow q$ 。反向， $x=-2$ 满足 $q$ 却不满足 $p$ ，故 $q\nRightarrow p$ 。所以 A 正确。

B 原选项“充要不充分”自相矛盾，不能静默改词；C 错在逆向；D 错在否定已证的充分性。实数范围允许负支反例，不能自行收窄为正数。

本题结论

A，充分不必要条件。

例题 02 平方和推出乘积，不可直接倒读

题目

若 $a,b\in R$ ，则“ ${a}^{2}+{b}^{2}\le 18$ ”是“ $ab\le 9$ ”的（）

A．充分不必要条件 B．必要不充分条件

C．充要条件 D．既不充分也不必要条件

答案与解析

解析

设 $p:a^2+b^2\le18$ ， $q:ab\le9$ 。从平方和走向乘积，用实数差的平方非负：

(a-b)^2\ge0\Longrightarrow a^2-2ab+b^2\ge0\Longrightarrow2ab\le a^2+b^2.

若 $p$ 真，接上 $2ab\le a^2+b^2\le18$ ，同除正数 $2$ 得 $ab\le9$ 。这一推导对所有实数 $a,b$ 有效，不要求乘积正。

反向取 $a=6,b=-2$ ， $ab=-12\le9$ ，但 $a^2+b^2=40>18$ ，使 $q$ 真而 $p$ 假。因此充分成立、必要失败，A 正确；B、C 都误称必要，D 误称不充分。

本题结论

A，充分不必要条件。

2. 候选条件的范围、符号和新定义都要先求清

目标与候选不要交换。数对用实际数对证明，分母保留合法性；新定义先转成能双向成立的条件，再比较集合。正确候选要证明保证方向，也要说明逆向为什么失败。

例题 03 平方、绝对值和除法都可能丢符号

题目

若 $x,y\in R$ ，则“ $x>y$ ”的一个充分不必要条件可以是（）

A． $\left| x\right|>\left| y\right|$ B． ${x}^{2}>{y}^{2}$ C． $\frac{x}{y}>1$ D． $x-y>1$

答案与解析

解析

目标为 $x>y$ 。A、B 同取 $x=-2,y=1$ ： $\lvert x\rvert=2>1=\lvert y\rvert$ 、 $x^2=4>1=y^2$ ，但 $x<y$ ，所以两者都不充分。

C 候选先要求 $y\ne0$ 。取合法数对 $x=-2,y=-1$ ， $x/y=2>1$ ，却仍有 $x<y$ ，因此不充分。未知 $y$ 正负时，不能同乘 $y$ 还固定不等号方向。

D 由 $x-y>1$ 得 $x>y+1>y$ ，所以充分。反向取 $x=2,y=1$ ，目标真但差仅为 $1$ ，候选假，说明不必要。A、B、C 已在必须成立的充分方向失败，足以排除。

本题结论

D。

例题 04 取整：一个合法端点也能改变条件类型

题目

对于实数x，规定 $[x]$ 表示不大于x的最大整数，如 $[\pi ]=3$ ， $[-2.1]=-3$ ，那么方程 ${[x]}^{2}-[x]=0$ 成立的一个充分不必要条件是（）

A． $x\in [0,2]$ B． $x\in [-1,1]$ C． $x\in (-1,1)$ D． $x\in (0,2)$

答案与解析

解析

令整数 $t=[x]$ 。定义等价于 $t\le x<t+1$ ：若 $x\ge t+1$ ，更大的整数 $t+1$ 也不大于 $x$ ，与最大性矛盾；反向该区间保证 $t$ 正是不大于 $x$ 的最大整数。这是向下取整，不是四舍五入，负数也不直接截掉小数。

原方程等价于 $t(t-1)=0$ ，故 $t=0$ 或 $1$ ，对应 $[0,1)$ 或 $[1,2)$ ，目标真集为 $[0,2)$ 。

A 加入 $x=2$ ，其取整为 $2$ ，原左式为 $2\ne0$ ，不充分。B 含 $-1$ ，取整后左式 $1+1=2$ ，不充分。C 的负部 $(-1,0)$ 取整为 $-1$ ，也不充分。D 的 $(0,2)$ 全在目标内，却漏掉合法 $0$ ，所以充分不必要。

删去一个端点就能使逆向失败，并不要求整段明显变短。

本题结论

D。

3. 充要证明：先写两向，再找共同连接式

若“目标 $T$ 的充要条件是 $C$ ”，充分性从 $C$ 到 $T$ ，必要性从 $T$ 到 $C$ 。可先证任一向，但必须两向齐全。多项式用恒等式，边与高用同一面积，异号根用实根存在及根与系数关系；每次约分、用符号以前先说明合法性。

例题 05 先排除另一个零因子

题目

已知 $ab\ne 0$ ，求证： $a+b=1$ 的充要条件是 ${a}^{3}+{b}^{3}+ab-{a}^{2}-{b}^{2}=0$ .

答案与解析

解析

在高中实数语境下，记 $E=a^3+b^3+ab-a^2-b^2$ 、 $T=a^2-ab+b^2$ 。立方和公式和提公因式给

E=(a^3+b^3)-(a^2-ab+b^2)=(a+b)T-T=(a+b-1)T.

题目将 $E=0$ 称为 $a+b=1$ 的条件。先证必要性：若 $a+b=1$ ，第一个因子为零，故 $E=0$ 。

再证充分性：若 $E=0$ ，不能直接删 $T$ ，因为积为零可能由任一因子引起。由题设 $ab\ne0$ 得 $b\ne0$ ，且

T=a^2-ab+\frac{b^2}{4}+\frac{3b^2}{4}=\left(a-\frac b2\right)^2+\frac{3b^2}{4}>0.

平方项非负，后一项严格正，所以可合法同除 $T$ ，得 $a+b-1=0$ 。两向都成立，故充要。

若去掉非零题设， $a=b=0$ 使 $E=0$ 却 $a+b\ne1$ ，说明不能无条件约去。事实上 $T=0$ 正好要求两数同时为零；原 $ab\ne0$ 是足以排除此支的条件，不应把它说成最弱可能前提。

本题结论

在题设 $ab\ne0$ 及实数语境下，两向成立，充要关系得证。

例题 06 相等高与相等边由同一面积连接

题目

证明：“ $\triangle ABC$ 中两边上的高相等”是“ $\triangle ABC$ 为等腰三角形”的充要条件．

答案与解析

解析

按原解命名方式，“两边”理解为存在一对边，不是预先固定任意一对。记候选 $C$ 为存在一对边的高相等，目标 $T$ 为三角形等腰。普通三角形非退化，边长、高及面积均正。

充分性：设该对边长为 $s,t$ ，对应高为 $h_s,h_t$ 。同一面积满足

S=\frac12s h_s=\frac12t h_t.

若 $h_s=h_t=h>0$ ，得到 $sh=th$ ，同除 $h$ 得 $s=t$ 。存在相等的一对边，三角形等腰。

必要性：等腰保证存在一对相等边，选择这对，记 $s=t=\ell>0$ 。面积等式给 $\ell h_s=\ell h_t$ ，同除 $\ell$ 得 $h_s=h_t$ ，其对应高相等。

若把“两边”理解为事先固定的某对，正确对应目标应为“这两边相等”；仅说三角形等腰不能保证这对就是两腰。原解的 $AB,AC$ 是选定那对边的命名，不证明任意固定标号两边都相等。推理只用面积公式，不靠示意比例。

本题结论

按“存在一对边”的原题意，充分性与必要性均成立。

例题 07 先有实根，才能谈两个根异号

题目

证明： $ac<0$ 是一元二次方程 $a{x}^{2}+bx+c=0\left( a\ne 0\right)$ 有两个异号实根的充要条件．

答案与解析

解析

共同前提 $a\ne0$ 保证是真二次方程。

充分性： $ac<0$ 给 $-4ac>0$ ，而 $b^2\ge0$ ，所以 $\Delta=b^2-4ac>0$ ，先保证两个不同实根 $x_1,x_2$ 存在。再由根与系数关系，

x_1x_2=\frac ca=\frac{ac}{a^2}<0.

分母 $a^2>0$ ，故乘积负，两实根非零且恰一正一负。

必要性：若已有两个异号实根，则 $x_1x_2<0$ ，由 $x_1x_2=c/a$ 得 $c/a<0$ ，同乘正数 $a^2$ 得 $ac<0$ 。不能直接乘可能为负的 $a$ 却不反号。

所用乘积公式可从已存在实根后的分解说明：

ax^2+bx+c=a(x-x_1)(x-x_2)=ax^2-a(x_1+x_2)x+a x_1x_2.

比较常数项， $c=a x_1x_2$ ，再除非零 $a$ 。韦达关系不替代第一向的实根存在检查。重根或零根都不能满足乘积严格负。

本题结论

充要条件为 $ac<0$ ，两向已证。