On souhaite montrer que le nombre racine carré de 2 est un nombre irrationnel.
Pour cela on va établir le préambule suivant:
si p² est pair, alors p est pair.
si p² est impair, alors p est impair.
a- Montrer que si p est pair , alors p² est pair.
B- Montrer que si p est impair, alors p² est impair.
c- En déduire le résultat annoncé