2006-天津卷理-21 解-裂项相消与放缩法证明级数不等式

本题导读

本题是一道代数综合压轴大题。核心在于处理高维积商型数列递推式。第一问通过累乘还原出通项数量关系，结合等比中项求参数；第二问构造商数列，利用数学归纳思想或不等式同向相乘证明商单调性；第三问利用第二问的结论对目标分式进行巧妙的裂项放缩，实现中间项的级数消元。

📌【题干】

Question

（2006年天津卷(理)） 已知数列 $\{x_n\}、\{y_n\}$ 满足 $x_1=x_2=1,y_1=y_2=2$，并且 $\frac{x_{n+1}}{x_n}=\lambda \frac{x_n}{x_{n-1}}$， $\frac{y_{n+1}}{y_n}\ge \lambda \frac{y_n}{y_{n-1}}$ ($\lambda$ 为非零参数， $n=2,3,4,\dots$).

(1) 若 $x_1,x_3,x_5$ 成等比数列，求参数 $\lambda$ 的值；

(2) 当 $\lambda >0$ 时，证明： $\frac{x_{n+1}}{y_{n+1}}\le \frac{x_n}{y_n}$ ($n\in {\mathbf{N}}^{\ast }$)；

(3) 当 $\lambda >1$ 时，证明： $\frac{x_1-y_1}{x_2-y_2}+\frac{x_2-y_2}{x_3-y_3}+\cdots +\frac{x_n-y_n}{x_{n+1}-y_{n+1}}<\frac{\lambda }{\lambda -1}$ ($n\in {\mathbf{N}}^{\ast }$).

🔍【思路分析】

破题导航

第一问：由 $\frac{x_{n+1}}{x_n}=\lambda \frac{x_n}{x_{n-1}}$ 知，数列 $\{x_n\}$ 的相邻项比值构成等比数列。令 $a_n=\frac{x_{n+1}}{x_n}$，则 $a_n=\lambda a_{n-1}$。利用累乘法可精确还原出 $x_n$ 的通项公式。进而算出 $x_1,x_3,x_5$ 的代数式，套用等比中项关系 $x_3^2=x_1{x}_5$ 求解 $\lambda$。 第二问：要证 $\frac{x_{n+1}}{y_{n+1}}\le \frac{x_n}{y_n}$，等价于证明 $\frac{x_{n+1}}{x_n}\le \frac{y_{n+1}}{y_n}$。利用已知递推关系进行累乘放缩，或通过递推构造直接证明单调性。 第三问：目标和式分母为 $x_{k+1}-y_{k+1}$。由于 $x_n$ 与 $y_n$ 的大小关系在第二问中可转化为不等关系，且 $\lambda >1$。需通过第二问的项比关系，对通项 $\frac{x_k-y_k}{x_{k+1}-y_{k+1}}$ 进行裂项放缩，使之转化为类似于 $A_k-A_{k+1}$ 的可消元结构，从而完成级数不等式的证明。

✅【答案】

Success

（1）$\lambda =1$

（2）见解析（证明 $\frac{x_{n+1}}{y_{n+1}}\le \frac{x_n}{y_n}$，$n\in {\mathbf{N}}^{\ast }$）

（3）见解析（证明 $\frac{x_1-y_1}{x_2-y_2}+\frac{x_2-y_2}{x_3-y_3}+\cdots +\frac{x_n-y_n}{x_{n+1}-y_{n+1}}<\frac{\lambda }{\lambda -1}$，$n\in {\mathbf{N}}^{\ast }$）

✍【详细解析】

Abstract

解：（1）令 $a_n=\frac{x_{n+1}}{x_n}$ ($n\ge 2$)。 由已知条件 $\frac{x_{n+1}}{x_n}=\lambda \frac{x_n}{x_{n-1}}$ 可得： $a_n=\lambda a_{n-1}$。 由于 $x_1=x_2=1$，故 $a_2=\frac{x_2}{x_1}=1$。 则数列 $\{a_n\}$ 是以 $a_2=1$ 为首项， $\lambda$ 为公比的等比数列。 由此可得通项： $\frac{x_{n+1}}{x_n}=a_n=a_2\cdot {\lambda }^{n-2}={\lambda }^{n-2}(n\ge 2)$

利用累乘法求解 $x_n$ 的各项： $x_3=x_2\cdot \frac{x_3}{x_2}=1\times {\lambda }^{2-2}=1$ $x_4=x_3\cdot \frac{x_4}{x_3}=1\times {\lambda }^{3-2}=\lambda$ $x_5=x_4\cdot \frac{x_5}{x_4}=\lambda \times {\lambda }^{4-2}={\lambda }^3$

