数列不等式与放缩法

为什么成立? 因为 n(n−1) < n²(分母变小),所以 1/[n(n−1)] > 1/n²(分数变大)——这就把 1/n² 放大了。而放大后的 1/[n(n−1)] 恰好能裂项成 1/(n−1) − 1/n,累加时中间全部相消,只剩首尾两项。

再补上第 1 项:1/1² + (1 − 1/n) = 2 − 1/n < 2。这就证明了 Σ1/n² < 2。这是放缩法的「祖师爷」例子——放大到能裂项、能相消、能求和。

⚠ 这个放缩从 n ≥ 2 才成立(n=1 时 1/[n(n−1)] 分母为 0)。所以第 1 项 1/1²=1 必须单独保留,不能一起放缩。

裂项放缩的威力全在相消:把每一项写成「前一个 − 后一个」的差,累加时后一个刚好被下一项的前一个抵消,像多米诺一样倒下,只剩最前和最后。常见裂项模型:

⚠ 裂项后系数别漏!比如 1/[(2n−1)(2n+1)] 裂开要乘 ½,否则和会算成 2 倍。相消也要看清:是隔一项消,还是相邻消,写出前 3 项和后 2 项验证一下。

当每一项能被放大/缩小成等比数列时,直接套等比求和公式 Sₙ = a₁(1−qⁿ)/(1−q)。这类放缩的关键是找到一个公比 < 1 的等比上界。经典例:

例: 证 Σ(k=1→n) 1/(2ᵏ−1) < 2。当 k≥2 时,2ᵏ−1 ≥ 2ᵏ⁻¹(因为 2ᵏ−1 ≥ 2ᵏ/2=2ᵏ⁻¹),所以 1/(2ᵏ−1) ≤ 1/2ᵏ⁻¹。首项 k=1 保留(=1),其余放缩:1 + Σ(k=2→n)1/2ᵏ⁻¹ = 1 + (½+¼+…) < 1 + 1 = 2。

⚠ 等比放缩要保证公比 < 1(否则求和发散,卡不住)。放大方向:分母缩小→分数放大。找上界时把分母压成 2 的幂最省事。

放缩题的本质是模式识别——看到某种项的形状,就往对应的模型上套。背熟这几个,压轴题的放缩方向就有了。

⚠ 同一个 1/n² 既能放大(用 n(n−1))证上界,又能缩小(用 n(n+1))证下界。方向由题目要证「<」还是「>」决定,别背死一个方向。

放缩不等式常常不能从第 1 项就开始放,因为放大后可能过头(上界卡不住),或者放缩式在小 n 时不成立(如 1/[n(n−1)] 要 n≥2)。策略是:前几项照原样保留(精确),从第 k 项起才放缩。

为什么有效? 前几项本身值大,若一起放大会把上界撑爆;保留它们的精确值,只对「后面越来越小的尾巴」放缩,既合法(放缩式在大 n 成立)又不过头(上界更紧)。

⚠ 判断从第几项开始:① 看放缩式的成立条件(如 n≥2);② 看放大后会不会超过目标定值——若从第 1 项放就 > 定值,说明要多保留几项。

放缩最容易翻车的地方是方向和力度。三条铁律:

铁律一:方向要与目标一致

证「和 < M」→ 每项放大(aₙ ≤ bₙ,则 Σaₙ ≤ Σbₙ ≤ M);证「和 > M」→ 每项缩小。方向反了,不等号就废了。

铁律二:方向要一致(不能一半放大一半缩小)

同一个和里,所有项朝同一方向放缩,才能保证 Σ 的不等号成立。混着放,加起来大小关系就乱了。

铁律三:不能放过头

放大要放到「刚好能求和」,但不能放得太大以致超过目标定值(否则证出 Σ < 更大的数,卡不住 M)。太松的上界证不出结论——这就是为什么要保留前几项。

⚠ 放过头 = 上界比目标还大 → 结论证不出。放不够 = 求不了和。放缩的艺术是「恰好放到能求和,又不超过目标」。

