Problem

Source: China South East Mathematical Olympiad 2011

Tags: induction, algebra proposed, algebra



The sequence $(a_n)_{n>=1}$ satisfies that : $a_1=a_2=1$ $a_n=7a_{n-1}-a_{n-2}$ ($n>=3$) , prove that : for all positive integer n , number $a_n+2+a_{n+1}$ is a perfect square .