Le raisonnement par disjonction de cas est une forme de preuve directe qui consiste à décomposer la proposition que l'on cherche à démontrer en un nombre fini de cas (sous-propositions) vérifiés indépendamment.
Exemple Proposition : Pour tout , est un entier.
Démonstration : on peut séparer deux cas, est pair et est impair :
Si est pair alors avec et alors ce qui est entier. Si est impair, alors avec et alors ce qui est aussi entier.
Ainsi dans les deux cas est entier, donc c'est vrai pour tout .
Notes et références
Liens externes
Catégorie:Raisonnement mathématique Catégorie:Méthode de démonstration