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

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

Solución. Comenzamos observando que, para cualesquiera naturales $a$ y $b$,

• si $x=a$ e $y=a+b$, entonces $x^2-xy+y^2=a^2+ab+b^2$;
• si $x=b$ e $y=a+b$, entonces también $x^2-xy+y^2=a^2+ab+b^2$.

Esto nos dice que si $a$ y $b$ están en dos subconjuntos distintos, entonces $a+b$ no puede estar en el tercero, ya que entonces $a^2+ab+b^2$ tendría que estar en los dos primeros simultáneamente, lo cual es absurdo. Esto también dice que $a-b$ no puede pertenecer al tercer conjunto por el mismo motivo.

Solución. Cualquier cuadrado es congruente con $0$ o $1$ módulo $3$. Por lo tanto, la ecuación solo es factible módulo $3$ si $a\equiv 0\ (\text{mod }3)$ y $b\equiv 0\ (\text{mod }3)$. Esto nos dice que podemos escribir $a=3x$ y $b=3y$ para ciertos $x,y\in\mathbb{Z}$. Sustituyendo, llegamos a que $9x^2=18y^2+3c^2$, luego $c^2=3x^2-6y^2$ debe ser también múltiplo de $3$, es decir, existe $z\in\mathbb{Z}$ tal que $c=3z$ y llegamos a otra solución de la misma ecuación: $x^2=2y^2+3z^2$.

Vamos a ver que esto implica que $a=b=c=0$. En efecto, si alguno de los tres números $a,b,c\in\mathbb{Z}$ es no nulo, entonces podríamos haber comenzado suponiendo que la solución $(a,b,c)$ es tal que la suma $a^2+b^2+c^2\gt 0$ es lo más pequeña posible (de entre todas las soluciones no nulas habrá una que cumpla esto), pero entonces $(x,y,z)$ es una solución con \[x^2+y^2+z^2=\frac{1}{9}(a^2+b^2+c^2)\lt a^2+b^2+c^2,\] en contradicción con el hecho de que $a^2+b^2+c^2$ es mínimo. Esto es lo que se llama técnica del descenso infinito o principio de minimalidad.