1.4.2 充要条件
来自高中数学
知识要点
如果“若$p$，则$q$”和它的逆命题“若$q$，则$p$”均为真命题，即既有$p\Rightarrow q$，又有$q\Rightarrow p$，就记作$p\Leftrightarrow q$. 此时，$p$既是$q$的充分条件，也是$q$的必要条件，我们说$p$是$q$的充分必要条件，简称为充要条件. 显然，如果$p$是$q$的充要条件，那么$q$也是$p$的充分必要条件，即互为充要条件.
例题
例1
下列各题中，哪些$p$是$q$的充要条件？
（1）$p$：四边形是正方形，$q$：四边形的对角线垂直且平分；
（2）$p$：四边形是正方形，$q$：四边形的对角线垂直且平分；
（3）$p$：四边形是正方形，$q$：四边形的对角线垂直且平分；
（4）$p$：四边形是正方形，$q$：四边形的对角线垂直且平分.
例2
下列“若$p$，则$q$”形式的命题中，哪些命题中的$q$是$p$的必要条件？
（1）若四边形是平行四边形，则这个四边形的两组对角分别相等；
（2）若两三角形相似，则这两个三角形的三边成比例；
（3）若四边形的对角线互相垂直，则这个四边形是菱形；
（4）若$x=1$，则$x^2=1$;
（5）若$ac=bc$，则$a=b$；
（6）若$xy$为无理数，则$x,y$为无理数.
