一直记得有一个完美无暇的牛逼证法，就是找不到了
a0=1,a1=4,an=14an−1−an−2−6(n>1)a_0=1,a_1=4,a_n=14a_{n-1}-a_{n-2}-6(n>1)a0=1,a1=4,an=14an−1−an−2−6(n>1)
证明所有 aaa 都是完全平方数