放缩证「和 < 定值」背后的直觉是:部分和 Sₙ 单调递增(每项为正)但有上界,于是越加越接近某个天花板,永远碰不到。放缩就是找到这个天花板。

对 Σ1/n²:S₁=1,S₂=1.25,S₃≈1.361,…越来越接近 π²/6≈1.6449,始终 < 2。放缩给的上界 2 虽然不紧,但足以证明「有界」这件事。

⚠ 部分和逼近定值 ≠ 部分和等于定值。放缩证的是「小于」,不是「等于」。别把上界当成和的精确值。

有些题要证 M₁ < Σaₙ < M₂,得两个方向都放缩:向上放大证 < M₂,向下缩小证 > M₁。这需要为同一项找两个不同的裂项模型。

对 Σ(k=2→n)1/k² 夹逼: 下界用 n(n+1) 缩小得 > ½−1/(n+1);上界用 n(n−1) 放大得 < 1−1/n。两头一夹,和被锁在一个区间里。

⚠ 上下界要用不同的放缩式(一个放大、一个缩小)。别用同一个式子想证两个方向——那不可能。

题型A — 裂项放缩证「和 < 定值」

触发信号:求和求不出精确值,项形如 1/n²、1/[n(n+k)]、1/(2n−1)²,要证「Σ < 某常数」。

标准动作:把每项放大成能裂项的差 1/(n−1)−1/n → 累加相消只剩首尾 → 得上界 → < 目标。必要时保留前几项。

示例(带解):证 Σ(k=1→n)1/k² < 2。① 首项 1/1²=1 保留。② k≥2 时 1/k² < 1/[k(k−1)] = 1/(k−1)−1/k。③ Σ(k=2→n) = (1−½)+(½−⅓)+…+(1/(n−1)−1/n) = 1−1/n。④ 合计 < 1+(1−1/n) = 2−1/n < 2。✔

陷阱:第 1 项不保留就放缩(n=1 时式子非法);裂项相消没写清首尾;放成 1/n 过头。

题型B — 等比放缩证上界

触发信号:项里有 2ⁿ、3ⁿ 之类指数,如 1/(2ⁿ−1)、n/2ⁿ,要证「Σ < 定值」。

标准动作:把项放大成公比 < 1 的等比(分母压成 2 的幂)→ 用等比求和 Sₙ=a₁(1−qⁿ)/(1−q) < a₁/(1−q) → 得界。

示例(带解):证 Σ(k=1→n)1/(2ᵏ−1) < 2。① k=1 项 =1 保留。② k≥2:2ᵏ−1 ≥ 2ᵏ⁻¹,故 1/(2ᵏ−1) ≤ 1/2ᵏ⁻¹。③ Σ(k=2→n)1/2ᵏ⁻¹ = ½+¼+…+1/2ⁿ⁻¹ < 1(等比和)。④ 合计 < 1+1 = 2。✔

陷阱:公比 ≥ 1 时求和发散卡不住;首项没保留;放大方向搞反(分母该缩小)。

题型C — 保留前几项再放缩

触发信号:直接从第 1 项放缩会超过目标定值,或放缩式要求 n≥某值才成立。

标准动作:前 k 项写精确值相加,从第 k+1 项起放缩求和,两部分相加得总上界,再比目标。

示例(带解):证 Σ(k=1→n)1/k² < 7/4。若全放缩上界只能到 2,不够紧。保留前 2 项:1+1/4=5/4;从 k=3 起 Σ1/[k(k−1)]=1/2−1/n < 1/2;合计 < 5/4+1/2 = 7/4。✔ 多保留一项,界更紧。

陷阱:保留项数不够,上界仍超目标;保留部分算错;放缩起点写错(从 k=3 却按 k=2 算)。

题型D — 双向夹逼(证区间)

触发信号:要证 M₁ < Σ < M₂,同时给出上下两个界。

标准动作:下界:每项缩小成 1/[n(n+1)]=1/n−1/(n+1) 累加;上界:每项放大成 1/[n(n−1)] 累加。两次放缩方向相反。

