MathDB
M 7

Source:

May 25, 2007
inductionquadraticsalgebraRecursive Sequences

Problem Statement

Prove that the sequence {yn}n1 \{y_{n}\}_{n \ge 1} defined by y0=1,  yn+1=12(3yn+5yn24) y_{0}=1, \; y_{n+1}= \frac{1}{2}\left( 3y_{n}+\sqrt{5y_{n}^{2}-4}\right) consists only of integers.