Question

设数列{An}(n≥0）定义如下:A0=A1=1, A(n+1)=14An-A(n-1).证明：对所有非负整数n，2An-1是完全平方数。 问

设数列{An}(n≥0）定义如下:A0=A1=1, A(n+1)=14An-A(n-1).证明：对所有非负整数n，2An-1是完全平方数。
问题补充：
满足一楼要求，补充一点：

题中A后所跟数字或字母均为下标！

Answer 1

设 A(n+1)-a*A(n)=b*(A((n)-a*A(n-1))
=> a+b=14 a*b=1 =>a=7-4*3^0.5 b=7+4*3^0.5
=> A(n)-a*A(n-1)=b^(n-1)*(A(1)-a*A(0)) A1=A0=1 =>A(n)-a*A(n-1)=b^(n-1)*(1-a)
设A(n)+c*b^n=a*(A(n-1)+c*b^(n-1)) =>A(n)=a*A(n-1)+a*c*b^(n-1)-c*b^(n) =>c=(1-a)/(a-b)
=>A(n)+c*b^n=a^n*(A0+c) =>An=a^n*(1+c)-c*b^n=(-(1-a)*b^n+(1-b)*a^n)/(a-b)
=>2*A(n)-1=2*(-(1-a)*b^n+(1-b)*a^n)/(a-b)-1 ab=1 a+b=14

=>2*A(n)-1=2*((a-1)*b^n+(1-b)*b^n)/(a-b)-1
=2*{a*b^n-b^n+a^n-a^n*b}/(a-b)-1
=(2*a^n - a + 2*a*(1/a)^n - 1)/(a + 1)
化简 ，或用数学归纳法就可证明