1.4 充分条件与必要条件
1.4.1 充分条件与必要条件
第一章 集合与常用逻辑用语
复习导入
在初中,我们已经对命题有了初步的认.一般地,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.判断为真的语句是真命题,判断为假的语句是假命题.中学数学中的许多命题可以写成“若????,则????”“如果????,那么????”等形式.其中????称为命题的条件,????称为命题的结论.本节主要讨论这种形式的命题.下面我们将进一步考察“若????,则????”形式的命题中????和????的关系,学习数学中的三个常用的逻辑用语——充分条件、必要条件和充要条件.
?
新知探索
思考1:下列“若????,则????”形式的命题中,哪些是真命题?哪些是假命题?
(1)若平行四边形的对角线互相垂直,则这个平行四边形是菱形;
(2)若两个三角形的周长相等,则这两个三角形全等;
(3)若????2?4????+3=0,则????=1;
(4)若平面内两条直线????和????均垂直于直线????,则????//????.
?
在命题(1)(4)中,由条件????通过推理可以得出结论????,所以它们是真命题.
?
平行四边形的对角线互相垂直?平行四边形是菱形;
平面内两条直线????和????均垂直于直线?????????//????.
?
新知探索
思考1:下列“若????,则????”形式的命题中,哪些是真命题?哪些是假命题?
(1)若平行四边形的对角线互相垂直,则这个平行四边形是菱形;
(2)若两个三角形的周长相等,则这两个三角形全等;
(3)若????2?4????+3=0,则????=1;
(4)若平面内两条直线????和????均垂直于直线????,则????//????.
?
两个三角形的周长相等?这两个三角形全等(这两个三角形未必全等);
若????2?4????+3=0?????=1(????还可以为3).
?
在命题(2)(3)中,由条件????不能得出结论????,所以它们是假命题.
?
新知探索
一般地,“若????,则????”为真命题,是指由????通过推理可以得出????.这时,我们就说,由????可以推出????,记作???????,并且说,????是????的充分条件,????是????的必要条件.
如果“若????,则????”为假命题,那么由条件????不能推出????,记作?????????.此时,我们就说????不是????的充分条件,????不是????的必要条件.
?
在(1)中,若平行四边形的对角线互相垂直?则这个平行四边形是菱形;
在(4)中,若平面内两条直线????和????均垂直于直线?????则????//????.
即????是????的充分条件,????是????的必要条件.
?
新知探索
一般地,“若????,则????”为真命题,是指由????通过推理可以得出????.这时,我们就说,由????可以推出????,记作???????,并且说,????是????的充分条件,????是????的必要条件.
如果“若????,则????”为假命题,那么由条件????不能推出????,记作?????????.此时,我们就说????不是????的充分条件,????不是????的必要条件.
?
在(2)中,若两个三角形的周长相等?则这两个三角形全等;
在(3)中,若????2?4????+3=0?则????=1.
命题(2)(3)中的????不是????的充分条件,????不是????的必要条件.
?
例析
例1.下列“若????,则????”形式的命题中,哪些命题中的????是????的充分条件?
(1)若四边形的两组对角分别相等,则这个四边形是平行四边形;
(2)若两个三角形的三边成比例,则这两个三角形相似;
(3)若四边形为菱形,则这个四边形的对角线互相垂直;
(4)若????2=1,则????=1;
(5)若????=????,则????????=????????;
(6)若????,????为无理数,则????????为无理数.
?
解:(1)这是一条平行四边形的判定定理,?????????,所以????是????的充分条件.
(2)这是一条相似三角形的判定定理,?????????,所以????是????的充分条件.
(3)这是一条菱形的性质定理,?????????,所以????是????的充分条件.
(4)由于(?1)2=1,但?1≠1,?????????,所以????不是????的充分条件.
(5)由等式的性质知,?????????,所以????是????的充分条件.
(6)2为无理数,但2×2=2为有理数,?????????,所以????不是????的充分条件.
?
新知探索
思考2:例1中命题(1)给出了“四边形是平行四边形”的一个充分条件,即“四边形的两组对角分别相等”.这样的充分条件唯一吗?如果不唯一,那么你能再给出几个不同的充分条件吗?
①若四边形的两组对边分别相等,则这个四边形是平行四边形;
②若四边形的一组对边平行且相等,则这个四边形是平行四边形;
③若四边形的两条对角线互相平分,则这个四边形是平行四边形.
v
我们说????是????的充分条件,是指条件????可以推出结论????,但这并不意味着只能由这个条件????才能推出结论????.一般来说,对给定结论????,使得????成立的条件是不唯一的.例如我们知道下列命题均为真命题:
?
新知探索
所以,“平行四边形的两组对边分别相等”“四边形的一组对边平行且相等”“四边形的两条对角线互相平分”都是“四边形是平行四边形”的充分条件.
事实上,例1中命题(1)及上述①②③均是平行四边形的判定定理.所以,平行四边形的每一条判定定理都给出了“四边形是平行四边形”的一个充分条件,即这个条件能充分保证四边形是平行四边形.类似地,平行线的每一条判定定理都给出了“两直线平行”的一个充分条件,例如“内错角相等”这个条件就充分保证了“两条直线平行”.
一般地,数学中的每一条判定定理都给出了相应数学结论成立的一个充分条件.
例析
例2.下列“若????,则????”形式的命题中,哪些命题中的????是????的必要条件?
(1)若四边形是平行四边形,则这个四边形的两组对角分别相等;
(2)若两个三角形相似,则这两个三角形的三边成比例;
(3)若四边形的对角线互相垂直,则这个四边形为菱形;
?
解:(1)这是平行四边形的一条性质定理,?????????,所以,????是????的必要条件.
(2)这是三角形相似的一条性质定理,?????????,所以,????是????的必要条件.
(3)如图,四边形????????????????的对角线互相垂直,但它不是菱形,?????????,所以,????不是????的必要条件.
?
例析
例2.下列“若????,则????”形式的命题中,哪些命题中的????是????的必要条件?
(4)若????=1,则????2=1;
(5)若????????=????????,则????=????;
(6)若????????为无理数,则????,????为无理数.
?
解:(4)显然,?????????,所以,????是????的必要条件.
(5)由于(?1)×0=1×0,但?1≠1,?????????,所以,????不是????的必要条件.
(6)由于1×2=2为无理数,但1,2不全是无理数,?????????,所以,????不是????的必要条件.
?
一般地,要判断“若????,则????”形式的命题中????是否为????的必要条件,只需判断是否有“?????????”,即“若????,则????”是否是真命题.
?
新知探索
思考3:例2中命题(1)给出了“四边形是平行四边形”的一个必要条件,即“这个四边形的两组对角分别相等”.这样的必要条件唯一吗?如果不唯一,你能给出“四边形是平行四边形”的几个其他必要条件吗?
我们说????是????的必要条件,是指以????为条件可以推出结论????,但这并不意味着条件????只能推出结论????.一般来说,对给定条件????,由????可以推出的结论????是不唯一的.例如,下列命题都是真命题:
?
①若四边形是平行四边形,则这个四边形的两组对边分别相等;
②若四边形是平行四边形,则这个四边形的一组对边平行且相等;
③若四边形是平行四边形,则这个四边形的两条对角线互相平分.
新知探索
这表明,“四边形的两组对边分别相等”“四边形的一组对边平行且相等”“四边形的两条对角线互相平分”都是“四边形是平行四边形”的必要条件.
我们知道,例2中命题(1)及上述命题①②③均为平行四边形的性质定理.所以,平行四边形的每条性质定理都给出了“四边形是平行四边形”的一个必要条件.类似地,平行线的每条性质定理都给出了“两直线平行”的一个必要条件,例如“同位角相等”是“两直线平行”的必要条件,也就是说,如果同位角不相等,那么就不可能有“两直线平行”.
一般地,数学中的每一条性质定理都给出了相应数学结论成立的一个必要条件.
练习
题型一:充分条件的判断与探求
例1.下列命题中,????是否是????的充分条件?
(1)????:????+????=0,????:????2+????2=0;
(2)????:四边形的对角线相等,????:四边形是矩形;
(3)????:????=3,????:????2?4????+3=0;
?
解:(1)∵????=1,????=?1时,????+????=0,但????2+????2=2,
∴?????????,即????不是????的充分条件.
(2)∵等腰梯形的对角线相等,但等腰梯形不是矩形
∴?????????,即????不是????的充分条件.
(3)∵当????=3时,????2?4????+3=0成立,
∴?????????,即????是????的充分条件.
?
练习
题型一:充分条件的判断与探求
例1.下列命题中,????是否是????的充分条件?
(4)????:????2,????:????2??????????=0无实根;
(5)设????∈????,????:????>5,????:|?????2|>2.
?
解:(4)∵当????2时,?=(?2)2+4????=4+4????4,
即????2??????????=0无实根.
∴?????????,即????是????的充分条件.
(5)∵当????>5时,满足|?????2|>2.
∴?????????,即????是????的充分条件.
?
练习
变1.下列命题中,????是否是????的充分条件?
(1)在?????????????中,????:∠????>∠????,????:????????>????????;
(2)????:(?????1)(?????3)=0,????:????=1;
(3)????:????=?????,????:|????|=|????|;
(4)????:一个四边形是等腰梯形,????:四边形的对角线相等.
?
解:(1)在?????????????中,根据大角对大边可得∠????>∠?????????????>????????.
(2)由(?????1)(?????3)=0,解得????=1或????=3,不一定有????=1.
∴?????????,即????不是????的充分条件.
(3)∵????=??????|????|=|????|,
∴?????????,即????是????的充分条件.
(4)∵等腰梯形的对角线相等,∴?????????,即????是????的充分条件.
?
练习
方法技巧:
1.定义法判断充分条件的步骤:
(1)分清“条件????”与“结论????”.
(2)判断条件????能否推出结论????.
(3)下结论:若“条件?????结论????”,则????是????的充分条件;若“条件?????结论????”,则????不是????的充分条件.
2.集合法判断充分条件
已知????={????|????满足条件????},????={????|????满足条件????}.若?????????,则????是????的充分条件.
?
练习
题型二:必要条件的判断与探求
例2.(多选)下列命题正确的是( ).
A.“????>5”是“????>6”的必要条件
B.“????=?2”是“????2=4”的必要条件
C.“????∩????=????”是“????∪????=????”的必要条件
D.????:????>????,????:????????>????????,????是????的必要条件
?
答案:AC.
解:∵????>6?????>5,∴A是真命题;
∵????=?2?????2=4,????2=4?????=?2,∴B是假命题;
∵????∪????=?????????∩????=????,∴C是真命题;
∵?????????,∴????不是????的必要条件,D是假命题.
?
练习
变2.下列命题中,????是否是????的必要条件?
(1)????:两个三角形面积相等,????:两个三角形全等;
(2)????:四边形的对角线相等,????:四边形是矩形;
(3)????:????>2,????:|????|>|?2|;
(4)????:?????????=0,????,????∈????,????:????????=1,????,????∈????.
?
解:(1)两个三角形全等?两个三角形面积相等,所以????是????的必要条件.
(2)四边形是矩形?四边形的对角线相等,所以????是????的必要条件.
(3)由|????|>|?2|得????>2或????2,不一定有????>2,所以????不是????的必要条件.
(4)由????????=1,得????=??????????????=0,所以????是????的必要条件.
?
练习
方法技巧:
1.定义法判断必要条件的步骤:
(1)分清“条件????”与“结论????”.
(2)判断条件????能否推出结论????.
(3)下结论:若“结论?????条件????”,则????是????的必要条件;若“结论?????条件????”,则????不是????的必要条件.
2.集合法判断充分条件
已知????={????|????满足条件????},????={????|????满足条件????}.若?????????,则????是????的必要条件.
?
练习
题型三:利用充分条件与必要条件求参数范围
例3.是否存在实数????,使“????+14????<0”是“????>2,或????1”的充分条件?若存在,求出????的取值范围;若不存在,请说明理由.
?
解:令????={????>2,或????1}.由????+14????<0,得????={????|????????4}.
当?????????时,即?????4≤?1,即????≥4,
此时????????4≤?1?????>2或????1,
∴当????≥4时,4????+????<0是????>2或????1的充分条件.
?
练习
变3.已知条件????:2?????2>?????+1,条件????:????>????,若????是????的必要条件,则实数????的取值范围是?若????是????的充分条件,则实数????的取值范围是?
?
解:由2?????2>?????+1,得????>1,
令????={????|????>1},????={????|????>????}.
若????是????的必要条件,则????>?????????>1.
即?????????,∴????≥1.
若????是????的充分条件,则????>1?????>????,
即?????????,∴????≤1.
?
练习
方法技巧:
利用充分条件与必要条件求参数的取值范围问题,常用集合法求解,其步骤如下:
(1)化简集合????={????|????(????)}和????={????|????(????)};
(2)根据????与????的关系(充分条件、必要条件等),得出集合????与????之间的包含关系;
(3)列出相关不等式(组)(也可借助数轴);
(4)化简,求出参数的取值范围.
?
课堂小结&作业
课堂小结:
(1)充分条件的判断;
(2)必要条件的判断.
作业:
(1)整理本节课的题型;
(2)课本P20的练习1~3题;
(3)课本P22的习题1.4的1、2.