在可导的前提下，"导数为零"是内点成为极值点的必要而不充分条件

于是有个口诀：在 A⇒B 里，起点是充分的，终点是必要的。 同一条箭头，A 是 B 的充分条件，B 是 A 的必要条件，两个名字只是站在箭头两端各看一次。

为什么必要条件的箭头是"结论 ⇒ 条件"，方向像是反的？（猜错了就把后半句补发给我。）

这个"反"的感觉正是最容易绕晕的地方，但它其实只是一次逆否变换。

"缺了它不行"直接写出来，本来就是反方向。 设条件为 A （导数为零），结论为 B （是极值点）。"没有 A 就不行"即：

¬A⇒¬B(导数不为零⇒不是极值点)

而一个命题和它的逆否命题等价，上式的逆否就是：

B⇒A(是极值点⇒导数为零)

所以"结论 ⇒ 条件"不是另起炉灶的定义，它就是"缺了条件，结论就不成立"的换个说法，两句话是同一个命题。

箭头为什么这样指？ 因为蕴含箭头总是从"需要的一方"指向"被需要的一方"：结论离不开条件，所以结论指向它所依赖的条件。而充分条件是"它自己就够推出结论"，所以箭头从条件出发：条件 ⇒ 结论。

你的困惑在于把"必要"和"充分"当成了互斥的两种标签，好像一个条件要么叫必要条件、要么叫充分条件。其实它们回答的是两个独立的问题，对应两个方向的箭头，要分别检验：

• 必要问的是："缺了它行不行？" 即：结论成立时，条件是否必须成立？（结论 ⇒ 条件）
• 充分问的是："光靠它够不够？" 即：条件成立时，能否保证结论成立？（条件 ⇒ 结论）

一个箭头验一次，两次结果互相独立，所以天然有四种组合：

生活例子："是动物"之于"是猫"。猫必须是动物，缺了不行 → 必要；但光是动物不够，还可能是狗 → 不充分。这就是"必要不充分"，一点也不矛盾。

回到极值点

设结论 B = "$x_0$ 是极值点"，条件 A = "$f'(x_0)=0$"（在可导前提下）。两个方向分别验：

• 验必要（B ⇒ A）：有极值 ⇒ 导数为零吗？是的，费马引理保证。✓ 所以"必要"——导数不为零的地方绝不可能有极值。
• 验充分（A ⇒ B）：导数为零 ⇒ 有极值吗？不是，$x^3$ 在 $0$ 处导数为零却没有极值。✗ 所以"不充分"。

一次真、一次假，合起来就是"必要而不充分"。

用集合的图看最直观：驻点是一个大圈，（可导的）极值点是里面的一个小圈。

• 小圈装在大圈里 ⇒ 想进小圈，必须先进大圈（必要）；
• 大圈里还有小圈以外的点，如 $x^3$ 的 $0$ ⇒ 进了大圈不保证进得了小圈（不充分）。

这正是"驻点只是候选/嫌疑犯"那句话的精确含义：用必要条件筛出一份名单（极值点一个都漏不掉），但名单上的人还要逐个再审（一阶、二阶判别法）才能定罪。

顺便看清另一侧

往条件上加码可以把它变成充分条件："$f'(x_0)=0$ 且 $f''(x_0)\neq 0$" 就能保证极值，是充分条件；但它又不必要了——$x^4$ 在 $0$ 处是极小值，却 $f''(0)=0$。你看，加完码之后变成了"充分不必要"，再次说明这两个方向是各算各的账。