示例(带解):证 ½ < Σ(k=2→n)1/k² < 1(n≥2)。下界:1/k² > 1/[k(k+1)]=1/k−1/(k+1),Σ=½−1/(n+1) …(下界略调);上界:1/k² < 1/[k(k−1)],Σ=½−1/n < ½。两头一夹,和被锁住。

陷阱:上下界用了同一个放缩式;方向弄反(下界却放大);区间端点算错。

题型E — 构造 + 放缩(先造中间量)

触发信号:项不能直接裂项,需要先构造一个可放缩的中间表达式(如利用 √ 的有理化、对数不等式 ln(1+x)<x)。

标准动作:先造出便于放缩的形式(有理化、拆项、配对),再套裂项或等比放缩,最后累加求界。

示例(带解):证 Σ(k=1→n)1/√k > 2(√(n+1)−1)。构造:1/√k > 2/(√k+√(k+1)) = 2(√(k+1)−√k)(有理化)。Σ 累加相消 = 2(√(n+1)−1)。✔ 通过构造出「裂项差」实现放缩。

陷阱:构造方向错(该缩小却放大);有理化算错;相消后首尾项漏。

① 放过头导致不等号反向:把 1/n² 放成 1/n(太狠),上界成了调和级数(发散),证「<2」直接失败。放缩要「刚好能求和,不超目标」。

② 裂项后没有完全相消:写出前 3 项和后 2 项,确认中间真的抵消了,别以为一定只剩首尾——隔项裂项(如 (2n−1)(2n+1))剩的是两头各一项。

③ 该从第 2 项才开始放缩,却从第 1 项放:1/[n(n−1)] 要 n≥2,第 1 项必须单独保留,否则分母为 0 或不成立。

④ 放大与缩小方向要与目标一致:证「<」用放大,证「>」用缩小。方向反了整个证明作废。

⑤ 裂项系数漏乘:1/[(2n−1)(2n+1)] 裂开要乘 ½,忘了和会大一倍。

⑥ 把上界当成精确和:放缩证的是不等式,2 是上界不是 Σ1/n² 的值(真值 π²/6)。

⑦ 同一个和里混着放大和缩小:所有项必须朝同一方向放缩,不等号才成立。

⑧ 等比放缩公比 ≥ 1:放缩后的等比若公比 ≥1 则求和发散,卡不住,必须公比 < 1。

⑨ 相消后忘写「< 目标」的最后一步:算出上界后要明确写出「上界 < 目标定值」才算证完。

① 放缩的本质是「用可求和的数列夹住不可求和的数列」: Σ1/n² 没有初等的部分和公式,但 Σ[1/(n−1)−1/n] 有(=1−1/n)。放缩就是在「不可求和的世界」和「可求和的世界」之间架一座不等号的桥。想清楚这一点,你找放缩式时就会主动去找「能裂项/能等比」的邻居。

② 上界的「松紧」可以调: 保留的精确项越多,放缩起点越靠后,上界越紧。证 <2 保留 1 项就够,证 <7/4 要保留 2 项,证 <π²/6+ε 可能要保留很多项。上界紧不紧,由你保留几项、放成什么模型决定——这是一个可调的旋钮。

③ 裂项是「离散版的积分」: 1/(n−1)−1/n 相消,和积分 ∫f′=f(b)−f(a) 的相消一模一样。1/√n > 2(√(n+1)−√n) 对应 ∫1/(2√x)。会用「离散微积分」的眼光看裂项,放缩式就能自己造出来。

④ 放缩方向的选择 = 你想证的方向: 同一个 1/n²,放大(n(n−1))得上界、缩小(n(n+1))得下界。看题目要「<」还是「>」,反推该放大还是缩小,再反推该用哪个裂项模型。这是一条从「目标」倒推「手段」的思维链。

⑤ 单调有界是放缩背后的理论保证: 部分和为正 → 单调递增;放缩给出上界 → 有界;单调有界必收敛。放缩本质是在手工证明数列收敛——理解这层,压轴题的放缩就不是碰运气,而是有方向的构造。