Exemple de démonstration par contraposition
Énoncé
Nous allons démontrer la proposition suivante par contraposition :
Si n2 est impair, alors n est impair.
Principe de la contraposition
La méthode de la **contraposition** consiste à démontrer l’implication contra-
posée :
Si n est pair, alors n2 est pair.
Si cette implication est vraie, alors l’implication initiale est également vraie.
Démonstration
Supposons que n est pair. Par définition, il existe un entier k tel que :
n = 2k.
En élevant au carré :
n2 = (2k)2 = 4k 2 = 2(2k 2 ).
Puisque n2 est de la forme 2m avec m = 2k 2 , cela signifie que n2 est pair.
Nous avons donc prouvé que si n est pair, alors n2 est pair.
Conclusion
Par contraposition, nous concluons que :
Si n2 est impair, alors n est impair.
Ce qui démontre la proposition.