MathDB
a_n is perfect square for every n

Source:

August 29, 2010
inductionnumber theory unsolvednumber theory

Problem Statement

Let (an)nN(a_n)_{n\in \mathbb N} be the sequence of integers defined recursively by a1=a2=1,an+2=7an+1an2a_1 = a_2 = 1, a_{n+2} = 7a_{n+1} - a_n - 2 for n1n \geq 1. Prove that ana_n is a perfect square for every n.n.