OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Nota. Hemos escrito todos los resultados en función de $m^2$, aunque podríamos haberlo hecho en función de $a$ (el único motivo era que se vea de forma explícita que todas las sumas son cuadrados): \[b=2a-2,\qquad c=\frac{(a-9)(a-1)}{4},\] con lo que \[ a+b=3a-2,\quad b+c=\left(\frac{a-1}{2}\right)^2,\quad a+c=\left(\frac{a-3}{2}\right)^2,\quad a+b+c=\left(\frac{a+1}{2}\right)^2. \]
Consideremos ahora restos módulo $4$. Si $n\geq 2$, entonces tanto $2^n$ como $12^n$ son múltiplos de $4$, luego $2^n+12^n+2011^n\equiv 3^n$ (mód $4$), que es congruente con $1$ si $n$ es par y con $3$ si $n$ es impar. Como todo cuadrado perfecto es congruente con $0$ ó con $1$ módulo $4$, deducimos que $n$ ha de ser par. Por lo probado en el párrafo anterior, no existen valores de $n\geq 2$ para los que $2^n+12^n+2011^n$ es un cuadrado perfecto. La única solución del problema es $n=1$.
La ecuación $a^2=(a+k)^2-63$ puede escribirse como $(2a+k)k=63$, de donde $k$ y $2a+k$ han de ser divisores complementarios de $63=3^2\cdot 7$. Tenemos seis posibilidades: