MathDB
Sequence of integers

Source: South Africa 2000

September 30, 2005
inductionalgebra unsolvedalgebra

Problem Statement

Let c1c \geq 1 be an integer, and define the sequence a1, a2, a3, a_1,\ a_2,\ a_3,\ \dots by a1=2,an+1=can+(c21)(an24) for n=1,2,3, . \begin{aligned} a_1 & = 2, \\ a_{n + 1} & = ca_n + \sqrt{\left(c^2 - 1\right)\left(a_n^2 - 4\right)}\textrm{ for }n = 1,2,3,\dots\ . \end{aligned} Prove that ana_n is an integer for all nn.