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

Solución. Como \(a=ab-b=b(a-1)\), tenemos que \(a\) es múltiplo de \(b\) y, como \(b=ab-a=a(b-1)\), \(b\) es múltiplo de \(a\). Esto sólo puede ocurrir cuando \(a=b\) ó \(a=-b\). En el caso de que \(a=b\), la ecuación del enunciado se escribe como \(2a=a^2\) luego \(a=b=0\) ó \(a=b=2\). En el caso de que \(a=-b\), la ecuación queda \(0=-a^2\), luego \(a=b=0\). Deducimos que las soluciones son \((a,b)=(0,0)\) y \((a,b)=(2,2)\).

Solución. La ecuación se puede escribir de forma equivalente como $(a-1)(b-1)=1$, luego ambos factores $a-1$ y $b-1$ tienen que ser iguales e iguales a $\pm 1$. Si son iguales a $1$, tenemos la solución $a=b=2$ y, si son iguales a $-1$, tenemos la solución $a=b=0$.

Solución. La mejor forma de demostrar esta afirmación es mostrando un ejemplo de \(n\) números consecutivos que sean compuestos. Una posible opción es \[(n+1)!+2,\ (n+1)!+3,\ (n+1)!+4,\ \ldots,\ (n+1)!+(n+1)\] ya que \((n+1)!+k\) es divisible por \(k\) si \(k\) está comprendido entre \(2\) y \(n+1\).

Solución. En el caso en que \(n\) sea impar, consideremos el desarrollo \[a^n+b^n=(a+b)(a^{n-1}-a^{n-2}b+a^{n-3}b^2-\ldots-ab^{n-2}+b^{n-1})\] que nos dice que \(a^n+b^n\) es divisible por \(a+b\) y, por consiguiente, \(\text{mcd}(a+b,a^n+b^n)=a+b\). Vamos a centrarnos ahora en el caso en que \(n\) es par y comencemos con el caso \(n=2\): como \(a^2+b^2=(a+b)^2-2ab\), si \(d\) es un número que divide a \(a+b\) y \(a^2+b^2\), se tiene que \(d\) divide a \(2ab\). Si \(d\) tuviera factores en común con \(a\), entonces estos factores también serían comunes a \(b=(a+b)-a\), contradiciendo que \(\text{mcd}(a,b)=1\) luego \(\text{mcd}(d,a)=1\) y, por la misma razón \(\text{mcd}(d,b)=1\), luego necesariamente \(d\) divide a \(2\). Así hemos probado que las únicas posibilidades para \(\text{mcd}(a+b,a^2+b^2)\) son \(1\) y \(2\). En general, tenemos que \[a^n+b^n=(a+b)(a^{n-1}+b^{n-1})-ab(a^{n-2}+b^{n-2})\] luego si \(d\) es un factor común a \(a^n+b^n\) y a \(a+b\), entonces divide a \(ab(a^{n-2}+b^{n-2})\). Como \(\text{mcd}(a,d)=\text{mcd}(b,d)=1\) (por el mismo motivo que en el caso \(n=2\)), \(d\) tiene que dividir a \(a^{n-2}+b^{n-2}\) y esto prueba que \(\text{mcd}(a+b,a^n+b^n)\) divide a \(\text{mcd}(a+b,a^{n-2}+b^{n-2})\) para todo \(n\in\mathbb{N}\). Como hemos visto que \(\text{mcd}(a+b,a^2+b^2)\leq 2\), deducimos que \(\text{mcd}(a+b,a^n+b^n)\leq 2\) para todo \(n\in\mathbb{N}\) par. Concretamente, \(\text{mcd}(a+b,a^n+b^n)=1\) si \(a+b\) es impar y \(\text{mcd}(a+b,a^n+b^n)=2\) si \(a+b\) es par.

Solución. Supongamos que $m,n\in\mathbb{N}$ cumplen la ecuación. Entonces $n!=(m!-1)^2-1=m!(m!-2)$, de donde deducimos que $2\lt m\lt n$ y, por tanto, podemos simplificar factores y nos queda \[n(n-1)\cdots(m+2)(m+1)=m!-2.\] El miembro de la derecha no es múltiplo de $3$ ya que $m!$ sí lo es, luego en el miembro de la izquierda puede haber dos factores como mucho, lo que nos lleva a dos posibilidades: $n=m+1$ y $n=m+2$. Si $n=m+1$, entonces $m+1=m!-2$ (o bien $m+3=m!$) cuya única solución es $m=3$ que nos lleva a $n=4$. Si $n=m+2$, entonces $(m+2)(m+1)=m!-2$ luego $m(m+2)=m!-4$ de donde $m$ divide a $4$ y, como $m\gt 2$, tenemos que $m=4$, que no cumple la ecuación. En resumen, hemos probado que la única solución es $(m,n)=(3,4)$.

Solución. Dado que $5$ y $64$ son primos entre sí, el teorema de Euler nos asegura que $5^{\varphi(64)}=5^{32}\equiv 1\ (\text{mód }64)$ luego $n=32$ es un número que cumple la condición del enunciado (aquí $\varphi(n)$ representa la función de Euler que indica cuántos números enteros entre $1$ y $n$ son primos relativos con $n$). Si llamamos $a$ al número que se pide en el enunciado, $a$ tiene que ser un divisor de $32$ ya que, en caso contrario, si llamamos $d=\text{mcd}(a,32)$, se tiene que existen $u,v\in\mathbb{N}$ tales que $d=au-32v$ según la identidad de Bézout luego $5^d(5^{32})^v=(5^a)^u$. Tomando restos módulo $64$ tenemos que $5^d\ \equiv 1\ (\text{mód }64)$ pero si $a$ no es un divisor de $32$, entonces $d\lt a$ lo que contradice que $a$ es el mínimo que cumple esta propiedad. Esto prueba que el número buscado es una potencia de $2$ y podemos desarrollar \[5^{2^k}-1=(5-1)(5+1)(5^2+1)\cdots(5^{2^{k-1}}+1)\] Ahora observemos que $5^m+1\ \equiv 2\ (\text{mód }4)$ luego cada factor de la forma $5^{2^j}+1$ es múltiplo de $2$ pero no de $4$ y el exponente de $2$ en el miembro de la derecha es $k+2$. Como queremos que sea divisible por $64$, tendrá que ser $k+2\geq 6$ luego $k\geq 4$ y, por tanto, $n=2^4=16$ es el menor número que cumple la propiedad.