Une stratégie de preuve par contradiction qui suppose l'existence d'un plus petit (minimal) contre-exemple à une assertion universelle selon une mesure bien fondée choisie, puis en déduit une contradiction en construisant un contre-exemple encore plus petit ou en montrant que l'objet minimal doit satisfaire l'énoncé.

Principe

Minimalité bien fondée : dans un domaine bien ordonné ou bien fondé toute collection non vide possède un élément minimal ; supposer un contre-exemple minimal permet d'exploiter cette minimalité pour restreindre la structure et forcer une contradiction via des opérations de réduction.

Démonstration

Pour prouver une propriété pour tous les entiers positifs n, supposer que n0 est le plus petit entier pour lequel la propriété échoue. Utiliser une décomposition algébrique ou l'induction sur des indices plus petits pour construire n'

Mauvaise application

Employer la méthode sans une véritable mesure d'ordre bien fondée, ou réduire un prétendu contre-exemple minimal à des objets incomparables (de sorte qu'il n'existe pas de contre-exemple strictement plus petit), invalide l'argument ; un mauvais usage survient aussi si la réduction ne respecte pas la mesure.

Conséquence

Produit des preuves inductives ou structurelles concises qui empêchent la descente infinie ; fournit souvent des preuves d'existence non constructives élégantes et peut simplifier des analyses de cas complexes en se concentrant sur les obstructions minimales.

Inversion

Une preuve constructive construit des témoins explicites pour tous les cas plutôt que d'argumenter par impossibilité d'un contre-exemple minimal ; cette approche directe fournit souvent des bornes et des algorithmes que la méthode du contre-exemple minimal n'offre pas.

Limite

Nécessite un ordre bien fondé ou une fonction de taille compatible avec les réductions utilisées ; elle ne donne pas en soi de bornes effectives, de taux quantitatifs ou d'exemples constructifs sans travaux complémentaires.

Tension sémantique

Étroitement liée à l'induction forte et à la descente infinie ; la tension apparaît lorsque plusieurs éléments minimaux incomparables existent ou lorsque la notion de « plus petit » est ambiguë, rendant le choix de la mesure crucial.

Synthèse

Supposer un contre-exemple minimal selon une mesure bien fondée, exploiter sa minimalité pour construire un contre-exemple strictement plus petit ou obtenir une contradiction, et ainsi exclure l'existence de tout contre-exemple, prouvant l'énoncé universel.