特值定候选再回代验证

解题套路

要求的是这种东西：

正面走是把 $F$ 化简到能看出「与 $x$ 无关」的形态；化简走不动时，走这一条：

1. 取特值，列方程。 挑几个让 $F$ 最好算的 $x$（常取 $0$、$1$、$-1$，或让某个因式为零的那个值）， 记作 $x_{1},x_{2},\dots$。由「都等于同一个 $C$」得

   $$F(x_{1},k)=F(x_{2},k),\qquad F(x_{1},k)=F(x_{3},k),\ \dots$$

   注意 $C$ 在相减时自己消掉了——不必先猜 $C$ 是多少。

2. 解出候选。 上面每个方程都是只含 $k$ 的方程，解集取交。一个特值往往不够： 两个特值给出的方程常常留下两个根，再补第三个特值就能把多余的那个夹掉。

3. 回代验证。 对每一个候选 $k_{0}$，把它代回 $F(x,k_{0})$，对一般的 $x$ 化简一次， 看是不是真的与 $x$ 无关。通过的留下，通不过的划掉。

4. 报出那个常数。 随便代一个 $x$ 进去即可。

为什么两步都不能省

第 1–2 步给的是必要条件：「对所有 $x$ 成立」推出「对我挑的这几个 $x$ 成立」。 反过来不成立——这正是易错点「特例成立当成恒成立」说的事。所以只做前两步，答案可能多； 只做第 3 步（直接猜一个 $k$ 去验），答案可能少（漏掉别的解），而且没有说明为什么只能是它。

什么时候值得走这条路

• 回代之后会大幅塌缩：候选 $k$ 一旦确定，原式里常出现可约的公因式，验证反而比一般化简轻。
• 一般化简卡在根式或高次：含 $\sqrt{1+k^{2}}$、$|k|$ 的式子，带着字母 $k$ 讨论符号很累， 换成具体数字就都没有了。
• 只想快速排除：选择填空里，一个特值否掉一个选项，是最省的用法——但解答题不能只写这一半。

反过来用：否定

同一条逻辑反着使最锋利：要说明「不存在这样的 $k$」或「某条直线不合题意」， 举一个让 $F$ 取值不同的 $x$ 就够了，一行结束。