Démontrer que √2 est irrationnel
Voici un autre exemple classique qui montre la puissance de cette méthode. On veut prouver que √2 est irrationnel (qu'il ne peut pas s'écrire sous forme de fraction).
On suppose donc que √2 est rationnel, c'est-à-dire qu'il existe deux entiers a et b tels que √2 = a/b sous forme irréductible (fraction simplifiée au maximum). En élevant au carré, on obtient 2 = a²/b², donc 2b² = a².
Cette égalité nous montre que 2 divise a², donc 2 divise a. Si a = 2k, alors a² = 4k², et en remplaçant, on trouve que 2 divise aussi b. Mais alors a et b ont tous les deux 2 comme diviseur commun !
💡 Contradiction trouvée ! : On avait supposé que a/b était irréductible, mais on vient de prouver que a et b ont un diviseur commun. Notre supposition était donc fausse : √2 est bien irrationnel.