Testwiki:Lumière sur/Nombre irrationnel
Modèle:Wikipédia:Lumière sur/Date de publication
Un nombre irrationnel est un nombre réel qui n'est pas rationnel, c'est-à-dire qu'il ne peut pas s'écrire sous la forme d'une fraction , où et sont deux entiers relatifs (avec non nul).
On distingue, parmi les nombres irrationnels, deux sous-ensembles complémentaires : les nombres algébriques non rationnels et les nombres transcendants. Les nombres algébriques peuvent s'exprimer comme racine d'un polynôme à coefficients rationnels ; cet ensemble dénombrable inclut tous les nombres rationnels, mais aussi des irrationnels. Un sous-ensemble intermédiaire est celui des nombres constructibles, d'une grande importance historique car liés aux problèmes de construction à la règle et au compas, essentiels à la géométrie de l'époque d'Euclide. Les nombres non algébriques, comme [[Pi|Modèle:Math]] et [[e (nombre)|Modèle:Math]], sont dits transcendants ; ils sont tous irrationnels. Cependant, certains ensembles de nombres irrationnels peuvent aussi regrouper à la fois des nombres algébriques et des nombres transcendants ; c'est par exemple le cas des nombres calculables. On conjecture également qu'il existe des nombres normaux algébriques, et on en connait qui sont transcendants.
Les premiers nombres irrationnels découverts sont les racines carrées des entiers qui ne sont pas des carrés parfaits, entre autres [[Racine carrée de deux|Modèle:Racine]], dont l'irrationalité a été établie dans l'Antiquité. Celles de Modèle:Math et de Modèle:Math ont été établies bien plus tard, au Modèle:S- ; ce sont les premiers nombres transcendants dont on a prouvé l'irrationalité. Il a de plus été montré au Modèle:S- que presque tous les nombres réels sont irrationnels, et même transcendants. En 2017, on ignore le statut de plusieurs constantes importantes telle que la constante d'Euler-Mascheroni.