Démonstration √𝟐 est un nombre irrationnel

Raisonnement par l’absurde, on suppose que √2 est un nombre rationnel, c’est-à-dire

qu’il existe 2 nombres entiers naturels p et q (p et q positifs car √2 est un nombre
positif) tel que
𝑝
√2 = 𝑞 , avec p et q premiers entre eux.

𝑝 = √2 × 𝑞 ( on multiplie par q l’égalité)

𝑝² = 2 × 𝑞² (passage au carré)
On obtient :
𝑝² est un nombre pair car il est divisible par 2, ainsi p est un nombre pair.
Il existe un entier relatif k non nul , tel que 𝑝 = 2𝑘.
(2𝑘)² = 2 × 𝑞² ( on remplace p par la valeur trouvée précédemment)
4𝑘² = 2 × 𝑞²
2𝑘² = 𝑞² (on divise par 2)
On obtient :
𝑞² est un nombre pair car il est divisible par 2, ainsi q est un nombre pair.
Cela contredit notre hypothèse de départ à savoir que p et q sont premiers entre eux.

Ainsi √2 n’est pas un nombre rationnel.