已知数列 满足
证明:对一切 ,有
;
。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
屏障归纳:若映射递增且 、,初项夹在两者之间,则以后始终被夹住。
想法从哪来:递推的增量是正数,单调性很快得到,但“增长却始终小于一”不能靠单调本身证明。先猜一条接近常数的有理上界,用归纳让它覆盖整个递推;同理,目标下界可先换成稍强但更适合递推的有理下界。分母含n平方,试以n除以一次式作屏障,代回后差通常会大幅约分。这里先证明递推映射在正半轴递增,就能把当前项的上下界传到下一项,再比较屏障自身的前后关系。最终下界与题目要求再作一次差,正数分子给出严格性,初项恰在屏障上也不影响最后的严格结论。
构造两条随指标变化的有理界,分别用递推保持住,而不直接猜极限。
记 ,在正半轴严格递增。设 ,则 。直接计算得 ,且 。归纳得 ,且从第二项起两侧严格。因此 ,由原递推 ;又 ,第一问成立。最后 ,故 ,第二问成立。
两条界首项相等不妨碍所求严格下界,因为 本身已严格大于目标。严格递增直接由正增量给出,而非仅凭映射递增;上界始终小于一。
非线性递推可寻找可归纳的指标相关上下屏障,先核初值再核每步严格余量。
非线性递推的增量为正,但统一上界和较锐下界需构造两条指标相关屏障,并核每步严格余量。
已记下,谢谢!