Nombre irrationnel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Répartition des réels en irrationnels, rationnels, algébriques et transcendants.

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 sont les nombres pouvant 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 π et e, sont dits transcendants ; ils sont tous irrationnels. Cependant, certains ensembles de nombres irrationnels étudiés 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 2, dont l'irrationalité a été établie dans l'Antiquité. Celles de π et de e ont été établies bien plus tard, au XVIIIe siècle ; ce sont les premiers nombres transcendants[N 1] dont on a prouvé l'irrationalité. Il a de plus été montré au XIXe siècle que presque tous les nombres réels sont irrationnels, et même transcendants. Encore aujourd'hui, on ignore le statut de plusieurs constantes emblématiques telles que la constante d'Euler-Mascheroni.

Sommaire

Histoire[modifier | modifier le code]

Les Śulba-Sūtras, datés d'une période comprise entre 800 et 500 av. J.-C., constituent le plus ancien document connu de l'utilisation de nombres irrationnels. Ils mentionnent, dans le but de construire un autel aux dimensions réglementaires pour un sacrifice, le fait que les longueurs de la diagonale et du côté d'un carré sont incommensurables l'une à l'autre[1]. Les travaux antiques les plus connus concernant les irrationnels ont cependant été produits dans le monde grec.

Antiquité grecque[modifier | modifier le code]

Cette section est en cours de réécriture ou de restructuration importante. Les informations peuvent être modifiées à tout moment par le ou les utilisateurs ayant apposé ce bandeau.
Bandeau apposé par Gokimines (lui écrire) • octobre 2017

L'historiographie a longtemps décomposé l'étude de l'irrationalité en trois grandes étapes : la découverte, sans doute par un Pythagoricien[2], d'un cas particulier de grandeurs non commensurables puis l'établissement de l'irrationalité de quelques exemples analogues et enfin l'étude systématique de celle-ci, notamment par Euclide. Il n'est pas cependant pas aisé de reconstituer l'enchaînement précis des différentes phases, car tous les textes de l'époque ne sont pas connus et ceux qui le sont ont fait l'objet de controverses concernant notamment leur interprétation.

Vocabulaire employé[modifier | modifier le code]

L'une des difficultés de l'étude des textes antiques traitant d'irrationalité réside dans le fait que les termes employés pour ce faire ainsi que leur sens varient selon les époques, et que certains peuvent apparaître conjointement dans un même texte. En grec ancien le concept d'irrationalité peut ainsi être représenté par les mots suivants[3]:

  • ἂρρητος (arrêtos) : inexprimable ;
  • ἀσύμμετρος (asymmetros) : incommensurable, ce terme pouvant être précisé :
    • μήκει ἀσύμμετρος (mêkei asymmetros) : incommensurable en longueur ;
    • σύμμετρος δυνάκει (symmetros dynakei) : commensurable en carré ;
  • ἄλογος (alogos) : littéralement qui ne peut former de rapport ; c'est le plus proche du terme moderne irrationnel.

