OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Nota. $\lceil x\rceil$ denota el menor entero mayor o igual que $x$.
Pongamos que $a_n=\frac{p}{2}$, con $p$ impar, y escribamos $p=2^eq+1$, siendo $q$ también impar, es decir, $2^e$ es la mayor potencia de $2$ que divide al número par $p-1$. Tenemos que \begin{align*} a_{n+1}=\frac{2^eq+1}{2}\left\lceil\frac{2^eq+1}{2}\right\rceil&=\frac{2^eq+1}{2}\cdot\frac{2^eq+2}{2}\\ &=\frac{(2^eq+1)(2^{e-1}q+1)}{2}\\ &=\frac{2^{2e-1}q^2+2^eq+2^{e-1}q+1}{2}=\frac{2^{e-1}q'+1}{2}, \end{align*}
para el entero impar $q'=2^eq^2+3q$. De esta forma, en cada paso de la sucesión se reduce en una unidad el exponente $e$. Para que $a_{2007}$ sea el primer término entero, tiene que ser $m=2^{2006}q+1$ siendo $q$ cualquier entero positivo impar.Nota: una franja de ancho $\ell$ es la región del plano comprendida entre dos rectas paralelas que están a distancia $\ell$ (incluídas ambas rectas).