Une technique de démonstration qui produit une contradiction en supposant l'existence d'un contre-exemple minimal dans un domaine bien ordonné (typiquement les entiers positifs) puis en construisant un contre-exemple strictement plus petit à l'infini, ce qui contredit la minimalité.

Principe

Exploiter le bon ordre des entiers positifs : si un contre-exemple minimal existe, en construire un autre, du même type, strictement plus petit, ce qui crée une suite strictement décroissante dans un ensemble bien ordonné, impossible.

Démonstration

Démonstration classique : pour prouver que √2 est irrationnel, on suppose l'existence d'entiers a,b>0 tels que a^2=2b^2 en termes premiers ; on construit alors des entiers plus petits a',b' satisfaisant la même égalité (argument de parité et division par 2), contredisant la minimalité, donc aucun tel (a,b) n'existe.

Mauvaise application

Employer la descente infinie dans des domaines non bien ordonnés (par exemple les entiers relatifs sans contrainte de positivité, ou les réels), ou ne pas garantir que le contre-exemple construit soit strictement plus petit pour le même ordre, invalide le raisonnement.

Conséquence

Fournit une méthode puissante pour des preuves d'impossibilité en théorie des nombres et problèmes diophantiens, souvent en donnant des contradictions élémentaires sans outils élaborés.

Inversion

La réciproque conceptuelle est la montée infinie ou une preuve constructive d'existence via la construction d'une chaîne croissante non bornée ; la descente établit la non-existence par contradiction, l'ascension cherche l'existence par itération.

Limite

Nécessite un ordre bien fondé (généralement les naturels) et une construction fournissant un élément strictement plus petit du même domaine ; elle ne prouve pas directement des bornes quantitatives ni des résultats d'existence hors contextes bien fondés.

Tension sémantique

Étroitement liée et souvent interchangeable avec la preuve par contre-exemple minimal et le principe du bon ordre ou la récurrence forte ; la tension est stylistique : la descente construit explicitement des témoins plus petits, tandis que l'induction invoque souvent un argument plus abstrait.

Synthèse

La descente infinie exploite le bon ordre : supposer un contre-exemple minimal et exhiber un encore plus petit conduit à une contradiction, offrant une voie élémentaire et souvent constructive pour établir l'impossibilité de certaines configurations arithmétiques.