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

Solución. La forma más estándar de probar si ese número es primo o compuesto es buscar algún primo tal que esa expresión sea siempre múltiplo del primo o bien buscar una factorización como polinomios. Veamos que se puede hacer esto último. Como se trata de un polinomio de segundo grado, vamos a intentar expresar: \[n^2+2018mn+2019m+n-2019m^2=(am+bn+c)(dm+en+f).\] Desarrollando el producto de los dos factores e igualando coeficientes, obtenemos directamente del término independiente que $cf=0$, luego supondremos $f=0$ sin pérdida de generalidad. También tenemos que $be=1$ del término independiente, luego supondremos también que $b=e=1$ cambiando el signo de ambos factores si fuera necesario. El término en $n$ nos da ahora $c=1$ y luego el término en $m$ nos da $d=2019$. Finalmente, el término en $m^2$ nos da $a=-1$ y hemos llegado a la siguiente factorización: \[n^2+2018mn+2019m+n-2019m^2=(1-m+n)(2019 m+n).\] Como $m$ y $n$ son naturales (positivos), se tiene que $1-m+n\lt 2019m+n$. Dado que no está garantizado que la expresión del enunciado sea positiva (véase la nota) y dado que $2019m+n\gt 1$, tenemos dos posibilidades:

• Si $1-m+n=1$, entonces $m=n$, lo que nos dice que la expresión del enunciado es igual a $2020m$, que claramente no es primo.
• Si $1-m+n=-1$, entonces despejamos $n=m-2$. Sustituyendo en la expresión del enunciado, esta queda igual a $2(1-1010m)$, que tampoco es primo.

Deducimos así que la expresión no da un número primo sean cuales sean los valores naturales de $m$ y $n$.

Nota. Si consideramos que $0$ es un número natural, entonces tenemos que para $m=0$ y $n=1$, se tiene como resultado $2$, que sí es primo. Se supone que en la prueba se comunicó que $0$ no es un número natural en el contexto de este problema.

Por otro lado, la expresión del enunciado no es necesariamente positiva (por ejemplo para $n=m-2$, como hemos visto, se obtienen valores negativos). Por este motivo, hemos descartado también la posibilidad de que se trate de un primo negativo (en cuyo caso solo admite factorizaciones de la forma $(-1)\cdot p$ y $1\cdot (-p)$.