同一骨架 2024 年吉林预赛 · P006521
两题都先从递推式中认出待求分式其实是相邻或隔项的差,使长和式化为少数端项。有限和的不等式随后由递推给出的几何界或相邻乘积关系控制,严格号还须核等号是否可能。
带指标权重时用离散分部求和保留尾项;隔项差则需特别合并最初几项。两者的界限方向不同,不能只看到相消就丢掉端项符号。
已知数列 中,,且
求证:
;
。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
递推式先给出每一步至多减半的估计;同时把 改写成相邻两项之差,带权和便可裂项。
先回想这道题的想法,再试试当前题。
由 及递推式可知所有 ,并且 。因此 ,从而
由归纳法得到
又由递推式
所以
两问均得证。
第一问在 时分别取等号;第二问中的严格性来自 ,最后的有限几何级数也严格小于其无穷和 。
分式递推既可通过分母下界获得几何衰减,也应检查“当前项减下一项”是否正好产生题目中的分式,以便裂项。
第一问得逐项减半后,第二问还需识别分式为相邻项差并作加权相消,才能利用前问的几何界。
同一骨架 2024 年吉林预赛 · P006521
两题都先从递推式中认出待求分式其实是相邻或隔项的差,使长和式化为少数端项。有限和的不等式随后由递推给出的几何界或相邻乘积关系控制,严格号还须核等号是否可能。
带指标权重时用离散分部求和保留尾项;隔项差则需特别合并最初几项。两者的界限方向不同,不能只看到相消就丢掉端项符号。
已记下,谢谢!