第一章 1．4．2　充要条件-【正禾一本通】2023-2024学年新教材高一数学必修第一册同步课堂高效讲义配套课件（人教A版2019）

数学 必修第一册（人教） 第一章 集合与常用逻辑用语 1．4　充分条件与必要条件 1．4．2　充要条件 高效导学第一步 预习教材新知， 落实必备知识 充要 ⇔ 充分必要 高效导学第二步 课堂互动探究， 培优关键能力 如果“若p，则q”和它的逆命题“若q，则p”均是真命题，即既有p⇒q，又有q⇒p，就记作p___q. 此时，p既是q的充分条件，也是q的必要条件，我们说p是q的____________条件，简称为______条件．显然，如果p是q的充要条件，那么q也是p的充要条件． 记一记：(1)p是q的充要条件意味着“p成立，则q一定成立；p不成立，则q一定不成立”． (2)要判断p是不是q的充要条件，需要进行两次判断：一是看p能否推出q，二是看q能否推出p.若p能推出q，q也能推出p，就可以说p是q的充要条件，否则，就不能说p是q的充要条件． 【基点小试】 设p：“两个三角形相似”，q：“两个三角形的三边成比例”，则p是q的(　　 ) A．充分不必要条件 B．必要不充分条件 C．充要条件 D．既不充分也不必要条件 解析：两个三角形相似⇔两个三角形的三边对应成比例，即p⇔q，故p是q的充要条件． 答案：C 题型一　充要条件的判断 【练一练】 1．(多选)设全集为U，在下列选项中，是B⊆A的充要条件的有(　　 ) A．A∩B＝A B． eq \b\lc\(\rc\)(\a\vs4\al\co1(∁UA)) ∩B＝∅ C． eq \b\lc\(\rc\)(\a\vs4\al\co1(∁UA)) ⊆ eq \b\lc\(\rc\)(\a\vs4\al\co1(∁UB)) D．A∪∁UB＝U 解析：由Venn图可知，B，C，D都是B⊆A的充要条件． 答案：BCD 2．(多选)下列选项中，p是q的充要条件的是(　　 ) A．p：xy>0，q：x>0，y>0 B．p：A∪B＝A，q：B⊆A C．p：三角形是等腰三角形，q：三角形存在两角相等 D．p：四边形是正方形，q：四边形的对角线互相垂直平分 解析：对于A，由xy>0，得x>0，y>0或x<0，y<0，故p不是q的充要条件，故A错误； 对于B，由A∪B＝A，则B⊆A，若B⊆A，则A∪B＝A，故p是q的充要条件，故B正确； 对于C，三角形是等腰三角形⇔三角形存在两角相等，故p是q的充要条件，故C正确； 对于D，四边形的对角线互相垂直且平分⇔四边形为菱形，故p不是q的充要条件，故D错误． 答案：BC 3．(2022·江西宜春高一检测)下列结论，可作为“两条直线平行”的充要条件的是______． ①同位角相等；②内错角相等； ③同旁内角互补；④同旁内角相等． 解析：由①②③均可推出“两条直线平行”的结论，由“两条直线平行”也可以推出①②③均成立；由④不能推出“两条直线平行”的结论． 所以可作为“两条直线平行”的充要条件的是①②③. 答案：①②③ 【悟一悟】 充要条件判断的两种方法 (1)要判断一个条件p是否是q的充要条件，需要从充分性和必要性两个方向进行，即判断两个命题“若p，则q”为真且“若q，则p”为真． (2)在判断的过程中也可以转化为集合的思想来判断，判断p与q的解集是相同的，判断前必须分清楚充分性和必要性，即搞清楚由哪些条件推证到哪些结论． 题型二　充要条件的证明 例1.已知x，y都是非零实数，且x>y，求证： eq \f(1,x) < eq \f(1,y) 的充要条件是xy>0. 证明：法一　充分性：由xy>0及x>y，得 eq \f(x,xy) > eq \f(y,xy) ，即 eq \f(1,x) < eq \f(1,y) . 必要性：由 eq \f(1,x) < eq \f(1,y) ，得 eq \f(1,x) － eq \f(1,y) <0，即 eq \f(y－x,xy) <0， 因为x>y，所以y－x<0，所以xy>0. 所以 eq \f(1,x) < eq \f(1,y) 的充要条件是xy>0. 法二　 eq \f(1,x) < eq \f(1,y) ⇔ eq \f(1,x) － eq \f(1,y) <0⇔ eq \f(y－x,xy) <0， 因为x>y⇔y－x<0，所以 eq \f(y－x,xy) <0⇔xy>0， 所以 eq \f(1,x) < eq \f(1,y) ⇔xy>0， 即 eq \f(1,x) < eq \f(1,y) 的充要条件是xy>0. [总结] 　充要条件的证明思路 (1)在证明有关充要条件的问题时，通常从“充分性”和“必要性”两个方面来证明．在证明时，要注意：若证明“p的充要条件是q”，那么“充分性”是q⇒p，“必要性”是p⇒q；若证明“p是q的充要条件”，则与之相反． (2)证明充要条件问题，其实质就是证明一个命题的原