a) Démontrer que le produit de deux entiers impairs est impair. b) En déduire que si n2 est pair, alors n est pair.
Voir la correction
a) Soient a et b deux entiers impairs : il existe des entiers k et l tels que a = 2k + 1 et b = 2l + 1. Alors ab = (2k + 1)(2l + 1) = 4kl + 2k + 2l + 1 = 2(2kl + k + l) + 1.
Le nombre 2kl + k + l est un entier, donc ab est de la forme 2q + 1 : le produit est impair.
b) On raisonne par contraposée : « si n est impair, alors n2 est impair ». C'est le cas a) avec a = b = n : le produit n × n de deux impairs est impair.
La contraposée étant vraie, l'implication l'est aussi : si n2 est pair, alors n est pair. Ce résultat est utile pour montrer que √2 n'est pas un nombre rationnel.