De tous ces termes, seul ἂρρητος n'apparaît pas dans le livre X des Éléments d'Euclide[3]. En revanche le mot ῥητος (qui d'un point de vue strictement grammatical est le contraire du mot ἂρρητος) est employé comme le contraire du mot ἄλογος signifiant irrationnel ; sa définition inclut cependant le concept σύμμετρος δυνάκει (commensurable en carré)[4] : le nombre serait donc "rationnel" selon cette définition, ce qui n'est pas le cas dans des textes plus anciens comme ceux de Platon[3]. Il y a donc eu un glissement de sens entre les époques des deux auteurs, et notre notion moderne d'irrationalité ne se superpose pas parfaitement à celle d'Euclide. De plus il n'existe pas pour les Grecs de nombre irrationnel, mais des couples de grandeurs telles que la première n'est pas un multiple rationnel de la seconde.

La compréhension des textes est rendue difficile également par l'utilisation de termes techniques traduisant des concepts n'ayant pas d'équivalent dans les langues actuelles. Par exemple le nom δύναμις (dynamis) signifie "puissance" dans la langue courante ce qui fait qu'il a souvent été traduit par "racine carrée". Cependant son sens véritable, probablement emprunté à la finance où il exprime la valeur d'une monnaie, est plutôt la désignation d'un carré dont l'aire est égale à celle d'une surface déjà identifiée[3]; on peut ainsi parler du δύναμις d'un carré dont l'aire est égale à celle d'un rectangle de longueur 2 et de largeur 1. Ce terme, attesté dès l'époque d'Hippocrate de Chios, a généré de nombreux contresens dans plusieurs textes dont le Théétète de Platon[3].

Découverte des irrationnels[modifier | modifier le code]

La date à laquelle la notion d'irrationalité a été découverte par les Grecs n'est pas connue avec certitude : elle est généralement située entre le début du Ve siècle av. J.-C. et le premier quart du IVe siècle av. J.-C.[3].

Contrairement à une idée reçue, rien n'indique cependant avec certitude que la découverte de l'incommensurabilité provienne de l'étude de la diagonale et de l'un des côtés d'un carré[5], propriété équivalente à l'irrationalité de 2. La découverte est parfois attribuée au mathématicien Hippase de Métaponte pour ses travaux sur la section d'extrême et de moyenne raison, maintenant appelée nombre d'or, qui est également le rapport de la longueur de la diagonale d'un pentagone régulier sur celle d'un de ses cotés[6]. Il est également possible que la notion d'irrationalité ait été mise à jour par l'étude du problème arithmétique de la recherche d'un entier qui soit à la fois un carré parfait et le double d'un autre carré parfait[3]; l'insolubilité de ce problème est équivalente à l'irrationalité de 2. Si la découverte en elle-même reste entourée de mystère[7], l'exemple le plus connu chez les intellectuels de l'époque de Platon est celui de l'incommensurabilité de la diagonale et du coté d'un carré[3].

Si la nature exacte des premières grandeurs non-commensurables découvertes n'est pas connue, la manière dont cette non-commensurabilité a été établie l'est tout autant. Plusieurs idées de démonstration sont imaginées, l'une d'elle reposant sur le principe du pair et de l'impair[8],[9]; cette preuve est notamment citée par Aristote[10]. D'autres démonstrations sont imaginées, à l'aide d'une descente infinie ou encore d'un algorithme qu'en termes modernes on apparenterait aux fractions continues, technique ancienne héritée des cultures de Mésopotamie[11].

Débat sur l'existence antique d'une "crise des fondements"[modifier | modifier le code]

Cette découverte ouvrit probablement une crise profonde chez les mathématiciens et les philosophes grecs[12]. Une légende, plusieurs fois rapportée, indique qu'un pythagoricien, parfois nommé Hippase, périt noyé pour avoir révélé aux profanes l'incommensurabilité[13]. Cette légende indiquerait que la découverte serait bien pythagoricienne et qu'elle aurait fait l'objet d'un tabou[14].

Époque moderne[modifier | modifier le code]

Au XVIe siècle, la communauté mathématique accueillit les fractions. Au XVIIe siècle, les mathématiciens employèrent de plus en plus fréquemment les fractions décimales et représentaient déjà ces nombres avec la notation moderne.

Les fractions continues (dues à Cataldi en 1613[15]), étroitement liées aux nombres irrationnels, furent prises en considération par Euler, qui montra ainsi notamment, en 1737[N 2], l'irrationalité de e. Elles prirent de l'importance grâce aux écrits de Joseph-Louis Lagrange[16].

Lambert démontra en 1761 que π n'est pas rationnel et que l'exponentielle de tout rationnel non nul est un irrationnel[N 3]. Pour cela, il montra que la tangente et la tangente hyperbolique de tout rationnel non nul sont des irrationnels, en les approchant par des suites de rationnels issues de fractions continues généralisées particulières. Plus préoccupé à conjecturer la transcendance de π et e, Lambert ne prit pas la peine de remarquer que sa méthode fournit même une démonstration de l'irrationalité de π2. Legendre le fit[17],[18], introduisant au passage les fonctions de Bessel-Clifford (en).

Époque contemporaine[modifier | modifier le code]

Définition rigoureuse des nombres réels[modifier | modifier le code]

Article détaillé : Construction des nombres réels.

Jusqu'au XIXe siècle, l'existence et les propriétés des nombres irrationnels étaient admises sans qu'en fût proposée de définition rigoureuse. En effet — contrairement aux rationnels, qu'il est facile de construire algébriquement à partir des entiers — la notion de nombre réel était encore mal définie au début de la seconde moitié du XIXe siècle.

Deux types de construction rigoureuse des nombres réels ont été proposées dans les années 1870 :

Ces deux approches sont équivalentes[N 4].

Étude de sous-ensembles particuliers d'irrationnels[modifier | modifier le code]

Plusieurs sous-ensembles particuliers de nombres irrationnels sont étudiés durant le XIXe siècle et le XXe siècle. Il était connu depuis l'Antiquité que certains nombres irrationnels tels que 2 sont constructibles, mais ce n'est qu'au XIXe siècle que Wantzel caractérise l'ensemble des nombres constructibles[N 5], qui est le plus petit corps stable par la racine carrée contenant . Cela permet de montrer[N 5] que les problèmes antiques de trisection de l'angle et de duplication du cube sont impossibles à l'aide de la règle et du compas seuls.

À la même période sont aussi étudiés les nombres transcendants, dont les premiers exemples sont exhibés par Liouville en 1844[N 6]. Hermite montre en 1873 la transcendance de e[N 7] et en 1882, Lindemann montre celle de π[N 7]. Ce dernier résultat permet de répondre par la négative[N 5] au problème de la quadrature du cercle, qui était ouvert depuis l'Antiquité grecque. Les nombres transcendants sont par ailleurs l'objet du septième problème de Hilbert, qui demande si le nombre est transcendant dès lors que est algébrique et différent de ou et que est algébrique et irrationnel. La réponse, affirmative, est apportée en 1934 par le théorème de Gelfond-Schneider.

Le XXe siècle voit également l'étude des nombres univers qui contiennent l'ensemble des séquences de chiffres possibles dans leur développement décimal, ainsi que des nombres normaux qui sont des nombres univers particuliers dans le développement décimal desquels toutes les séquences de chiffres d'une longueur donnée sont équiprobables. Bien que Borel ait prouvé en 1909 que presque tous les nombres irrationnels sont normaux en toute base[N 8], on connaît peu de nombres normaux. Parmi ceux dont la normalité a été établie au moins pour la base 10, on peut citer la constante de Champernowne (qui est même transcendante), ou celle de Copeland-Erdős. De plus il est conjecturé que les nombres 2 (et même tous les nombres algébriques irrationnels[21]), π et e sont normaux mais bien que cela semble vrai expérimentalement[21], cela n'a pu être démontré pour aucun de ces exemples.

Le développement de l'informatique théorique dans les années 30 a, parallèlement à cela, mené à l'étude des nombres calculables, c'est-à-dire pour lesquels il existe une machine de Turing capable d'en énumérer les décimales ainsi que de quantifier l'erreur d'approximation. L'ensemble des réels calculables contient l'algèbre des périodes, donc tous les nombres algébriques et π, et il est stable par l'exponentielle. En particulier, tous les nombres non calculables sont transcendants et a fortiori irrationnels. Bien que l'ensemble des réels non calculables soit codénombrable (en), on connait peu de nombres qui en fassent partie. Parmi ceux-ci on trouve par exemple toute limite d'une suite de Specker, dont la définition est liée au problème de l'arrêt.

Propriétés des nombres irrationnels[modifier | modifier le code]

Développement décimal[modifier | modifier le code]

La caractérisation des irrationnels peut s'effectuer via leur développement décimal, grâce au théorème suivant[22], démontré dans l'article détaillé :

Théorème — Un nombre réel est irrationnel si et seulement si son développement décimal propre n'est pas périodique[N 9].

On démontre de même la caractérisation analogue via le développement dans n'importe quelle base (entière et supérieure ou égale à 2).

Développement en fraction continue[modifier | modifier le code]

Les fractions continues permettent entre autres de caractériser l'irrationalité, d'identifier des types particuliers d'irrationnels, et de fournir de bonnes approximations des irrationnels par des rationnels.

Caractérisation de l'irrationalité à l'aide du développement en fraction continue[modifier | modifier le code]

Pour tout nombre réel , le caractère fini ou infini de son développement en fraction continue peut être lié à son caractère rationnel ou irrationnel. Plus précisément[23] :

Théorème — 

  • Tout nombre rationnel peut être représenté par une fraction continue simple finie.
  • Toute fraction continue simple infinie converge vers un nombre irrationnel et tout nombre irrationnel peut être représenté de manière unique par une fraction continue simple infinie.

Cas des irrationnels quadratiques[modifier | modifier le code]

Un irrationnel est dit quadratique s'il est solution d'une équation du second degré à coefficients entiers.

Théorème de Lagrange[N 10] — Un irrationnel est quadratique si et seulement si son développement en fraction continue est périodique[N 9].

Approximation d'un irrationnel par une fraction continue[modifier | modifier le code]

La suite des réduites du développement en fraction continue d'un irrationnel converge vers « rapidement » : toute réduite du développement vérifie [23].

Par exemple, le début du développement en fraction continue de π est [3, 7, 15, 1, 292, …]. À partir de ce début de développement, on trouve comme appproximation de π : avec une erreur inférieure à , c'est-à-dire que l'on a au moins 9 décimales exactes.

Mesure d'irrationalité[modifier | modifier le code]

Article détaillé : Mesure d'irrationalité.

Caractérisation des irrationnels[modifier | modifier le code]

L'ensemble des nombres rationnels est dense dans celui des réels. Par conséquent, pour tout nombre réel , rationnel ou irrationnel, il existe une suite de nombre rationnels qui converge vers . Cependant, tous les réels ne sont pas aussi facilement approchables les uns que les autres. On peut ainsi définir la mesure d'irrationalité de n'importe quel réel . Il s'agit[N 11] de la borne supérieure de l'ensemble des réels μ pour lesquels il existe une infinité de couples d'entiers tels que et . Grossièrement, cela signifie que si un réel a une mesure d'irrationalité supérieure à celle d'un réel alors, à dénominateur égal, il est possible d'approcher plus finement que avec un nombre rationnel.

Les deux théorèmes suivants permettent de différencier un rationnel d'un irrationnel par leur mesure d'irrationalité[24],[25] :

Théorème — 

  • La mesure d'irrationalité de tout nombre rationnel est égale à 1[N 12].
  • La mesure d'irrationalité de tout nombre irrationnel est supérieure ou égale à 2.

On peut renforcer le second point du théorème : si un réel est irrationnel, l'existence d'une infinité de couples d'entiers tels que et est garantie non seulement pour tout , mais même pour . Cela se déduit par exemple de l'approximation d'un irrationnel par la suite infinie des réduites de sa fraction continue (voir supra), ou du théorème d'approximation de Dirichlet.

Ces théorèmes servent de base à divers résultats permettant de montrer, sous certaines hypothèses, l'irrationalité de la somme d'une série dont le terme général est rationnel et qui converge suffisamment rapidement[26].

Valeurs particulières de mesure d'irrationalité[modifier | modifier le code]

Tout irrationnel a une mesure supérieure ou égale à 2 ; elle vaut même exactement 2 pour presque tout réel[N 6]. Il n'est cependant pas toujours aisé de la calculer précisément. Elle est tout de même parfois connue ou au moins estimée :

  • pour tout nombre irrationnel algébrique , est fini d'après le théorème de Liouville, et même égal à d'après le théorème de Roth ;
  • les nombres de Liouville, de mesure infinie par définition, sont les premiers nombres transcendants à avoir été exhibés ;
  •  ;
  •  ;
  • [27], où désigne la constante d'Apéry (voir infra).

Propriétés de l'ensemble des irrationnels[modifier | modifier le code]

Propriétés de clôture[modifier | modifier le code]

L'ensemble des irrationnels vérifie la propriété de clôture suivante : si le carré (ou plus généralement, une puissance entière) d'un réel est un irrationnel, alors ce réel lui-même est irrationnel (par contraposée de la proposition selon laquelle tout produit de rationnels est rationnel). Cela permet, connaissant un nombre irrationnel, d'en construire une infinité d'autres.

On peut aussi, sachant que pour tout nombre irrationnel et tout rationnel , les nombres et sont irrationnels[28], faire agir le groupe projectif linéaire (ou [N 13]) :

Théorème —  Soit un nombre irrationnel. Alors, pour tous rationnels tels que , le réel est irrationnel.

Par exemple :

  • puisque est irrationnel (voir infra), et le nombre d'or le sont aussi ;
  • pour tout angle tel que soit irrationnel, les nombres , et sont irrationnels[29], d'après les formules de réduction du carré.

En revanche, la somme et le produit de deux irrationnels peuvent être rationnels : par exemple, et .

Cardinalité[modifier | modifier le code]

L'ensemble ℝ\ℚ des irrationnels a la puissance du continu, c'est-à-dire qu'il est en bijection avec ℝ, comme le prouve, au choix, l'un des trois arguments suivants :

Propriétés topologiques[modifier | modifier le code]

Les parties et sont toutes les deux denses pour l'ordre dans et a fortiori denses pour la topologie usuelle de ℝ. Pour tous réels , il existe un isomorphisme d'ordres entre et (c'est un cas particulier d'un théorème de Cantor, immédiat si et sont rationnels). Par prolongement canonique, ceci montre que l'ensemble des irrationnels de est — au sens de l'ordre et a fortiori au sens topologique — dense dans et isomorphe à .

Alors que est connexe, le sous-espace des irrationnels est totalement discontinu (puisqu'il ne contient aucun intervalle non trivial).

Dans , les irrationnels forment un Gδ (c'est-à-dire une intersection dénombrable d'ouverts) mais pas un Fσ (c'est-à-dire une union dénombrable de fermés)[N 15]. Autrement dit[N 16] : l'ensemble des points de discontinuité d'une fonction à valeurs réelles peut être égal à [N 17] mais pas à [30].

Alors que l'espace métrique est complet, le sous-espace des irrationnels ne l'est pas (puisqu'il n'est pas fermé dans ). Cependant, par la bijection évoquée ci-dessus, cet espace topologique est homéomorphe à l'espace métrique complet , appelé l'espace de Baire. Ceci démontre que le théorème de Baire s'applique aussi à l'espace des nombres irrationnels.

Exemples de nombres irrationnels et de preuves d'irrationalité[modifier | modifier le code]

Prouver qu'un réel est irrationnel, c'est prouver qu'il n'existe aucun couple d'entier tel que , or un résultat d'inexistence sur un cas particulier est généralement bien plus difficile à établir qu'un résultat d'existence. Ainsi même s'il est possible de montrer qu'un réel ne peut pas s'écrire sous la forme et sont inférieurs à une certaine constante , cela ne suffit pas pour prouver son irrationalité. Par exemple, on sait que si la constante d'Euler-Mascheroni est rationnelle alors ce ne peut être qu'une fraction dont le dénominateur comporte au moins 242 080 chiffres[N 18] mais même si cela conduit à supposer son irrationalité, cela n'en constitue aucunement une preuve. Il existe cependant plusieurs techniques de démonstration qui ont permis de statuer sur l'irrationalité de certains cas particuliers.

Irrationalité de nombres manifestement algébriques[modifier | modifier le code]

Propriété des polynômes à coefficients entiers[modifier | modifier le code]

  • Lorsqu'un nombre algébrique est irrationnel, le théorème suivant permet souvent de le vérifier :
Théorème[31] — Si un rationnel (mis sous forme irréductible) est solution d'une équation polynomiale à coefficients entiers
,
alors divise et divise .
Il n'y a donc qu'un nombre fini de valeurs possibles, que l'on peut essayer à la main. Si aucun de ces rationnels n'est solution, toute solution est irrationnelle.
Exemples
  • Les coefficients extrêmes du polynôme , dont le nombre d'or est racine, sont et , qui ne sont divisibles que par . Comme et ne sont pas racines du polynôme, on retrouve ainsi (voir supra), sans même résoudre l'équation du second degré, que est irrationnel.
  • La racine réelle du polynôme est strictement positive et ne fait pas partie de l'ensemble (car P(3/4) < 0 < P(1)) ; elle est donc irrationnelle.
  • Le nombre est racine du polynôme [N 5], dont aucun rationnel n'est racine[N 19]. Il est par conséquent algébrique de degré 3, donc irrationnel et même non constructible[N 5] (si bien que pour tout entier relatif , , et sont non constructibles).

Corollaire[31] — La racine n-ième d'un entier N > 0 est irrationnelle, sauf si N est la puissance n-ième d'un entier.

Utilisation de l'infinitude du développement en fraction continue[modifier | modifier le code]

Toute fraction continue simple infinie représente un irrationnel (voir supra).

La fraction continue la plus simple est celle du nombre d'or, que l'on peut obtenir directement à partir de l'équation  : . On retrouve ainsi à nouveau que est irrationnel.

Irrationalité de constantes remarquables[modifier | modifier le code]

Il n'y a pas d'entier strictement compris entre 0 et 1. On peut exploiter cette propriété comme suit pour démontrer que e et π sont irrationnels. Ce résultat n'est pas optimal : on peut en effet prouver, bien que les démonstrations soient plus difficiles, que ces deux nombres sont même transcendants[N 7].

Irrationalité de e[modifier | modifier le code]

Article détaillé : Irrationalité de e.

Théorème — Le nombre e est irrationnel.

Fourier redémontre ce résultat d'Euler en utilisant le développement en série entière de la fonction exponentielle, évalué en  : .

Cela lui permet de montrer que pour tout entier b > 0, le nombre b! e a une partie fractionnaire non nulle donc n'est pas entier, et donc que e n'est pas rationnel.

La première preuve de l'irrationalité de e[N 2] a été obtenue en montrant que son développement en fraction continue est infini ; la preuve proposée ici est cependant plus élémentaire.

Irrationalité de π[modifier | modifier le code]

Article détaillé : Irrationalité de π.

Théorème — Le nombre π est irrationnel.

Ivan Niven redémontre par l'absurde ce résultat de Lambert, en supposant que avec et entiers et en construisant, à partir de cette hypothèse, une expression qui est égale à un nombre entier tout en pouvant être strictement comprise entre 0 et 1, ce qui est absurde. Supposer que est rationnel conduit donc à une contradiction, et donc est irrationnel.

Irrationalité de la constante d'Apéry[modifier | modifier le code]

Article détaillé : Théorème d'Apéry.

Il est possible (voir supra) de prouver l'irrationalité d'un réel en exhibant une suite de rationnels convergeant vers « suffisamment vite », c'est-à-dire telle que pour tout on ait . C'est grâce à une telle technique que Roger Apéry a montré en 1978 le résultat suivant, sur l'image de 3 par la fonction ζ de Riemann :

Théorème — La constante d'Apéry est irrationnelle.

Irrationalité de nombres définis par leur développement décimal[modifier | modifier le code]

Non-périodicité du développement dans une base[modifier | modifier le code]

Tout rationnel ayant un développement périodique dans toute base, il suffit, pour prouver qu'un réel est irrationnel, de montrer que dans une certaine base, son développement n'est pas périodique. Cela peut parfois être fait directement comme dans le cas du théorème suivant :

Théorème — La constante des nombres premiers, de développement binaire est irrationnelle.

Ce théorème peut être démontré par l'absurde, en supposant le développement binaire périodique et en montrant que la période sépare un chiffre associé à un nombre premier d'un chiffre associé à un nombre composé[N 21].

Recherche de suites de zéros de longueur arbitraire dans le développement[modifier | modifier le code]

Dans la pratique, la non-périodicité peut être obtenue en établissant l'existence de suites de finies mais de longueur arbitraire. En effet si le nombre est périodique il ne peut comporter des séquences de zéros plus longues que la longueur de sa période à moins d'avoir un développement décimal fini.

Une application élémentaire est fournie par le résultat suivant :

Théorème — La constante de Champernowne est irrationnelle.

En effet, son développement en base n'est pas périodique parce qu'il contient les entiers de la forme pour arbitrairement grand, et donc des suites de finies arbitrairement longues. Ce nombre est en fait même normal et transcendant.

Un exemple moins trivial est le suivant, dont on ignore s'il est algébrique ou transcendant[réf. souhaitée] :

Théorème — La constante de Copeland-Erdős est irrationnelle.

La constante de Copeland-Erdős est définie par est le k-ième nombre premier, et où est la partie entière de son logarithme décimal. C'est-à-dire que le développement décimal de la constante de Copeland-Erdős est la concaténation des éléments de la suite des nombres premiers.

On montre l'irrationalité de en montrant que son développement décimal n'est pas périodique.

L'irrationalité de peut également se déduire du résultat plus général, mais plus difficile à démontrer, selon lequel la constante de Copeland-Erdős est un nombre normal en base 10, joint à la propriété élémentaire suivante :

Propriété[N 8] — Tout nombre normal dans au moins une base est irrationnel.

Autres exemples[modifier | modifier le code]

Séries d'inverses d'entiers particuliers[modifier | modifier le code]

La constante d'Erdős-Borwein , obtenue comme la somme de la série des inverses des nombres de Mersenne, et la somme de la série des inverses des nombres de Fermat[33] [N 22] sont irrationnelles. En effet, des suites arbitrairement longues de zéros ont été mises en évidence dans leur développement en base 2. Le raisonnement mis en œuvre pour ce faire est cependant bien plus technique que dans les exemples précédents.

Logarithmes d'entiers[modifier | modifier le code]

Le nombre log10 2 est irrationnel puisqu'il n'existe pas d'entiers a, b ≠ 0 tels que 2a = 10b ; plus généralement, logn m = ln mln n est irrationnel[N 23] pour tous entiers m, n > 1 qui n'ont pas le même ensemble de facteurs premiers[32] (ou encore : le même radical). Par exemple : log10 15 et log2 6 sont irrationnels.

Problèmes ouverts[modifier | modifier le code]

On ne sait pas si les nombres π + e et π – e sont ou non irrationnels[N 24]. En fait, on ne connait pas de couple d'entiers non nuls m et n pour lequel il serait possible de dire si oui ou non le nombre mπ + ne est irrationnel.[réf. souhaitée] On conjecture cependant que π, e et 1 sont ℚ-linéairement indépendants[N 25].

On ne sait pas plus si 2e, πe, π2, la constante de Khintchine ou la constante γ d'Euler-Mascheroni sont irrationnels. On ignore également, pour tout entier impair n > 3, si ζ(n) est irrationnel. En effet, pour les entiers positifs impairs[N 26], seul le cas de ζ(3) est connu grâce au théorème d'Apéry. Cependant, il a été prouvé que ζ prend une valeur irrationnelle pour une infinité de nombres impairs, dont au moins l'un des quatre nombres 5, 7, 9 ou 11[N 27]. Cependant, des calculs en haute précision rendent extrêmement vraisemblable l'irrationalité et même la transcendance de tous ces nombres.

Certains problèmes ouverts d'autres domaines des mathématiques peuvent être exprimés comme des problèmes d'irrationalité. Par exemple si la constante de Brun était irrationnelle, cela impliquerait la conjecture des nombres premiers jumeaux.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Irrational number » (voir la liste des auteurs).

Notes[modifier | modifier le code]

  1. L'existence même de nombres transcendants n'était cependant pas certaine pour les mathématiciens de l'époque.
  2. a et b Voir la section « Exemple : le nombre e » de l'article « Fraction continue et approximation diophantienne ».
  3. Voir la section « Irrationalité » de l'article « Fraction continue et approximation diophantienne ».
  4. Voir l'article détaillé « Construction des nombres réels ».
  5. a, b, c, d et e Voir l'article « Théorème de Wantzel ».
  6. a et b Voir l'article « Nombre de Liouville ».
  7. a, b et c Voir l'article « Théorème d'Hermite-Lindemann ».
  8. a et b Voir l'article « Nombre normal ».
  9. a et b Dans tout cet article, « périodique » signifie « périodique à partir d'un certain rang ».
  10. Voir la section « Période » de l'article « Fraction continue d'un irrationnel quadratique ».
  11. Pour des définitions équivalentes, voir l'article « Mesure d'irrationalité ».
  12. Voir la section « Propriétés » de l'article « Nombre rationnel ».
  13. En restreignant l'action à , on trouve tous les irrationnels équivalents à un irrationnel donné.
  14. a et b Voir la section « Travaux » de l'article sur Georg Cantor.
  15. En effet, les rationnels forment un Fσ mais pas un Gδ : voir la section « Propriétés élémentaires » de l'article « Hiérarchie de Borel ».
  16. Pour cette équivalence, voir la section « Ensemble des discontinuités d'une fonction » de l'article « Classification des discontinuités ».
  17. C'est le cas par exemple de la fonction de Thomae.
  18. Voir la section « Valeur approchée et propriétés » de l'article « Constante d'Euler-Mascheroni ».
  19. Voir la section « Exemple de preuve d'irrationalité » de l'article « Racine évidente ».
  20. Pour une démonstration directe dans un cadre plus général, voir la section « Fermeture intégrale » de l'article « Lemme d'Euclide ».
  21. Pour le détail de la preuve, voir l'article détaillé.
  22. Suite A051158 de l'OEIS.
  23. Le théorème de Gelfond-Schneider permet alors d'en déduire que ln mln n est même transcendant.
  24. On sait cependant que l'un au moins de ces deux nombres est irrationnel et même transcendant, puisque leur somme, , l'est.
  25. Et même (cf. Conjecture de Schanuel) que π et e sont ℚ-algébriquement indépendants.
  26. Les images des entiers positifs pairs par la fonction ζ sont, elles, transcendantes.
  27. Pour plus de détails, voir la section « Généralisations » de l'article « Théorème d'Apéry ».

Références[modifier | modifier le code]

  1. (en) Mark Siderits et J. Dervin O'Brien, « Zeno and Nāgārjuna on Motion », Philosophy East and West, vol. 26, no 3,‎ , p. 281-299 (JSTOR 1397860).
  2. Szabó 1978, p. 25.
  3. a, b, c, d, e, f, g et h Árpád Szabó (de) (trad. de l'allemand par Michel Federspiel), L'aube des mathématiques grecques [« Entfaltung der grieschischen Mathematik »], Librairie philosophique J. Vrin, (1re éd. 1993), 367 p. (ISBN 2-7116-1279-1), partie III, « L'irrationalité mathématique ».
  4. (en) Euclide (trad. du grec ancien), Les Éléments (lire en ligne), partie X, définition 3.
  5. Benoît Rittaud, « Le Fabuleux destin de 2 », Gazette des mathématiciens, no 107,‎ , p. 28-37 (lire en ligne).
  6. (en) Kurt von Fritz, « The discovery of incommensurability by Hippasus of Metapontum », Ann. Math., vol. 46, no 2,‎ , p. 242-264 (JSTOR 1969021).
  7. « The only certainty about the discovery of irrationality is that Theodorus of Cyrene proved that n (for n = 3, ..., 17 and not a perfect square) is irrational. »(en) Árpád Szabó (de), The Beginnings of Greek Mathematics, Springer, (ISBN 978-90-277-0819-9, lire en ligne), p. 35, citant (de) Walter Burkert, Weisheit und Wissenschaft, , p. 439.
  8. (de) Oskar Becker (en), « Die Lehre von Geraden und Ungeraden im neunten Buch der euklidischen Elemente », Quellen und Studien sur Geschichte der Mathematik, Astronomie und Physik, série B, vol. 3,‎ , p. 533-553.
  9. (de) Árpád Szabó, « Wie ist die Mathematik zu einer deduktiven Wissenschaft geworden? », dans J. Christianidis, Classics in the History of Greek Mathematics, Springer, , 461 p. (ISBN 978-1-4020-2640-9, lire en ligne), p. 45-80.
  10. (en) Thomas Heath, Mathematics in Aristotle [« Les mathématiques chez Aristote »], Oxford, , 310 p. (ISBN 9781317380597, présentation en ligne), partie III, chap. 1 (« Incommensurability of the diagonal (of a square with its side) »)
  11. Voir, pour un exposé des différentes méthodes possibles : Maurice Caveing, L'irrationalité dans les mathématiques grecques jusqu'à Euclide, Éditions du Septentrion, (ISBN 978-2-85939539-1, lire en ligne).
  12. J.-L. Périllié, La découverte des incommensurables et le vertige de l'infini, transcription d’une conférence donnée le 16 mai 2001 à Grenoble.
  13. J.-L. Périllié, op. cit., p. 14.
  14. Sous la forme indiquée ici, la légende est critiquée. Le narrateur principal, Jamblique, est à la fois tardif et imprécis dans ses témoignages. La référence suivante précise que : « Hence, when late writers, like Iamblichus, make ambitious claim for Pythagorean science […], we have occasion for scepticism. », cf. (en) Wilbur Richard Knorr (en), The Evolution of the Euclidean Elements: A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry, D. Reidel, (lire en ligne), p. 5.
  15. (it) Pietro Cataldi, Trattato del modo brevissimo di trovare la radice quadra delli numeri et regole da approssimarsi di continuo al vero nelle radici de' numeri non quadrati, con le cause & invenzioni loro, .
  16. Joseph-Louis Lagrange, De la résolution des équations numériques de tous les degrés, .
  17. A. M. Legendre, Éléments de géométrie, Paris, (lire en ligne), « Note IV. Où l'on démontre que le rapport de la circonférence au diametre et son quarré, sont des nombres irrationnels ».
  18. Voir cependant (en) Rolf Wallisser, « On Lambert's proof of the irrationality of π », dans Franz Halter-Koch et Robert F. Tichy, Algebraic Number Theory and Diophantine Analysis (Graz, 1998), Berlin, Walter de Gruyer,‎ (lire en ligne), p. 521-530.
  19. Jacqueline Boniface, Les constructions des nombres réels dans le mouvement d'arithmétisation de l'analyse, Ellipses, (ISBN 9782729811426).
  20. (de) L. Kronecker, « Ueber den Zahlbegriff », J. reine angew. Math., vol. 101,‎ , p. 337-355 (lire en ligne).
  21. a et b (en) David H. Bailey et Richard Crandall, « On the Random Character of Fundamental Constant Expansions », Experimental Mathematics, vol. 10,‎ , p. 175-190 (lire en ligne).
  22. a et b Hardy Wright 2007, chap. 9.
  23. a et b Hardy Wright 2007, chap. 10.
  24. Hardy Wright 2007, chap. 11.
  25. (en) Yann Bugeaud, Distribution modulo one and Diophantine approximation, Cambridge, Cambridge University Press, coll. « Cambridge Tracts in Mathematics » (no 193), (ISBN 978-0-521-11169-0, DOI 10.1017/CBO9781139017732, zbMATH 1260.11001), p. 246, théorème E.2.
  26. (en) Daniel Duverney, « Irrationality of Fast Converging Series of Rational Numbers », J. Math. Sci. Univ. Tokyo, vol. 8,‎ , p. 275-316 (lire en ligne).
  27. (en) Georges Rhin et Carlo Viola, « The group structure for ζ(3) », Acta Arithmetica, vol. 97, no 3,‎ , p. 269-293 (lire en ligne).
  28. Niven 1961, chap. 4, p. 52.
  29. Niven 1961, chap. 5 (« Trigonometric and Logarithmic Numbers »), p. 68.
  30. Xavier Gourdon, Les maths en tête, t. Analyse, Ellipses, , 2e éd. (1re éd. 1994), 432 p. (ISBN 978-2-7298-3759-4), « Théorème de Baire et applications », p. 406.
  31. a, b et c Niven 1961, chap. 4, § 3 (« Rational roots of polynomial equations »), p. 57-62 ; c'est une variante plus simple du critère d'Eisenstein.
  32. a, b et c Hardy Wright 2007, chap. 4.
  33. (en) Solomon W. Golomb, « On the sum of the reciprocals of the Fermat numbers and related irrationalities », Canad. J. Math., vol. 15,‎ , p. 475-478 (lire en ligne).

Voir aussi[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Aspects mathématiques[modifier | modifier le code]

  • (en) Ivan Niven, Irrational Numbers, (lire en ligne).
  • (en) Ivan Niven, Numbers: Rational and Irrational, The L. W. Singer Company, coll. « New Mathematical Library », , 136 p. (ISBN 978-0883856017, lire en ligne).
  • G. H. Hardy et E. M. Wright (trad. de l'anglais par François Sauvageot, préf. Catherine Goldstein), Introduction à la théorie des nombres [« An Introduction to the Theory of Numbers »] [détail de l’édition], particulièrement les chapitres 4 (« Nombres irrationnels »), 9 (« L'écriture décimale des nombres »), 10 (« Fractions continues ») et 11 (« Approximations des irrationnels par des rationnels »).

Aspects historiques[modifier | modifier le code]

Lien externe[modifier | modifier le code]

(en) Eric W. Weisstein, « Irrational Number », MathWorld

Articles connexes[modifier | modifier le code]