XXIV Olimpiada Iberoamericana de Matemáticas (problema 5)

Versión para impresión
Sin votos (todavía)

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$.

Demostrar que todo número racional positivo aparece exactamente una vez en esa sucesión.
 




Imagen de darwinsigma

Usando los tres hechos

Usando los tres hechos siguientes el problema sale trivial: -Los naturales aparecen en la sucesión, de hecho aparecen cuando el subindice de la sucesion es una potencia de 2. (el natural m aparece cuando el subindice es 2^(m-1)). -Por lo anterior, los recíprocos de los naturales aparecen en la sucesión es decir, 1/k para todo k perteneciente a los naturales aparece en la sucesión. -El algoritmo de Euclides. No se cmo escribir una demostración acá asi que solo eso diré. Gracias por los problemas.. los andaba buscando para ver que tal estuvo la olimpiada. Saludos.