El proceso de determinar soluciones enteras o racionales de ecuaciones polinómicas con coeficientes enteros; un problema diofántico busca soluciones en Z o Q en lugar de R o C.

Principio

Combina restricciones de divisibilidad y congruencias, argumentos con el mcd, parametrizaciones en el caso lineal, métodos de descenso o de tipo Pell para formas cuadráticas y cotas de altura o finitud para grados superiores; la solvencia frecuentemente depende de la compatibilidad local–global y de invariantes aritméticos.

Demostración

Ejemplo lineal: resolver 14 x + 21 y = 7. mcd(14,21)=7 divide 7, dividir por 7 da 2 x + 3 y = 1. Una solución particular es x0 = -1, y0 = 1; la solución general entera es x = -1 + 3 t, y = 1 - 2 t con t ∈ Z. Ejemplo cuadrático: la ecuación de Pell x^2 - 2 y^2 = 1 tiene infinitas soluciones enteras generadas por potencias de la unidad fundamental.

Aplicación incorrecta

Tratar una ecuación diofántica como si las soluciones reales determinan soluciones enteras, o usar parametrizaciones racionales sin verificar la integridad, conduce a conclusiones erróneas sobre existencia o completitud.

Consecuencia

Los métodos correctos producen familias parametrizadas explícitas de soluciones enteras, prueban la finitud y enumeran soluciones, o demuestran imposibilidad mediante obstrucciones locales; revelan propiedades aritméticas profundas del polinomio involucrado.

Inversión

En lugar de buscar soluciones enteras, considerar el problema inverso de cuáles enteros aparecen como valores del polinomio, o estudiar soluciones en cuerpos finitos donde el conteo sustituye la condición de integridad.

Límite

Se aplica a ecuaciones polinómicas con coeficientes enteros y incógnitas en Z o Q; excluye ecuaciones trascendentes, desigualdades y cuestiones puramente reales o complejas sin la condición de integridad.

Tensión semántica

Existe tensión entre la resolución algorítmica de casos lineales (familias parametrizadas) y los problemas diofánticos de grado superior que pueden ser indecidibles o accesibles sólo cualitativamente; también entre solvencia local y global.

Síntesis

Resolver ecuaciones diofánticas aúna obstrucciones modulares y mcd, parametrizaciones explícitas cuando existen y técnicas aritméticas avanzadas (descenso, unidades, cotas de altura) para decidir existencia y producir todas las soluciones enteras o racionales cuando sea posible.