Subcontests
(6)Problem 1 sequence of integer is square
We consider the real sequence (xn) defined by x0=0,x1=1 and xn+2=3xn+1−2xn for n=0,1,...
We define the sequence (yn) by yn=xn2+2n+2 for every non negative integer n.
Prove that for every n>0, yn is the square of an odd integer