OMG 2019 — Cuadrados perfectos consecutivos
Determinar todos los enteros tales que es un cuadrado perfecto. Un clásico de fase regional: acotar entre cuadrados.
Hallar todos los enteros tales que sea un cuadrado perfecto.
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 para todo suficientemente grande, no hay solución en ese rango; los pocos casos restantes se verifican a mano.
Sea . Completamos el cuadrado:
Esto sugiere comparar con y :
Computamos las diferencias:
Caso 1. Si , entonces y , así que
Es decir, está estrictamente entre dos cuadrados consecutivos y no puede ser un cuadrado. No hay solución para .
Caso 2. Si : . Solución.
Caso 3. Si : . No es cuadrado.
Caso 4. Si : . No es cuadrado.
Caso 5. Si : . Solución.
Caso 6. Para , observamos por simetría: la sustitución deja invariante (lo verificamos: ). Por simetría con el Caso 1, tampoco puede ser cuadrado para .
Las únicas soluciones son .
El uso de la simetría ahorra la mitad del análisis. Detectarla: el eje del polinomio es , y reflejar en él intercambia los valores enteros. Es una herramienta muy útil en este tipo de problemas.
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 -ádica.