MathDB
classic sequence

Source: bmo 1986

April 23, 2007
inductionalgebra proposedalgebra

Problem Statement

Let a,b,ca,b,c be real numbers such that ab0ab\not= 0 and c>0c>0. Let (an)n1(a_{n})_{n\geq 1} be the sequence of real numbers defined by: a1=a,a2=ba_{1}=a, a_{2}=b and an+1=an2+can1a_{n+1}=\frac{a_{n}^{2}+c}{a_{n-1}} for all n2n\geq 2. Show that all the terms of the sequence are integer numbers if and only if the numbers a,ba,b and a2+b2+cab\frac{a^{2}+b^{2}+c}{ab} are integers.