Exercice 1 : Démonstration directe
Énoncé : Montrer que si nn est un entier pair, alors n2n2 est
également pair.
Correction :
1. Hypothèse : Supposons que nn est un entier pair. Cela signifie
qu'il existe un entier kk tel que n=2kn=2k.
2. Démonstration :
n2=(2k)2=4k2=2(2k2)n2=(2k)2=4k2=2(2k2)
Ici, 2k22k2 est un entier, donc n2n2 est pair.
Explication : On a utilisé la définition des entiers pairs pour montrer
directement que le carré d'un entier pair est aussi pair.
Exercice 2 : Démonstration par contraposée
Énoncé : Montrer que si n2n2 est impair, alors nn est impair.
Correction :
1. Contraposée : Montrons la contraposée : si nn est pair,
alors n2n2 est pair.
2. Hypothèse : Supposons que nn est pair, donc n=2kn=2k pour
un entier kk.
3. Démonstration :
n2=(2k)2=4k2=2(2k2)n2=(2k)2=4k2=2(2k2)
Ce qui montre que n2n2 est pair.
Explication : En prouvant la contraposée, nous avons établi que
si nn est pair, alors n2n2 ne peut pas être impair, ce qui prouve
l'énoncé initial.
Exercice 3 : Démonstration par l'absurde
Énoncé : Montrer que 22 est irrationnel.
Correction :
1. Supposition : Supposons, par l'absurde, que 22 est rationnel.
Alors, on peut écrire 2=ab2=ba avec aa et bb entiers premiers
entre eux.
2. Équation : En élevant au carré, on obtient :
2=a2b2 ⟹ a2=2b22=b2a2⟹a2=2b2
3. Analyse : Cela signifie que a2a2 est pair, donc aa est pair (car
le carré d’un impair est impair).
4. Écriture de aa : Écrivons a=2ka=2k pour un entier kk. En
substituant, on obtient :