Rationnel et irrationnel sont les deux moitiés des nombres réels — tout réel est exactement l'un ou l'autre.
Nombres rationnels
Un nombre réel est rationnel s'il peut s'exprimer sous la forme où sont des entiers et .
Caractérisation décimale : les rationnels ont un développement décimal qui soit est fini (), soit devient finalement périodique (, ).
L'ensemble des rationnels est noté . Bien qu'il soit dense (entre deux rationnels il y a toujours un autre rationnel), les rationnels sont dénombrables — même cardinal que .
Nombres irrationnels
Ne peuvent pas s'exprimer comme un rapport d'entiers. Le développement décimal est infini et non périodique.
Irrationnels célèbres :
- (nombre d'or) .
L'ensemble des irrationnels est non dénombrable — strictement plus grand que les rationnels, même si les rationnels sont denses.
Pourquoi c'est important
- Le fait que soit irrationnel fut une célèbre découverte pythagoricienne (la légende dit qu'Hippase fut noyé pour l'avoir révélée).
- Que soit irrationnel signifie qu'on ne peut jamais l'écrire comme une fraction.
- Le développement de — la période est au plus .
Comment tester
Si vous avez un nombre, demandez :
- Le décimal est fini → rationnel.
- Le décimal se répète avec une période claire → rationnel.
- Le décimal se poursuit sans répétition (p. ex. , , ) → irrationnel.
Les tests algébriques utilisent la clôture : les rationnels sont clos pour (sauf 0). La somme de deux irrationnels peut être rationnelle (p. ex. ).
At a glance
| Feature | Rationnel | Irrationnel |
|---|---|---|
| Définition | Peut s'écrire p/q (entiers) | Impossible |
| Développement décimal | Fini ou périodique | Infini, non périodique |
| Exemples | 1/2, 0,75, -7, 0,333... | π, e, √2, φ |
| Cardinalité | Dénombrable | Non dénombrable |
| Densité sur la droite réelle | Dense | Dense |
Un nombre est rationnel si et seulement si son développement décimal est fini ou périodique. Sinon irrationnel. La plupart des nombres nommés que vous rencontrez (π, e, √2) sont irrationnels ; la plupart des nombres issus de l'arithmétique des entiers sont rationnels.