Every rational appears on the sequence exactly once
Source: Iberoamerican Olympiad 2009, problem 5
September 24, 2009
searchinductionalgorithmcontinued fractionnumber theoryEuclidean algorithmalgebra proposed
Problem Statement
Consider the sequence defined as follows: a_1 \equal{} 1, a_{2k} \equal{} 1 \plus{} a_k and a_{2k \plus{} 1} \equal{} \frac {1}{a_{2k}} for every . Prove that every positive rational number appears on the sequence exactly once.