Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Veamos que la respuesta es negativa, razonando por reducción al absurdo. Si $a^2+b$ es un cuadrado perfecto, como es mayor que $a^2$, tendrá que ser $a^2+b\geq (a+1)^2$, de donde $b\geq 2a+1$. De la misma forma, si $b^2+a$ es un cuadrado perfecto, tendremos que $a\geq 2b+1\geq 4a+3\gt a$, lo cual es una contradicción.

Solución. Vamos a dar una respuesta negativa. Para ello podemos suponer que $\operatorname{mcd}(a,b,c)=1$ ya que en caso contrario podemos simplificar todas las fracciones y obtener una nueva solución en la que esto ocurra. La ecuación puede escribirse como \[a^2c+b^2a+c^2b=3abc.\] Supongamos que $p$ es un primo que divide a $abc$, luego divide a uno o dos de los factores. Pongamos que $a$ es un factor múltiplo de $p$ sin pérdida de generalidad. Por la ecuación anterior, $p$ tiene que dividir a $c^2b$, es decir, divide a $b$ o divide a $c$, pero no divide a ambos. Tenemos entonces dos casos.

• Si $p$ divide a $b$ y llamamos $x$ e $y$ a los exponentes de $p$ en la factorización de $a$ y $b$, respectivamente, entonces $3abc-b^2a$ tiene exponente $x+y+1$ (si $p=3$) o $x+y$ (si $p\neq 3$), mientras que $a^2c+c^2b=c(a^2+bc)$ tiene exponente $\min\{2x,y\}$ salvo en caso de que $2x=y$ (el exponente podría ser mayor si ocurre esto). Como $\min\{2x,y\}\leq y\lt x+y$, deducimos que necesariamente $2x=y$. Por lo tanto, el exponente de $p$ en $abc$ es $x+y=3x$, que es múltiplo de $3$
• Si $p$ divide a $c$, razonamos de forma similar. Llamando $x$ y $z$ a los exponentes de $p$ en la factorización de $a$ y $c$, respectivamente, entonces $3abc-a^2c$ tiene exponente $x+z$ o $x+z+1$, mientras que $b^2a+c^2b=b(ab+c^2)$ tiene exponente $\min\{x,2z\}$ (a menos que $x=2z$). Por lo tanto, tiene que ser $x=2z$ y también tenemos que el exponente de $p$ en $abc$ es múltiplo de $3$.

Tenemos así que el exponente de cualquier primo en la descomposición de $abc$ tiene exponente múltiplo de $3$, luego $abc$ es un cubo perfecto.

Nota. Es fácil ver que no hay soluciones positivas salvo las de la forma $a=b=c$ por la desigualdad entre las medias aritmética y geométrica. Sin embargo, si hay soluciones negativas en que los tres números son distintos (posiblemente la más sencilla es $(a,b,c)=(1,-2,4)$).

Solución. Comenzamos observando que ninguno de los números puede ser múltiplo de 19 ya que, en tal caso, sólo uno de los dos conjuntos tendría un factor 19. Entonces, los restos módulo 19 de los números deben ser los números del 1 al 18. Si multiplicamos todos ellos, resulta $18!\equiv 18\ (\text{mod }19)$ por el teorema de Wilson (ver nota). Si existieran dichos subconjuntos disjuntos con el mismo producto, entonces $18$ sería un cuadrado módulo $19$, pero no lo es ya que \begin{align*} 1^2&\equiv 1\ (\text{mod }19),& 2^2&\equiv 4\ (\text{mod }19),& 3^2&\equiv 9\ (\text{mod }19),\\ 4^2&\equiv 16\ (\text{mod }19),& 5^2&\equiv 6\ (\text{mod }19),& 6^2&\equiv 17\ (\text{mod }19),\\ 7^2&\equiv 11\ (\text{mod }19),& 8^2&\equiv 7\ (\text{mod }19),& 9^2&\equiv 5\ (\text{mod }19),\\ 10^2&\equiv 5\ (\text{mod }19),& 11^2&\equiv 7\ (\text{mod }19),& 12^2&\equiv 11\ (\text{mod }19),\\ 13^2&\equiv 17\ (\text{mod }19),& 14^2&\equiv 6\ (\text{mod }19),& 15^2&\equiv 16\ (\text{mod }19),\\ 16^2&\equiv 9\ (\text{mod }19),& 17^2&\equiv 4\ (\text{mod }19),& 18^2&\equiv 1\ (\text{mod }19). \end{align*}

Nota. El teorema de Wilson afirma que $(p-1)!\equiv -1\ (\text{mod }p)$ para cualquier primo $p$.