同一骨架 2023 年江西预赛 · P006722
两题把代数递推整理成因式后,都依靠正项条件排除另一支,才能得到简单且可归纳的通项。前缀和恒等式的作差或原递推的因式分解只是准备步骤,真正决定分支的是正性。
一个排除恒为正的因子为零后获得显式增量,另一个把前缀恒等式作差并结合归纳值排除负根;第二问还要另处理正整数的顺序。
已知正数数列 满足对任意 ,
则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把 与 的等式相减,三次项会约去一个正因子,得到可归纳的二次方程。
先回想这道题的想法,再试试当前题。
记 。当 时 ,由 得 。 对 ,两式相减得
故
若已知 对 成立,则 ,于是
因 ,只能有 。归纳得到
代入 ,恒等式化为 ,确实成立。
“前 项恒等式”通常应与前一阶相减;正性条件常用于排除所得代数方程的另一根。
相邻n式作差消去总和,再借正性得到二次关系,以a_n=n归纳验证时另一根为负被排除,是常见部分和递推。
同一骨架 2023 年江西预赛 · P006722
两题把代数递推整理成因式后,都依靠正项条件排除另一支,才能得到简单且可归纳的通项。前缀和恒等式的作差或原递推的因式分解只是准备步骤,真正决定分支的是正性。
一个排除恒为正的因子为零后获得显式增量,另一个把前缀恒等式作差并结合归纳值排除负根;第二问还要另处理正整数的顺序。
已记下,谢谢!