1.4.1 充分条件与必要条件
来自高中数学
知识要点
一般地，“若$p$，则$q$”为真命题，是指由$p$通过推理可以得出结论$q$. 这时，我们就说，由$p$可以推出$q$，记作$p\Rightarrow q$，并且说，$p$是$q$的充分条件，$q$是$p$的必要条件.
如果“若$p$，则$q$”为假命题，那么由条件$p$不能推出结论$q$，记作$p\nRightarrow q$. 此时，我们就说$p$不是$q$的充分条件，$q$不是$p$的必要条件.
例题
例1
下列“若$p$，则$q$”形式的命题中，哪些命题中的$p$是$q$的充分条件？
（1）若四边形的两组对角分别相等，则这个四边形是平行四边形；
（2）若两个三角形的三边成比例，则这两个三角形相似；
（3）若四边形为菱形，则这个四边形的对角线互相垂直；
（4）若$x^2=1$，则$x=1$;
（5）若$a=b$，则$ac=bc$；
（6）若$x,y$为无理数，则$xy$为无理数.
例2
下列“若$p$，则$q$”形式的命题中，哪些命题中的$q$是$p$的必要条件？
（1）若四边形是平行四边形，则这个四边形的两组对角分别相等；
（2）若两三角形相似，则这两个三角形的三边成比例；
（3）若四边形的对角线互相垂直，则这个四边形是菱形；
（4）若$x=1$，则$x^2=1$;
（5）若$ac=bc$，则$a=b$；
（6）若$xy$为无理数，则$x,y$为无理数.
