Raisonnement par disjonction de cas

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (mai 2021).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Le contenu de cet article ou de cette section est peut-être sujet à caution et doit absolument être sourcé (mai 2021).

Si vous connaissez le sujet dont traite l'article, merci de le reprendre à partir de sources pertinentes en utilisant notamment les notes de fin de page. Vous pouvez également laisser un mot d'explication en page de discussion.

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 $n\in \mathbb {N}$ , ${\dfrac {n(n+1)}{2}}$ est un entier.

Démonstration : on peut séparer deux cas, $n$ est pair et $n$ est impair :

Si $n$ est pair alors $n=2k$ avec $k\in \mathbb {N}$ et alors ${\dfrac {n(n+1)}{2}}={\dfrac {2k(2k+1)}{2}}=k(2k+1)$ ce qui est entier.
Si $n$ est impair, alors $n=2k+1$ avec $k\in \mathbb {N}$ et alors ${\dfrac {n(n+1)}{2}}={\dfrac {(2k+1)(2k+2)}{2}}={\dfrac {2(k+1)(2k+1)}{2}}=(k+1)(2k+1)$ ce qui est aussi entier.

Ainsi dans les deux cas ${\dfrac {n(n+1)}{2}}$ est entier, donc c'est vrai pour tout $n\in \mathbb {N}$ .

Portail des mathématiques