同一骨架 2012 年河南预赛 第 11 题 · P010597
分式递推的两个不动点可以作为坐标零点与极点:取到这两点距离的代数比,原递推就化成等比缩放;还原通项时必须同时验证原分母和换元分母。
一题还要求误差和的界,适合在精确通项之外另用收缩估计;另一题只求通项,重点是用整个候选的范围保证换元始终有效。
设 ,且
则数列 的通项公式是
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
两个不动点为 与 ;用其差的比值线性化分式递推。
先回想这道题的想法,再试试当前题。
令 。分式变换的换元 满足 ,且 。故 ,还原得到候选
为核其合法性,注意 ,候选分母至少为 ,并且 ,故原递推分母 ,换元所用 。该候选初值为 ,代入分式关系确满足递推,因而由递推唯一性就是所求通项。
通式给出 ,直接递推也得到这三项。验证候选的整个定义域后再认定换元适用于全部项,避免预先除以未排除的 。
用不动点交比求出候选后,应统一验证候选使原分母与换元分母始终合法。
需识别两个不动点构造分式换元,解等比递推后还原,并对候选全体项核原分母和换元分母。
同一骨架 2012 年河南预赛 第 11 题 · P010597
分式递推的两个不动点可以作为坐标零点与极点:取到这两点距离的代数比,原递推就化成等比缩放;还原通项时必须同时验证原分母和换元分母。
一题还要求误差和的界,适合在精确通项之外另用收缩估计;另一题只求通项,重点是用整个候选的范围保证换元始终有效。
已记下,谢谢!