易错点

任意与存在的量词读反

「对每个 nn 都存在 cnc_n」与「存在一个 cc 对每个 nn 都成立」是两回事——前者逐个 nn 各配一个,后者要一个通用的。

坑长什么样

题面:「对于每个 n∈N∗n\in\mathbf N^*,存在实数 cnc_n,使 …… 成等比数列」。

  • 对:对每个 nn 各配一个 cnc_n(下标 nn 就是在提示这一点),所以条件是「∀n\forall n,关于 cc 的方程有解」;
  • 错甲:读成「存在一个 cc,对所有 nn 都成立」——那要求一个通用的 cc,条件强得多,答案会小一截;
  • 错乙:读成「存在某个 nn 使方程有解」——那是把 ∀n\forall n 读成 ∃n\exists n,条件弱得多,答案会大一截。

两层量词的处理顺序

∀n ∃cn\forall n\ \exists c_n 的正确做法是由内向外:

  1. 固定 nn,把内层的 ∃cn\exists c_n 解掉,得到一个只含参数与 nn 的条件 P(n)P(n)(如 Δn≥0\Delta_n\ge0);
  2. 再让 P(n)P(n) 对所有 nn 成立,即对 nn 取交集。

反过来做(先对 nn 处理再管 cc)在数学上是另一个问题。

「对所有 n」怎么落地

得到 P(n)P(n) 之后,不能只验一两个 nn 就下结论。常见做法:

  • 逐个试小的 nn(n=1,2,3n=1,2,3)看哪些 nn 给出真约束;
  • 对大的 nn 统一估:证明 n≥Nn\ge N 时 P(n)P(n) 自动成立(放缩即可);
  • 两段合起来就是全部条件。真正卡住答案的往往只有一两个 nn,其余是自动满足的。

怎么防

  • 读题时把「对每个 / 对任意 / 存在 / 使得」全部圈出来,按出现顺序写成 ∀\forall、∃\exists 的串。
  • 看下标:cnc_n 带下标 nn 就说明它允许随 nn 变;若题面写的是 cc(无下标),那才是通用常数。
  • 收尾时回读一遍:我求出的范围,是「每个 nn 都能配到」还是「某个 nn 能配到」?

学它之前先会

共 1 条前置、最深 1 层。

共 8 道题考到本条。