Raisonnement par disjonction de cas

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

Cet article ne cite aucune source et peut contenir des informations erronées (signalé en août 2026).

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 citant les références utiles à sa vérifiabilité.

Trouver des sources sur « Raisonnement par disjonction de cas » :

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}$ .

Notes et références

Liens externes

Portail des mathématiques