设 ,且
证明:存在常数 ,使得对任意正整数 ,有 ;
证明:对任意正整数 ,有 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先用恰好满足同一递推的二次式比较;相邻差也有正系数二阶递推,再与一次式比较。
初值与递推保证各项正。取 ,有 。若前两项分别不超过 ,则
归纳得 。 令 ,由原递推得 ()。将相邻两式消去 ,得到
计算 ,故 。设 ,则 。于是 满足同一正系数递推,且 ,归纳得 对 成立。因此 对 成立; 时 。最终
第(1)问的比较项 确满足递推的等式形式。第(2)问若仅将 代入原式,不足以控制相邻差;这里另建立了差数列的精确递推,且从 两个正初值开始比较,未把 错当正数。
多阶递推比较需让比较数列也满足同一关系;处理差值时,可以先推导差数列自己的递推。
需要分别对项和相邻差建立比较递推;第二问不能直接用第一问粗估,差数列的初值及起点尤为关键。
已记下,谢谢!