因为 $x_1,x_3,x_5$ 成等比数列，根据等比中项的定义： $x_3^2=x_1\cdot x_5⟹1^2=1\times {\lambda }^3⟹{\lambda }^3=1$ 由于 $\lambda$ 为非零实数参数，解得： $\lambda =1$

（2）证明：要证 $\frac{x_{n+1}}{y_{n+1}}\le \frac{x_n}{y_n}$，且由项数皆为正数，两边调换位置，等价于证明： $\frac{x_{n+1}}{x_n}\le \frac{y_{n+1}}{y_n}(n\in {\mathbf{N}}^{\ast })$

当 $n=1$ 时， $\frac{x_2}{x_1}=\frac{1}{1}=1$， $\frac{y_2}{y_1}=\frac{2}{2}=1$，此时 $\frac{x_2}{x_1}\le \frac{y_2}{y_1}$ 成立（取等号）。 当 $n\ge 2$ 时，由已知递推式： $\frac{x_{k+1}}{x_k}=\lambda \frac{x_k}{x_{k-1}},\frac{y_{k+1}}{y_k}\ge \lambda \frac{y_k}{y_{k-1}}$ 类似（1）中对 $\{x_n\}$ 的累乘处理，对 $\{y_n\}$ 的不等式进行连续级联累乘（由于 $\lambda >0$，项比皆正，不等号方向保持不变）： $\frac{y_{n+1}}{y_n}\ge \frac{y_n}{y_{n-1}}\cdot \lambda \ge \frac{y_{n-1}}{y_{n-2}}\cdot {\lambda }^2\ge \cdots \ge \frac{y_2}{y_1}\cdot {\lambda }^{n-1}$ 因为 $\frac{y_2}{y_1}=1$，所以： $\frac{y_{n+1}}{y_n}\ge 1\times {\lambda }^{n-1}={\lambda }^{n-1}(n\ge 2)$

而由（1）问结果可知，当 $n\ge 2$ 时，恒有 $\frac{x_{n+1}}{x_n}={\lambda }^{n-2}$。 比对两者的通项上界： 由于 $\lambda >0$，且当 $n\ge 2$ 时 $n-1>n-2$，

• 若 $\lambda \ge 1$，则 ${\lambda }^{n-1}\ge {\lambda }^{n-2}⟹\frac{y_{n+1}}{y_n}\ge {\lambda }^{n-1}\ge {\lambda }^{n-2}=\frac{x_{n+1}}{x_n}$；
• 若 $0<\lambda <1$，直接通过对原始递推式商形式构筑： 设 $b_n=\frac{x_{n+1}/x_n}{y_{n+1}/y_n}$。则由已知关系相除可得： $b_n=\frac{\lambda \frac{x_n}{x_{n-1}}}{\frac{y_{n+1}}{y_n}}\le \frac{\lambda \frac{x_n}{x_{n-1}}}{\lambda \frac{y_n}{y_{n-1}}}=\frac{x_n/x_{n-1}}{y_n/y_{n-1}}=b_{n-1}$ 由此可知， 数列 $\{b_n\}$ 是一个单调递减数列。 因为 $b_1=\frac{x_2/x_1}{y_2/y_1}=\frac{1}{1}=1$，所以对任意 $n\in {\mathbf{N}}^{\ast }$，恒有： $b_n\le b_1=1⟹\frac{x_{n+1}}{x_n}\le \frac{y_{n+1}}{y_n}$ 将此式变形移项，即得： $\frac{x_{n+1}}{y_{n+1}}\le \frac{x_n}{y_n}$。 命题获证。

（3）证明：由（2）可知，对任意 $n\in {\mathbf{N}}^{\ast }$，均有 $\frac{x_n}{y_n}\ge \frac{x_{n+1}}{y_{n+1}}$ 成立。 且因为 $x_1=1,y_1=2⟹\frac{x_1}{y_1}=\frac{1}{2}$。 故可知对任意 $n$， $\frac{x_n}{y_n}\le \frac{1}{2}<1⟹x_n<y_n$，即 $x_n-y_n<0$。 同理 $x_{n+1}-y_{n+1}<0$。 目标和式的每一项分式 $\frac{x_k-y_k}{x_{k+1}-y_{k+1}}$ 均为正数。

由（2）中的核心结论 $\frac{x_{k+1}}{x_k}\le \frac{y_{k+1}}{y_k}⟹x_{k+1}{y}_k\le x_k{y}_{k+1}$。 对通项进行代数放缩变形： $x_{k+1}-y_{k+1}=x_{k+1}-y_{k+1}+\frac{x_{k+1}{y}_k}{\lambda x_k}-\frac{x_{k+1}{y}_k}{\lambda x_k}\text{ (此法繁琐, 采用项比直代法)}$ 由 $x_{k+1}={\lambda }^{k-2}{x}_k$ 且 $y_{k+1}\ge {\lambda }^{k-1}{y}_k⟹-y_{k+1}\le -{\lambda }^{k-1}{y}_k$。 则有： $y_{k+1}-x_{k+1}\ge {\lambda }^{k-1}{y}_k-{\lambda }^{k-2}{x}_k={\lambda }^{k-2}(\lambda y_k-x_k)$ 因为 $\lambda >1$，所以 $\lambda y_k-x_k>y_k-x_k$。

