MathDB
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 {an}n1 \{a_n\}_{n\geq1} 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 k1 k\geq 1. Prove that every positive rational number appears on the sequence {an} \{a_n\} exactly once.