化归为解集的包含关系

解题套路

1. 各写各的解集：$A=\{x\mid p(x)\}$，$B=\{x\mid q(x)\}$。解三角方程、不等式时通解要写全，一支都不能漏。

2. 比包含，直接对号：

   集合关系	$p$ 是 $q$ 的…
   $A\subsetneq B$	充分不必要条件
   $B\subsetneq A$	必要不充分条件
   $A=B$	充要条件
   互不包含	既不充分也不必要条件

3. 不确定包含关系时找具体元素：想证 $A\not\subseteq B$，只要举出一个在 $A$ 里不在 $B$ 里的元素——这与定义法的「举反例」是同一件事，只是换了说法。

为什么它比定义法稳

「谁充分谁必要」是这类题最高频的说反点，因为两个词都抽象。换成集合之后，判断变成谁装得下谁——这是看得见的事实，几乎说不反。口诀是小范围推大范围：范围小的那个是充分条件（条件更苛刻，所以推得动），范围大的那个是必要条件。

它的适用边界

• 解集写得出来才用得上：$p$、$q$ 都是关于同一个变量的条件时最顺手。
• $p$、$q$ 讲的是不同对象（如「四边形是菱形」与「对角线互相垂直」）时，解集不好写，回到定义法逐向推更快。
• 参数题反着用：题目给「$p$ 是 $q$ 的充分条件，求参数范围」，就把它翻成 $A\subseteq B$ 再解不等式——这时端点取不取等要单独验。