2 est irrationnel

Démonstration par l'absurde de « La racine carrée de 2 est un nombre irrationnel »

Introduction

On peut construire un triangle rectangle dont les trois côtés ont pour mesure des nombres entiers:

4 3 5

Est-il possible de construire un carré dont le côté b et la diagonale a soient tous deux mesurés par des nombres entiers ? (La figure ci-dessous représente la moitié du carré qui est un triangle rectangle isocèle).

b b a

D'après le théorème de Pythagore

\[ \begin{equation*} \begin{aligned} b^2+b^2&=a^2\\ 2b^2&=a^2\\ 2&=\left(\frac{a}{b}\right)^2\\ \frac{a}{b}&=\sqrt{2} \end{aligned} \end{equation*} \]

S'il est possible de trouver des entiers a, b  qui vérifient cette égalité, on dit que √2 est un nombre rationnel, sinon on dit que √2 est un nombre irrationnel.

Démonstration de « √2 est irrationnel »

Supposons par l'absurde que √2 soit rationnel : alors \(\sqrt{2}=\frac{a}{b}\) où a, b sont des nombres entiers positifs. Il est possible de simplifier la fraction \(\frac{a}{b}\) jusqu'à ce que a, b soient premiers entre eux (c'est-à-dire la fraction \(\frac{a}{b}\) ne puisse plus être simplifiée).  

\[ \begin{equation*} \begin{aligned} \sqrt{2}&=\frac{a}{b}\\ \sqrt{2} \, b&=a\\ 2 \, b^2&=a^2 \end{aligned} \end{equation*} \]

Lemme

Pour tout entier a, si a2 est pair, alors a est pair.

Démonstration par contraposition : Montrons que, si a est impair, alors a2 est impair. Posons a = 2 n + 1.

Alors a2 = (2 n + 1)2 = 4 n2 + 4 n + 1 qui est impair.

Puisque a2 est pair, a est pair et   a = 2 p   où p est un entier positif.

\[ \begin{equation*} \begin{aligned} 2\,b^2&=(2\,p)^2\\ 2\,b^2&=4\,p^2\\ b^2&=2\, p^2 \end{aligned} \end{equation*} \]

Puisque b2 est pair, b est pair. Par conséquent, il est possible de simplifier la fraction \(\frac{a}{b}\) par 2, ce qui contredit l'hypothèse que a, b sont premiers entre eux.

Puisque l'hypothèse « √2 est rationnel » conduit à une contradiction, c'est le contraire qui est vrai, à savoir « √2 est irrationnel ».

Version PDF   |   Contact   |   Accueil   >   Mathématiques dans la culture générale