充分条件与必要条件例析.pdfVIP

第一章集合与常用逻辑用语

1.4充分条件与必要条件

例1下列“若p，则q”形式题中，哪些命题中的p是q的充分条件？

（1）若四边形的两组对角分别相等，则这个四边形是平行四边形；

（2）若两个三角形的三边成比例，则这两个三角形相似；

（3）若四边形为菱形，则这个四边形对角线互相垂直；

（4）若x21，则x1；

（5）若ab，则acbc；

（6）若x，y为无理数，则xy为无理数.

解：（1）这是一条平行四边形的判定定理，pq，所以是q的充分条件.

（2）这是一条相似三角形的判定定理，pq所以p是q的充分条件.

（3）这是一条菱形的性质定理，pq，所以p是q的充分条件.

2

pq

（4）由于−11，但−11，，所p不是q的充分条件.

()

（5）由等式的性质知，pq，所以p是q的充分条件

（6）pq以p不是q的充分件.

为无理数，但22为有理数

22

例2下列“若p，则q”形式题中，哪些命题中的q是p的必要条件？

（1）若四边形为平行四边形，则这个四边形的两组对角分别相等；

（2）若两个三角形相似，则这两个三角形的三边成比例；

（3）若四边形的对角线互相垂直，则这个四边形是菱形；

（4）若x1，则x21；

（5）若acbc，则ab；

（6）若xy为无理数，则x，y为无理数.

解：（1）这是平行四边形的一条性质定理，pq，所以，q是p的必要条件.

（2）这是三角形相似的一条性质定理，pq，所以，q是p的必要条件.

（3）如图1.4-1，四边形ABCD的对角线互相垂直，但它不是菱形，pq，所以，q不

是p的必要条件.

（4）显然，pq，所以，q是p必要条件.

−1010pq

（5）由于()，但−11，，所以，q不是p的必要条件.

（6）由于12为无理数，但1，不全无理数，p所以，q不是p的

2

必要条件.

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

（1）p：四边形是正方形，q：四边形的对角线互相垂直且平分；

（2）p：两个三角形相似，q：两个三角形三边成比例

（3）p：xy0，q：x0，y0；

（4）p：x1是一元二次方程ax2+bx+c0的一个根q：a+b+c0a0）.

qp

解：（1）因为对角线互相垂直且平分的四边不一定是正方形（为什么以，

所以p不是q的充要条件.

（2）因为“若p，则q”是相似三角形的性质定理，“若q，则p”是相似三角形的判定定

理，所以它们均为真命题，即pq，所以p是q的充要条件.

（3）因为xy0时，，y0不一定成立（为什么），所以pq，所以p不是q

x0

的充要条件.

（4）因为“若p，则