Le processus visant à déterminer des solutions entières ou rationnelles d'équations polynomiales à coefficients entiers ; un problème diophantien demande des solutions dans Z ou Q plutôt que dans R ou C.

Principe

Combiner contraintes de divisibilité et congruences, arguments de pgcd, paramétrisations pour les cas linéaires, descentes ou méthodes de type Pell pour les formes quadratiques, et bornes de hauteur ou de finitude pour les degrés supérieurs ; la solvabilité dépend souvent de la compatibilité local-globale et des invariants arithmétiques.

Démonstration

Exemple linéaire : résoudre 14 x + 21 y = 7. pgcd(14,21)=7 divise 7, diviser par 7 donne 2 x + 3 y = 1. Une solution particulière est x0 = -1, y0 = 1 ; la solution générale entière est x = -1 + 3 t, y = 1 - 2 t pour t ∈ Z. Exemple quadratique : l'équation de Pell x^2 - 2 y^2 = 1 admet une infinité de solutions entières générées par les puissances de l'unité fondamentale.

Mauvaise application

Traiter une équation diophantienne comme si des solutions réelles analytiques imposaient les solutions entières, ou utiliser des paramétrisations rationnelles sans vérifier l'intégralité, conduit à des conclusions erronées sur l'existence ou l'exhaustivité des solutions.

Conséquence

Les méthodes appropriées produisent soit des familles paramétrées explicites de solutions entières, soit établissent la finitude et énumèrent les solutions, soit démontrent l'impossibilité par des obstructions locales ; elles révèlent des propriétés arithmétiques profondes du polynôme considéré.

Inversion

Au lieu de chercher les solutions entières, considérer le problème inverse : déterminer quels entiers sont pris comme valeurs du polynôme (problèmes d'images), ou étudier les solutions sur des corps finis où le dénombrement remplace la contrainte d'intégralité.

Limite

S'applique aux équations polynomiales à coefficients entiers avec inconnues entières ou rationnelles ; exclut les équations transcendantes, les inégalités et les questions portant seulement sur des solutions réelles ou complexes sans contrainte d'intégrité.

Tension sémantique

On trouve une tension entre la résolution algorithmique des cas linéaires (familles paramétrées explicites) et les problèmes diophantiens de degré supérieur qui peuvent être indécidables ou uniquement accessibles par des résultats qualitatifs ; tension aussi entre solvabilité locale et globale.

Synthèse

La résolution diophantienne combine obstructions modulaires et pgcd, paramétrisations explicites lorsqu'elles existent, et techniques arithmétiques avancées (descente, unités, bornes de hauteur) pour décider de l'existence et produire toutes les solutions entières ou rationnelles lorsque cela est possible.