MathDB
L 12

Source:

May 25, 2007
Linear Recurrences

Problem Statement

The sequence {an}n1\{a_{n}\}_{n \ge 1} is defined by a1=1,  a2=12,  a3=20,  an+3=2an+2+2an+1an.a_{1}=1, \; a_{2}=12, \; a_{3}=20, \; a_{n+3}= 2a_{n+2}+2a_{n+1}-a_{n}. Prove that 1+4anan+11+4a_{n}a_{n+1} is a square for all nNn \in \mathbb{N}.