Teoría de NúmerosProblemas resueltos

OMG 2019 — Cuadrados perfectos consecutivos

Determinar todos los enteros tales que es un cuadrado perfecto. Un clásico de fase regional: acotar entre cuadrados.

DificultadRegional
CompetenciaOMG 2019
Etiquetascuadradosacotacionpolinomios
Requisitosdivisibilidad-basica
AutorAdrián García Bouzas
Actualizado2026-02-10
Enunciado

Hallar todos los enteros nn tales que n2+19n+92n^2 + 19n + 92 sea un cuadrado perfecto.

Idea de la solución

Una de las técnicas más fiables para problemas del tipo "¿cuándo es un polinomio cuadrático un cuadrado?" consiste en encerrar la expresión entre dos cuadrados consecutivos. Si conseguimos que k2<P(n)<(k+1)2k^2 < P(n) < (k+1)^2 para todo nn suficientemente grande, no hay solución en ese rango; los pocos casos restantes se verifican a mano.

Demostración

Sea P(n)=n2+19n+92P(n) = n^2 + 19n + 92. Completamos el cuadrado:

P(n)  =  n2+19n+92  =  (n+192)2+923614  =  (n+192)2+74.P(n) \;=\; n^2 + 19n + 92 \;=\; \left(n + \tfrac{19}{2}\right)^2 + 92 - \tfrac{361}{4} \;=\; \left(n + \tfrac{19}{2}\right)^2 + \tfrac{7}{4}.

Esto sugiere comparar P(n)P(n) con (n+9)2(n+9)^2 y (n+10)2(n+10)^2:

(n+9)2  =  n2+18n+81,(n+10)2  =  n2+20n+100.(n+9)^2 \;=\; n^2 + 18n + 81, \qquad (n+10)^2 \;=\; n^2 + 20n + 100.

Computamos las diferencias:

P(n)(n+9)2  =  n+11,(n+10)2P(n)  =  n+8.P(n) - (n+9)^2 \;=\; n + 11, \qquad (n+10)^2 - P(n) \;=\; n + 8.

Caso 1. Si n7n \geq -7, entonces n+11>0n + 11 > 0 y n+81>0n + 8 \geq 1 > 0, así que

(n+9)2  <  P(n)  <  (n+10)2.(n+9)^2 \;<\; P(n) \;<\; (n+10)^2.

Es decir, P(n)P(n) está estrictamente entre dos cuadrados consecutivos y no puede ser un cuadrado. No hay solución para n7n \geq -7.

Caso 2. Si n=8n = -8: P(8)=64152+92=4=22P(-8) = 64 - 152 + 92 = 4 = 2^2. Solución.

Caso 3. Si n=9n = -9: P(9)=81171+92=2P(-9) = 81 - 171 + 92 = 2. No es cuadrado.

Caso 4. Si n=10n = -10: P(10)=100190+92=2P(-10) = 100 - 190 + 92 = 2. No es cuadrado.

Caso 5. Si n=11n = -11: P(11)=121209+92=4=22P(-11) = 121 - 209 + 92 = 4 = 2^2. Solución.

Caso 6. Para n12n \leq -12, observamos por simetría: la sustitución n19nn \mapsto -19 - n deja P(n)P(n) invariante (lo verificamos: (19n)2+19(19n)+92=n2+38n+36136119n+92=n2+19n+92(-19-n)^2 + 19(-19-n) + 92 = n^2 + 38n + 361 - 361 - 19n + 92 = n^2 + 19n + 92). Por simetría con el Caso 1, P(n)P(n) tampoco puede ser cuadrado para n12n \leq -12.

Las únicas soluciones son n=8 y n=11\boxed{n = -8 \text{ y } n = -11}. \blacksquare

Observación

El uso de la simetría n19nn \mapsto -19 - n ahorra la mitad del análisis. Detectarla: el eje del polinomio es n=19/2n = -19/2, y reflejar en él intercambia los valores enteros. Es una herramienta muy útil en este tipo de problemas.

Aplicaciones

Esta técnica del sandwich entre cuadrados funciona siempre que el polinomio sea cuadrático mónico (o, más generalmente, cuando podamos identificar el coeficiente líder). Para grado mayor, el ingrediente correcto es la acotación entre potencias consecutivas y, en problemas más finos, la valoración pp-ádica.