最简捷的统一证明路径： 由（2）得 $\frac{x_{k+1}}{y_{k+1}}\le \frac{x_k}{y_k}⟹x_{k+1}{y}_k\le x_k{y}_{k+1}$。 同时，当 $\lambda >1$ 时，由（1）知 $\frac{x_{k+1}}{x_k}={\lambda }^{k-2}$， $\frac{y_{k+1}}{y_k}\ge {\lambda }^{k-1}>{\lambda }^{k-2}=\frac{x_{k+1}}{x_k}$。 所以： $\frac{y_{k+1}}{y_k}>\lambda \frac{x_{k+1}}{x_k}$ 并不对，应该是： $\frac{y_{k+1}-x_{k+1}}{y_k-x_k}\text{ 的关系。}$ 直接对通项变形： $\frac{x_k-y_k}{x_{k+1}-y_{k+1}}=\frac{y_k-x_k}{y_{k+1}-x_{k+1}}$ 因为 $y_{k+1}\ge \lambda \frac{y_k}{y_{k-1}}{y}_k$，由（2）中不等式 $\frac{y_{k+1}}{y_k}\ge \lambda \frac{x_{k+1}}{x_k}$ 无法直接用。 重新对已知条件变形： $\frac{y_{k+1}}{y_k}\ge \lambda \frac{y_k}{y_{k-1}}$。 由于 $y_2/y_1=1$，且对于 $k\ge 2$： $y_{k+1}-x_{k+1}\ge \lambda (y_k-x_k)$ 形式？ 设 $d_k=y_k-x_k>0$。 当 $k\ge 2$ 时： $y_{k+1}\ge \lambda \frac{y_k^2}{y_{k-1}},x_{k+1}=\lambda \frac{x_k^2}{x_{k-1}}$ 由于难以直接作差，利用第二问结论： $\frac{x_{k+1}}{x_k}\le \frac{y_{k+1}}{y_n}$ 且其商数列单调递减。 由 $b_k=\frac{x_{k+1}/x_k}{y_{k+1}/y_k}\le 1⟹x_{k+1}{y}_k\le x_k{y}_{k+1}$。 考虑分式： $\frac{y_k-x_k}{y_{k+1}-x_{k+1}}-\frac{1}{\lambda }\frac{y_{k-1}-x_{k-1}}{y_k-x_k}\dots$ 标准的高考裂项放缩技巧为： $\frac{y_k-x_k}{y_{k+1}-x_{k+1}}<\frac{1}{\lambda -1}\left(\frac{y_{k-1}-x_{k-1}}{y_k-x_k}-\dots \right)\text{ 或直接利用等比数列放缩：}$ 因为对任意 $k\ge 2$， $\frac{y_{k+1}}{y_k}\ge {\lambda }^{k-1}$， $x_{k+1}={\lambda }^{k-2}{x}_k$。 所以： $y_{k+1}-x_{k+1}\ge {\lambda }^{k-1}{y}_k-{\lambda }^{k-2}{x}_k={\lambda }^{k-2}(\lambda y_k-x_k)$ 因为 $\lambda >1$，故 $\lambda y_k-x_k=\lambda (y_k-x_k)+(\lambda -1)x_k>\lambda (y_k-x_k)$。 由此可得递推不等式： $y_{k+1}-x_{k+1}>{\lambda }^{k-2}\cdot \lambda (y_k-x_k)={\lambda }^{k-1}(y_k-x_k)$ 当 $k=1$ 时， $y_2-x_2=2-1=1$。 $y_1-x_1=2-1=1$。 $1\ge {\lambda }^0(1)$ 成立。 因此，对于任意 $k\ge 1$，通过连续迭代可得： $y_{k+1}-x_{k+1}>\lambda (y_k-x_k)(k\ge 2)$ 从而其倒数项比值满足： $\frac{y_k-x_k}{y_{k+1}-x_{k+1}}<\frac{1}{\lambda }(k\ge 2)$ 对于第一项 $k=1$： $\frac{y_1-x_1}{y_2-x_2}=\frac{2-1}{2-1}=1$ 对于后面各项，由于 $y_{k+1}-x_{k+1}>\lambda (y_k-x_k)$，则有： $\frac{y_k-x_k}{y_{k+1}-x_{k+1}}<\frac{1}{\lambda }\cdot \frac{y_{k-1}-x_{k-1}}{y_k-x_k}\text{ 并不准确。}$ 准确的等比放缩： 由 $y_{k+1}-x_{k+1}>\lambda (y_k-x_k)$ 可知， 数列 $\{y_n-x_n\}$ 从第二项起， 增长速度超过公比为 $\lambda$ 的等比数列。 即： $y_{k+1}-x_{k+1}>{\lambda }^{k-1}(y_2-x_2)={\lambda }^{k-1}\cdot 1={\lambda }^{k-1}$。 所以通项满足放缩控制： $\frac{x_k-y_k}{x_{k+1}-y_{k+1}}=\frac{y_k-x_k}{y_{k+1}-x_{k+1}}<\frac{y_k-x_k}{{\lambda }^{k-1}}$ 由于 $y_k-x_k$ 无法直接消除， 重新采用标准的级数等比放缩通项法： 根据前面的精确推导： $\frac{y_{k+1}-x_{k+1}}{y_k-x_k}>\lambda$ 严格成立（当 $k\ge 2$ 时）。 令 $T_k=\frac{y_k-x_k}{y_{k+1}-x_{k+1}}$。则当 $k\ge 2$ 时， $T_k<\frac{1}{\lambda }$。 且容易推导得： $T_k<{\left(\frac{1}{\lambda }\right)}^{k-1}{T}_1={\left(\frac{1}{\lambda }\right)}^{k-1}\cdot 1=\frac{1}{{\lambda }^{k-1}}$。 因此， 整个目标和式可以被一个标准的无穷等比级数强行放大覆盖： ${\sum }_{k=1}^n\frac{x_k-y_k}{x_{k+1}-y_{k+1}}=1+T_2+T_3+\cdots +T_n$ $<1+\frac{1}{\lambda }+\frac{1}{{\lambda }^2}+\cdots +\frac{1}{{\lambda }^{n-1}}$ 由于 $\lambda >1⟹0<\frac{1}{\lambda }<1$，直接套用等比数列前 $n$ 项和公式进行上限放大： ${\sum }_{k=1}^n\frac{x_k-y_k}{x_{k+1}-y_{k+1}}<\frac{1\cdot \left[1-{\left(\frac{1}{\lambda }\right)}^n\right]}{1-\frac{1}{\lambda }}<\frac{1}{1-\frac{1}{\lambda }}=\frac{\lambda }{\lambda -1}$ 原不等式获证。

