3"
"
IV – Nombres rationnels 
1. Définition : 
L’ensemble des nombres rationnels, noté ℚ est celui des nombres qui peuvent s’écrire 
sous la forme  a
 b   avec a ∈ ℤ et b ∈ ℕ*. Réfléchir sur les ensembles pour a et b 
2. Théorème 4 : 
Tout nombre rationnel admet une écriture unique sous forme d’un fraction = 
4Remarque : toutes les divisions (sauf par 0) sont possible dans ℚ  mais on ne peut 
quantifier la mesure de la longueur de la diagonale d’un carré de coté un par un 
rationnel. (problème des Pythagoriciens)  
ℕ ⊂   ℤ!⊂ 𝔻⊂ℚ 
Irrationalité de  2, raisonnement par l’absurde : 
Supposons que  2 est un nombre rationnel donc qu’il existe deux nombres entiers a 
et b, premiers entre eux (pas d’autre diviseur commun que 1), tels que : 
   2 = a
b . (cf. th. 4) 
donc si on met au carré on a 2 =  a²
b²   
donc  a² = 2b² et donc a² est un nombre pair. 
 
On se pose la question : si a² est un nombre pair a est-il un nombre 
pair ? 
Un nombre pair  peut s’écrire a = 2n donc son carré est a2 = 4n2 est 
un nombre pair. 
Un nombre impair peut s’écrire a = 2n+1 
donc son carré a2 = (2n+1)2 = 4n2 + 4n + 1 est un nombre impair 
conclusion si a2 est pair, a est pair et réciproquement. 
Donc a est un nombre pair et on peut écrire a = 2p et  a² =4p² 
Si on rapproche les deux égalités encadrées on en déduit que : 
2b²=4p² et b²=2p² 
donc b² est un nombre pair et donc b est un nombre pair. 
La supposition 2 est un nombre rationnel  signifie (équivaut à) qu’il existe deux 
nombres entiers tels que   2 = a
b , avec a et b, premiers entre eux 
cette hypothèse a pour conséquence : 
a est un nombre pair et b est un nombre pair. 
Il y a donc contradiction entre les deux affirmations (c’est absurde) 
et donc  2ne peut pas être un nombre rationnel. 
Il existe donc des nombres qui ne sont pas rationnels (autre exemple : π).