1.4.2充要条件（第二课时）·讲义-2026-2027学年高一上学期数学人教A版必修第一册

1.4.2 充要条件·讲义

人教A版必修第一册　第一章　1.4 充分条件与必要条件　第二课时

一、课标要求与本课时位置

课程标准对本节的要求：通过对典型数学命题的梳理，理解充要条件的意义。本节共2课时，本课时是第二课时，学充要条件（教材1.4.2）；上一课时已学充分条件与必要条件（1.4.1）。本课时是1.4节的收口，把上一课时的两个单向判断合成一个双向判断，得到四种条件类型的完整分类，是本章逻辑用语部分的核心与终点。

本课时承接得很自然。上一课时反复强调"pq是一个箭头两句话"——p是q的充分条件、q是p的必要条件。那时看的都是单向的箭头。本课时要问的是：如果两个方向的箭头都成立，即既有pq又有qp，会怎么样？答案就是充要条件。把"充分"和"必要"这两个上一课时费力分开的概念，在这里又合到了一起，学生对两个词的理解会在这个合成过程中进一步夯实。

本课时要达成的是四件事：理解充要条件的概念，会用pq表示；会判断一个条件是另一个条件的充分不必要、必要不充分、充要、既不充分也不必要四种情形中的哪一种；能用集合关系统一处理这四种判断；会解决"求一个命题的充要条件""求充要条件中的参数"这两类问题，其中含参问题往往需要同时控制两个方向，比上一课时的单向含参更进一层。

往后看，充要条件是数学证明与表述的通用格式。今后学到的很多重要结论都以充要条件的形式给出：一元二次方程有实根的充要条件是判别式非负；函数在某点可导的充要条件、数列收敛的充要条件等，到高中后段和大学里比比皆是。证明"当且仅当"的命题，就是分别证充分性和必要性两个方向——这个证明格式在本课时的例4里第一次系统示范，往后要用一辈子。高考中，充要条件的判断题几乎年年出现，四选一的选项就是这四种类型，本课时是那道题的正面主场。

二、知识精讲

（一）从"逆命题"引入充要条件

先回顾上一课时的记号。命题"若p，则q"，若pq，则p是q的充分条件、q是p的必要条件。现在把这个命题的条件和结论互换，得到命题"若q，则p"，我们把它

叫做原命题的逆命题。原命题真不真、逆命题真不真，是两件独立的事，四种搭配都可能出现。

教材给出四个命题，让我们逐一看它和它的逆命题的真假：

(1)若两个三角形的两角和其中一角所对的边分别相等，则这两个三角形全等；

(2)若两个三角形全等，则这两个三角形的周长相等；

(3)若一元二次方程ax²＋bx＋c＝0有两个不相等的实数根，则ac＜0；

(4)若A∪B是空集，则A与B均是空集。

逐一分析。命题(1)：由"两角和其中一角所对的边分别相等"（AAS）可以推出两个三角形全等，原命题为真；反过来，两个三角形全等，对应的两角和这组角所对的边当然分别相等，逆命题也为真。所以(1)与它的逆命题都是真命题。命题(2)：全等的两个三角形周长相等，原命题为真；但周长相等的两个三角形未必全等（比如边长3、4、5的三角形与边长2、5、5的三角形周长都是12却不全等），逆命题为假。命题(3)：ac＜0时判别式b²－4ac＞0，方程确实有两个不相等的实根，逆命题为真；但方程有两个不相等的实根只要求b²－4ac＞0，并不一定要ac＜0（例如b＝5、a＝1、c＝1时b²－4ac＝21＞0，方程有两个不等实根，但ac＝1＞0），所以原命题为假。命题(4)：若A∪B为空集，则A、B都不含任何元素，即都是空集，原命题为真；反过来A、B都是空集时A∪B当然是空集，逆命题也为真。所以(4)与它的逆命题都是真命题。

把结果排一排：(1)(4)是原命题与逆命题都真；(2)是原命题真、逆命题假；(3)是原命题假、逆命题真。本课时要重点研究的，正是(1)(4)这种"来回都通"的情形。

（二）充要条件的定义

一般地，如果既有pq，又有qp，就记作pq。此时，p既是q的充分条件，也是q的必要条件，我们就说p是q的充分必要条件，简称充要条件。

这个定义要抠三个点。第一，pq这个双箭头，是把pq和qp两个单箭头合在一起，它读作"p等价于q"。要判断p是不是q的充要条件，必须两个方向都验证：正着推pq成立吗？反着推qp成立吗？两个都成立才是充要，缺一个就不是。第二，充要条件是对称的——如果p是q的充要条件，那么q也是p的充要条件，因为pq和qp是同一件事。这一点和充分条件、必要条件不同：p是q的充分条件时，q不是p的充分条件（而是必要条件）；但p是q的充要条件时，q就是p的充要条件。第三，pq意味着p和q这两个条件在逻辑上完全等价——满足p的对象恰好就是满足q的

对象，一个不多一个不少。所以充要条件又叫"等价条件"，数学中常用"当且仅当"来表述："p当且仅当q"就是pq。

把回顾串起来看：命题(1)中，"两角和其中一角所对的边分别相等"是"两三角形全等"的充要条件；命题(4)中，"A∪B是空集"是"A与B均是空集"的充要条件。而命题(2)中，"两三角形全等"只是"周长相等"的充分不必要条件；命题(3)中，"方程有两个不相等的实根"只是"ac＜0"的必要不充分条件。四个命题正好落在四种类型上，是理解分类的最好样本。

（三）四种条件类型的完整分类

把p与q之间的推出关系穷尽，只有四种情况，对应四个名称，务必记牢：

第一种，pq成立，但qp不成立。此时p是q的充分不必要条件。"充分"是因为p能推出q，"不必要"是因为q推不出p——有p足以保证q，但保证q不是非有p不可。例如p：x＞2，q：x＞0，x＞2能推出x＞0，但x＞0（如x＝1）推不出x＞2，所以p是q的充分不必要条件。

第二种，pq不成立，但qp成立。此时p是q的必要不充分条件。"必要"是因为q能推出p（即没有p就没有q），"不充分"是因为p推不出q。例如p：x＞0，q：x＞2，x＞2能推出x＞0（即qp），但x＞0推不出x＞2（即pq），所以p是q的必要不充分条件。把这个例子和上一个对照：同样是x＞2和x＞0，谁当p谁当q，结论正好相反——这说明判断时一定要看清哪个是p、哪个是q。

第三种，pq和qp都成立，即pq。此时p是q的充要条件，两个条件等价。

第四种，pq和qp都不成立。此时p是q的既不充分也不必要条件。例如p：x＞0，q：x＜0，两个方向都推不出，互相无关。

判断落成一个固定动作：拿到"p是q的什么条件"，先验pq对不对（正推），再验qp对不对（反推），根据两次的真假对号入座。正真反假是充分不必要，正假反真是必要不充分，两真是充要，两假是既不充分也不必要。这个"正推一次、反推一次、查表定名"的流程，是本课时所有判断题的通用解法。

（四）教材例3：用判定定理判断充要条件

下列各题中，哪些p是q的充要条件？

(1)p：四边形的对角线相等，q：四边形是矩形；

(2)p：两个三角形相似，q：两个三角形三边成比例；