已知数列 满足 为正整数,且
如果 ,则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
只问前三项之和,所需的递推路径很短,所以先按初项奇偶分支。
初项为奇数时下一项必为偶数,路径立即确定;初项为偶数时还须再分第二项的奇偶。各分支都变成关于初项的一次方程,再反查正整数及奇偶条件。
按 及其后一项的奇偶性分类。 若 为奇数,则 为偶数,,因而
解得 ,确为正奇数。 若 为偶数且 为偶数,则 ,得 ,不是整数。 若 为偶数而 为奇数,则 ,得 ,即 ,仍不是整数。 三类互斥且穷尽。将 代回,前三项为 ,和为 。 所以 。
只需追踪前三项,不涉及数列的长期行为;对初项为偶数的分支还要看第二项奇偶,不能把所有偶数首项合成同一公式。
只追踪前三项即可,但偶数首项还要按下一项奇偶细分;逐类检查正整性,不能用数列长期行为替代有限分类。
已记下,谢谢!