MathDB
Show every term in sequence is an integer

Source: Spanish MO 2012 Q5

June 7, 2012
algebra unsolvedalgebra

Problem Statement

A sequence (an)n1(a_n)_{n\ge 1} of integers is defined by the recurrence a1=1, a2=5, an=an12+4an2 for n2.a_1=1,\ a_2=5,\ a_n=\frac{a_{n-1}^2+4}{a_{n-2}}\ \text{for}\ n\ge 2. Prove that all terms of the sequence are integers and find an explicit formula for ana_n.