关于差分递推的一个习题
例A 设数列[latex]\{a_n\}[/latex]和[latex]\{b_n\}[/latex]满足条件[latex]a_0=1,b_0=0[/latex]且
[latex]\left\{\begin{array}{c}a_{n+1}=7a_n+6b_n-3\\b_{n+1}=8a_n+7b_n-4\end{array}\right.,n=0,1,2,\cdots[/latex]
试证：[latex]a_n(n=0,1,2,\cdots)[/latex]是完全平方数。
返回小木虫查看更多
今日热帖
京公网安备 11010802022153号
得到an从第三项开始的递推公式了：a[n+1]=(a[n]*4-a[n-1])^2;
验证了a[3]到a[6]都是对的。
使用Z变换即可解出an、bn与n的关系表达式，由此决定问题命题的成立与否。
直接计算可以得到：
[latex]\left\{\begin{array}{c}a_0=1\\b_0=0\end{array}\right.\left\{\begin{array}{c}a_1=4\\b_1=4\end{array}\right.\left\{\begin{array}{c}a_2=49\\b_2=56\end{array}\right.\left\{\begin{array}{c}a_3=676\\b_3=780\end{array}\right.[/latex]
但是，[latex]a_3\neq(4a_2-a_1)^2(since 676=26^2\neq(4\times 49-4)^2)[/latex]，这表明2楼给出的递推公式不正确。……
26=7*4-2
97=26*4-7
362=97*4-26
还有
7=2*4-1
你的意思是：
[latex]a_0=1^2,a_1=2^2,a_{n+1}=(4\sqrt{a_n}-\sqrt{a_{n-1}})^2(n\geq 1)[/latex]
[latex]a_2=49=7^2=(4\times 2-1)^2[/latex]
[latex]a_3=676=26^2=(4\times 7-2)^2[/latex]
[latex]a_4=9409=97^2=(4\times 26-7)^2[/latex]
[latex]a_5=131044=362^2=(4\times 97-26)^2[/latex]
[latex]a_6=1825201=1351^2=(4\times 362-97)^2[/latex]
[latex]a_7=25421764=5042^2=(4\times1351-362)^2[/latex]
……………………………………………………………………………………
那么如何证明等式：
[latex]a_0=1^2,a_1=2^2,a_{n+1}=(4\sqrt{a_n}-\sqrt{a_{n-1}})^2(n\geq 1)[/latex]
用数学归纳法吗
，
证明了这个递推等式倒是可以很快证明（用数学归纳法）[latex]a_n(n\geq 0)[/latex]都是完全平方数。………………………………………………………………