La sucesión $a_n$ está definida por $a_1=1$, $a_{2k}=1+a_k$ y $a_{2k+1}=\frac{1}{a_{2k}}$, para todo entero $k\geq 1$. Demuestra que todo número racional positivo aparece exactamente una vez en esta sucesión.