Problem

Source: OIFMAT III 2013 day 2 p5 - Chilean Math Forum FMAT Olympiad https://artofproblemsolving.com/community/c2484778_oifmat

Tags: number theory, Sequence, recurrence relation, Recurrence



Prove that the sequence defined by: $$ y_ {n + 1} = \frac {1} {2} (3y_ {n} + \sqrt {5y_ {n} ^ {2} -4}) , \,\, \forall n \ge 0$$with $ y_ {0} = 1$ consists only of integers.