OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Dado $r\in\mathbb{Q}$ positivo, existirá un número racional $\frac{m}{n}$ tal que $\sqrt[3]{\frac{1}{2r}}\lt \frac{m}{n}\lt\sqrt[3]{\frac{2}{r}}$, luego $\frac{1}{2}\lt\frac{m^3r}{n^3}\lt 2$. Lo que hemos probado anteriormente nos dice que existen $a,b,c,d\in\mathbb{N}$ tales que \[\frac{m^3r}{n^3}=\frac{a^3+b^3}{c^3+d^3}\ \Longleftrightarrow\ r=\frac{(an)^3+(bn)^3}{(cm)^3+(dm)^3},\] lo que prueba que $r$ cumple la condición del enunciado.
Nota. La idea para elegir $a=c=u+v$, $b=2u-v$ y $d=2v-u$, es observar que \[\frac{a^3+b^3}{a^3+d^3}=\frac{(a+b)(a^2+ab+b^2)}{(a+d)(a^2+ad+d^2)}\] y elegir los números de forma que $a+b=\lambda u$, $a+d=\lambda v$ y $a^2-ab+b^2=a^2-ad+d^2$. Esto último ocurre si, y sólo si, $(-a+b+d)(b-d)=0$, luego $a=b+d$. De aquí es fácil llegar a que la solución entera más sencilla ocurre para $\lambda=3$ y es la que hemos propuesto.
Por otro lado, el número $27\ldots78\ldots89$ formado por $1$ dos, $n-1$ sietes, $n$ ochos y $1$ nueve, se puede expresar de forma similar como un cuadrado perfecto: \begin{eqnarray*} 2\sum_{i=0}^{2n}10^i+5\sum_{i=0}^{2n-1}10^i+\sum_{i=0}^n10^i+1&=&2\frac{10^{2n+1}-1}{9}+5\frac{10^{2n}-1}{9}+\frac{10^{n+1}-1}{9}+1\\ &=&\frac{25\cdot 10^{2n}+10\cdot 10^n+1}{9}=\left(\frac{5\cdot 10^n+1}{3}\right)^2. \end{eqnarray*}
Nota. Existen otros ejemplos de números que generan cuadrados monótonos, como pueden ser los de la forma $3\ldots35$, $3\ldots37$ ó $6\ldots67$ (que dan todos ellos un número par de dígitos).
La idea clave es darse cuenta de que si $a$ y $b$ son tales que $(a-b)^2$ divide a $ab$, entonces $a+c$ y $b+c$ también cumplen esta propiedad siempre que $c$ sea un múltiplo de $ab$. Por tanto, si consideramos el producto $c=a_1\cdots a_n$, el conjunto $S_1=\{c,a_1+c,a_2+c,\ldots,a_n+c\}$ tiene $n+1$ elementos (son todos distintos) y cumple la propiedad del enunciado. Comprobémoslo:
Debemos evaluar $2^p+3^p$ módulo $25$, para lo que usaremos el binomio de Newton de la siguiente forma: \[2^p+3^p=2^p+(5-2)^p=2^p+\sum_{k=0}^p\binom{p}{k}(-1)^k5^k2^{p-k}\equiv 2^p+5p\cdot 2^{p-1}-2^p\equiv 5p\cdot 2^{p-1}\ (\text{mód }25),\] donde hemos usado que $p$ es impar y que los términos para $k\geq 2$ son múltiplos de $25$. Ahora bien, si $p\neq 5$, esto nos dice que $2^p+3^p\not\equiv 0\ (\text{mód }25)$. Si $p=5$, entonces $2^p+3^p=32+243=275=5^2\cdot 11$ sí que es múltiplo de $25$, pero no es la potencia de ningún entero, luego el enunciado también se cumple en este caso especial.