💡【考点归纳与避坑指南】

Danger

• 核心考点：双重递推数列的通项提取、商数列单调性的递推逻辑链证明、无穷等比级数上界放缩法。
• 核心方法：商式换元法、等比级数放大法。
• 避坑指南：
• 第三问中，千万不要盲目去进行复杂的代数通分或裂项。通过第二问求出的项比关系，敏锐发现通项比值 $T_k<\frac{1}{\lambda }$，从而将问题转化为标准的等比数列求和放缩，是攻克这类压轴大题的最佳捷径。

📖【试题探源与推广】

Tip

1. 试题探源
本题源于递推数列与不等式证明的交汇，核心是”比商数列”$\frac{x_{n+1}}{x_n}$的等比结构，考查累乘法求通项、单调性比较与裂项放缩，是天津卷数列压轴题的典型风格。

2. 结论推广
一般地，若$\frac{x_{n+1}}{x_n}=\lambda \frac{x_n}{x_{n-1}}$、$\frac{y_{n+1}}{y_n}\ge \lambda \frac{y_n}{y_{n-1}}$且初值满足$\frac{x_2}{x_1}\le \frac{y_2}{y_1}$，则$\left\{\frac{x_n}{y_n}\right\}$单调不增；当$\lambda >1$时，${\sum }_{k=1}^n\frac{x_k-y_k}{x_{k+1}-y_{k+1}}<\frac{\lambda }{\lambda -1}$仍成立。

3. 方法推广
”比商构造$b_n=\frac{x_{n+1}/x_n}{y_{n+1}/y_n}$判单调”是处理分式递推比较的通法；第三问的”差数列增长受控于公比$\lambda$，再用等比级数放大求和”是数列不等式放缩的经典套路，可迁移至形如$\sum \frac{a_k}{a_{k+1}}$的求和估计问题。

4. 考查背景
本题以等比数列为背景，融合递推、单调性、放缩求和，体现”由特殊到一般、由通项到求和”的数列研究主线，考查运算求解与逻辑推理素养，是高考数列与不等式综合题的典型范本。

🔗【关联脉络】

Multi column

知识锚点 (Nodes)

• 19.03 数列通项公式求法全攻略
• 19.02 等比数列全总结
• 03.01 不等式解法体系

类题演练 (Links)

• 2007-广东卷理-21 解-裂项相消法求
• 2008-江西文-19 解-等差等比裂项求和
• 2013-广东卷文-19 解-数列递推与裂项