Nombre irrationnel

Représentation des nombres irrationnels selon la répartition des réels en nombres rationnels, constructibles, algébriques et transcendants. Cliquez sur un des nombres du schéma pour plus d'informations concernant l'élément choisi. (Image source) v · d · m

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 $a / b$ , où $a$ et $b$ sont deux entiers relatifs (avec $b$ non nul). Les nombres irrationnels peuvent être caractérisés de manière équivalente comme étant les nombres réels dont le développement décimal n'est pas périodique^{[N 1]} ou dont le développement en fraction continue est infini.

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 définis comme les racines des polynômes à coefficients rationnels ; cet ensemble dénombrable inclut tous les nombres rationnels, mais aussi certains irrationnels. Les nombres non algébriques, comme $π$ et $e$ , sont dits transcendants ; ils sont tous irrationnels. Cependant, certains ensembles de nombres irrationnels classiquement é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é ; plus généralement les nombres constructibles irrationnels, sous-ensemble des nombres algébriques dans lequel on trouve entre autres le nombre d'or, ont une grande importance historique car ils sont liés aux problèmes de construction à la règle et au compas essentiels à la géométrie de l'époque d'Euclide.

L'irrationalité de $π$ et celle de $e$ ont été établies bien plus tard, au XVIII^e siècle ; ce sont les premiers nombres transcendants dont on a prouvé l'irrationalité. Il a de plus été montré au XIX^e siècle que presque tous les nombres réels sont irrationnels, et même transcendants. En 2018, on ignore le statut de plusieurs constantes importantes telle que la constante d'Euler-Mascheroni.

Histoire

Les travaux antiques les plus connus concernant les irrationnels ont été produits dans le monde grec^[1].

Antiquité grecque

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 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é

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 dynamei : 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 lexical 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 √2 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 la 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^[5].

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, mais cette acception n'a pas de sens dans les textes mathématiques antiques. Il a souvent été traduit par « racine carrée » en raison du contexte dans lequel il est employé. 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] ; ainsi, le δύναμις d'un rectangle de longueur $2$ et de largeur $1$ est un carré d'aire $2$ . Ce terme, attesté dès l'époque d'Hippocrate de Chios, a introduit de nombreux contresens dans l'interprétation de plusieurs textes, dont le Théétète de Platon^[3].

Découverte des irrationnels

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 V^e siècle av. J.-C. et le premier quart du IV^e siècle av. J.-C.^[3]. Elle est en tout cas antérieure au livre de Démocrite intitulé Des Nombres irrationnels et des Solides, qui date de cette période.

Contrairement à une idée reçue, rien n'indique 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é^[6], 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 côtés^[7]. 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 en effet équivalente à l'irrationalité de √2. Si la découverte en elle-même reste entourée de mystère, l'exemple le plus connu chez les intellectuels de l'époque de Platon est celui de l'incommensurabilité de la diagonale et du côté d'un carré^[3].

La nature exacte des premières grandeurs non commensurables découvertes n'est pas connue, et la manière dont cette non-commensurabilité a été établie ne l'est pas plus et plusieurs idées de démonstration ont été imaginées. L'une d'elles repose sur le principe du pair et de l'impair^[8]^,^[9], elle est notamment citée par Aristote^[10]. D'autres reconstitutions des preuves antiques sont envisagées : certaines ont recours à une descente infinie, d'autres à un algorithme qu'en termes modernes on apparenterait aux fractions continues. Cette dernière technique serait héritée des cultures de Mésopotamie^[11].

Étude ultérieure des irrationnels

À la suite de la découverte d'un cas particulier d'irrationalité, il y a longtemps eu consensus pour affirmer que l'étude des grandeurs incommensurables s'était poursuivie par l'établissement par Théodore de Cyrène d'autres exemples se ramenant aux nombres $\sqrt n$ (pour $n$ entier non carré compris entre $3$ et $17$ )^[12]. Cette supposition a donné lieu à des recherches concernant la méthode utilisée pour ce faire, et les raisons qui ont empêché Théodore de Cyrène d'aller plus loin que √17^[13] ; il est cependant probable qu'elle soit erronée^[3]. En effet, elle résulte d'un passage du Théétète, mais le texte de Platon ne mentionne pas de démonstration et n'indique donc pas que Théodore en aurait produit une^[3]. Une autre hypothèse est que les premières preuves d'irrationalité reposent essentiellement sur la notion de parité, ce qui ne permet pas de montrer l'irrationalité de √17^[14].

Il est difficile, en l'état actuel des connaissances, de proposer une chronologie précise des débuts de l'étude grecque de l'incommensurabilité^[3]. Le livre X des Éléments, écrit vers -300, présente une classification des grandeurs irrationnelles ; on ne sait cependant pas de quand datent les propositions qui y sont démontrées, les textes mathématiques antérieurs étant perdus^[3].

Par la suite, les mathématiciens grecs ont développé des méthodes d'évaluation de grandeurs incommensurables. Archimède a notamment utilisé la méthode d'exhaustion pour donner une estimation de $π$ et Héron d'Alexandrie expose une méthode pour évaluer une racine carrée^{[N 2]}.

Débat sur l'existence antique d'une « crise des fondements »

Une légende, plusieurs fois rapportée, indique qu'un pythagoricien, parfois nommé Hippase de Métaponte, périt noyé (jeté à la mer depuis une barque) pour avoir révélé aux profanes l'incommensurabilité^[15]. Cette légende indiquerait que la découverte serait bien pythagoricienne et qu'elle aurait fait l'objet d'un tabou^[16] ; elle est souvent citée pour accréditer la thèse selon laquelle l'irrationalité aurait posé un problème fondamental aux mathématiciens antiques.

L'existence d'une crise profonde chez les mathématiciens et les philosophes grecs due à la découverte de l'irrationalité a été longtemps admise par les historiens^[17], et ce dès les travaux de Paul Tannery en 1887^[18], et plus encore dans les premières décennies du XX^e siècle^[19]. D'autres historiens ont par la suite émis l'hypothèse que la crise engendrée par les irrationnels était plutôt une reconstruction a posteriori par laquelle les mathématiciens du XX^e siècle auraient calqué leur crise des fondements sur l'Antiquité, en jugeant les travaux mathématiques grecs à l'aune de concepts mathématiques modernes. Des recherches menées dans la seconde moitié du XX^e siècle ont ainsi battu en brèche le concept de « crise antique des fondements »^[20].

Moyen-Orient médiéval

Le Moyen Âge voit le développement de l'algèbre au sein des mathématiques arabes, ce qui permet aux nombres irrationnels de devenir des objets de même nature algébrique que les entiers et les nombres rationnels^[21]. Les mathématiciens du monde arabo-musulman cessent en effet, contrairement à ceux du monde grec qui les ont précédés, de ne manipuler des grandeurs géométriques que par leurs rapports^[22]. Dans son commentaire du livre X des Éléments, le mathématicien persan Al-Mahani étudie et classifie les irrationnels quadratiques et cubiques, en les considérant comme des nombres à part entière bien qu'il utilise également un point de vue géométrique pour les désigner^[22]. Il donne en outre une approche algébrique des irrationnels, en expliquant que si l'on additionne ou multiplie un irrationnel et un rationnel (non-nul dans le cas du produit), le résultat est irrationnel^[22].

Le mathématicien égyptien Abū Kāmil Shujā ibn Aslam est le premier à accepter qu'un nombre irrationnel représenté par une racine carrée, cubique ou Racine n-ième puisse être solution d'une équation quadratique ou qu'il soit un coefficient d'une équation^[23].

Les mathématiciens arabes ont aussi repris et perfectionné des méthodes d'approximation numérique ; les 16 premières décimales de $π$ sont par exemple trouvées par Al-Kashi grâce à des méthodes géométriques^[24].

Époque moderne

Débats sur la nature des nombres irrationnels

« IRRATIONNEL, adject. (Arithm. & Alg.) les nombres irrationnels sont les mêmes que les nombres sourds ou incommensurables. Voyez Incommensurable, Sourd, & Nombre. »
« INCOMMENSURABLE, adj. (terme de Géométrie.) il se dit de deux quantités qui n’ont point de mesure commune, quelque petite qu’elle soit, pour mesurer l’une & l’autre. Voyez Commensurable, Sourd & Irrationnel. »
« SOURD, adj. en termes d’Arithmétique, signifie un nombre qui ne peut être exprimé, ou bien un nombre qui n’a point de mesure commune avec l’unité. Voyez Nombre. C’est ce qu’on appelle autrement nombre irrationnel ou incommensurable. Voyez Irrationnel & Incommensurable. »

Définitions de nombre irrationnel, incommensurable et sourd selon l’Encyclopédie de Diderot et D'Alembert.

Au XVI^e siècle, la communauté mathématique accueille les fractions. Au XVII^e siècle, les mathématiciens emploient de plus en plus fréquemment les fractions décimales et représentent déjà ces nombres avec la notation moderne. La notation décimale permet des calculs numériques sur les nombres irrationnels^[25]. Pourtant bien que ceux-ci soient utilisés couramment, le débat sur leur nature n'est pas tranché. Simon Stevin et Isaac Newton considèrent que les irrationnels, appelés à l'époque « nombres sourds », sont des nombres au même titre que les entiers et les rationnels^[25] tandis que d'autres comme Blaise Pascal conservent le cadre fourni par les Éléments d'Euclide, dans lequel les irrationnels ne sont pas des nombres^[25]. Dans l'Encyclopédie, D'Alembert rend compte des deux positions et prend parti pour l'idée selon laquelle les irrationnels ne sont pas des nombres, mais qu'ils sont approchables par ceux-ci avec une précision aussi fine que l'on veut^[25]^,^[26]^,^[27]. Abraham Kästner propose par la suite d'expliquer les propriétés algébriques des nombres irrationnels par celles des rationnels, qu'il peut étendre grâce à la densité des rationnels dans les irrationnels^[25].

Méthodes d'approximation numérique

Isaac Newton met au point à la fin du XVII^e siècle un algorithme permettant le calcul numérique de racines de polynômes, a priori irrationnelles^{[N 3]}. Cet algorithme, connu depuis sous le nom de méthode de Newton, a ensuite été adapté pour calculer les zéros de fonctions non polynomiales.

Dans le cas particulier du nombre $π$ , John Machin publie en 1706 une formule donnant $π$ à l'aide de la fonction arc tangente :

{\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}

.

Une amélioration de cette formule par Jurij Vega lui permet en 1789 de calculer $π$ avec une précision de 126 décimales^{[N 4]}. D'autres formules permettant d'exprimer $\pi$ ont été exhibées au XVIII^e siècle, notamment la résolution par Euler du problème de Bâle qui donne une identité, peu utile pour un calcul pratique, reliant $π$ et la série des inverses des carrés des entiers^[28] :

\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}

.

Un autre exemple d'identité, lui aussi peu utile pour un calcul pratique, permettant le calcul numérique de $π$ est fourni par la formule de Leibniz, découverte en Europe au XVII^e siècle, mais qui était déjà connue de manière indépendante en Inde depuis deux siècles par l'école du Kerala^{[N 5]} :

\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}={\frac {1}{1}}-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}-\cdots ={\frac {\pi }{4}}

.

Des approximations d'autres constantes mathématiques sont publiées, notamment pour la constante $γ$ d'Euler : celui-ci en calcule 16 décimales dès 1781 en utilisant la formule d'Euler-Maclaurin^[29]^,^{[N 6]}.

Découverte de nouveaux nombres irrationnels

Les fractions continues (dues à Cataldi en 1613^[30]), étroitement liées aux nombres irrationnels, sont prises en considération par Euler, qui montre ainsi^{[N 7]} notamment, en 1737, l'irrationalité de $e$ et de $e 2$ ^[31].

Lambert démontre en 1761 que $π$ n'est pas rationnel. Pour cela, il montre que la tangente et la tangente hyperbolique de tout rationnel non nul sont des irrationnels^[31], en les approchant par des suites de rationnels issues de fractions continues généralisées particulières^{[N 8]}. Il conjecture par la suite la transcendance de $π$ et $e$ , mais ne remarque pas que sa méthode fournit une démonstration que $π 2$ est lui aussi irrationnel^{[N 9]}. Cette constatation est faite plus tard par Legendre^[32]^,^[33]. Lambert montre également que l'exponentielle et le logarithme de tout rationnel non nul (et également différent de 1 dans le cas du logarithme) est un irrationnel^[25].

Époque contemporaine

Définition rigoureuse des nombres réels

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

Jusqu'au XIX^e siècle, l'existence et les propriétés des nombres irrationnels sont admises sans qu'en soit 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 est encore mal définie au début de la seconde moitié du XIX^e siècle. L'une des premières tentatives en ce sens remonte aux travaux de Bernard Bolzano dans la première moitié du XIX^e siècle, mais ces travaux sont peu diffusés et n'influencent guère les constructions ultérieures^[34]. Karl Weierstrass travaille également sur la formalisation des nombres réels comme limites de rationnels, mais il ne publie rien à ce sujet et cette partie de son œuvre n'est connue que par les notes prises par son étudiant Adolf Hurwitz ayant suivi ses cours ; notes qui ne sont cependant pas publiées avant les années 1880^[34].

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

Méray, puis Cantor et Heine après lui, fondent leur construction sur des propriétés analytiques des suites de rationnels^[34] ; les nombres réels y sont les classes d'équivalence des suites de Cauchy de rationnels par la relation d'équivalence telle que deux suites sont en relation si et seulement si leur différence tend vers $0$ . Cette approche revient intuitivement à définir les réels comme les limites de suites de Cauchy rationnelles. On construit ainsi $\mathbb {R}$ comme un espace complet ;
l'approche de Dedekind, poursuivie par Tannery et Kronecker^[35], se fonde elle aussi sur la théorie des ensembles. Un réel y est défini comme une coupure de Dedekind, correspondant intuitivement à l'ensemble des rationnels qui le minorent strictement : ainsi, √2 correspond à l'ensemble des rationnels négatifs ou de carré inférieur à 2.

Ces deux approches sont équivalentes^{[N 10]}.

Étude de sous-ensembles particuliers d'irrationnels

Plusieurs sous-ensembles particuliers de nombres irrationnels sont étudiés durant les XIX^e et XX^e siècles. Il était connu depuis l'Antiquité que certains nombres irrationnels tels que √2 sont constructibles, mais ce n'est qu'au XIX^e siècle que Wantzel caractérise l'ensemble des nombres constructibles^{[N 11]}, qui est le plus petit corps stable par la racine carrée contenant $\mathbb {Q}$ . Cela permet de montrer^{[N 11]} 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 12]}^,^{[N 13]}. Hermite montre en 1873 la transcendance de $e$ ^{[N 14]} et en 1882, Lindemann montre celle de $π$ ^{[N 14]}. Ce dernier résultat permet de répondre par la négative^{[N 11]} 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 $a b$ est transcendant dès que $a$ est algébrique et différent de $0$ ou $1$ et que $b$ est algébrique et irrationnel. La réponse, affirmative, est apportée en 1934 par le théorème de Gelfond-Schneider.

Le XX^e 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 15]}, 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^[36]), $π$ et $e$ sont normaux mais bien que cela semble vrai expérimentalement^[36], cela n'a pu être démontré pour aucun de ces exemples.

Le développement de l'informatique théorique dans les années 1930 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, 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.

Informatique et calcul numérique

Avant l'essor de l'informatique à la fin des années 1940, il était extrêmement laborieux de calculer effectivement plus de quelques centaines de décimales d'un nombre irrationnel donné. En 1940, on ne connaissait par exemple que 527 décimales exactes de $π$ , grâce au travail de William Shanks publié en 1873^[37]^,^{[N 16]}. En 1949, l'ordinateur ENIAC en donne 2 037 en 70 h, en utilisant la formule de Machin^[37].

Des algorithmes génériques sont développés, comme la transformée de Fourier rapide qui accélère le calcul des multiplications^[37]. Dans le même temps, la puissance de calcul des ordinateurs augmente de manière exponentielle. Ainsi en 1978, on connaissait déjà 116 000 décimales de $e$ ^[38] et en 2000, plus de 10¹² décimales de $π$ ^[37] et plus d'un million de décimales de la constante $γ$ d'Euler^[39] étaient calculées^{[N 6]}.

Des algorithmes spécifiques sont également conçus pour le calcul de certains nombres en particulier. Dans le cas de $π$ , les premiers algorithmes utilisant des formules proches de la formule de Machin sont ainsi abandonnés au profit d'autres formules plus efficaces, comme celle obtenue par Ramanujan en 1914^[37] :

{\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}396^{4k}}}

.

Les premiers calculs d'approximations de nombres irrationnels donnaient toutes les décimales de la première jusqu'à une borne plus ou moins élevée, mais on ne savait pas calculer une décimale donnée sans connaître celles qui la précèdent^[37]. En 1995, les mathématiciens Simon Plouffe, David H. Bailey et Peter Borwein découvrent la formule BBP, qui permet de calculer tout chiffre du développement de $π$ en base 16 sans avoir à déterminer ceux qui précèdent^[37]^,^{[N 17]}. Avant de découvrir cette formule, ils avaient déjà établi qu'il est possible de calculer séparément tout chiffre du développement binaire du logarithme de $2$ grâce à l'égalité^[37] :

\ln 2=\sum _{n=1}^{\infty }{\frac {1}{n2^{n}}}

.

Propriétés des nombres irrationnels

Développement décimal

Article détaillé : Développement décimal périodique et nombre rationnel.

La caractérisation des irrationnels peut s'effectuer via leur développement décimal, grâce au théorème suivant^[40], 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 1]}.

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).

Ainsi le calcul du développement d'un nombre rationnel est aisé puisqu'il n'y a qu'un nombre limité de chiffres à calculer pour le caractériser complètement, tandis que le calcul des développements de nombres irrationnels nécessite généralement la mise en œuvre de techniques mathématiques d'autant plus avancées que la précision souhaitée est élevée (voir supra).

Développement en fraction continue

Articles détaillés : Fraction continue et Table de constantes mathématiques.

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

Pour tout nombre réel $x$ , 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^[41] :

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

Article détaillé : Fraction continue d'un irrationnel quadratique.

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

Théorème de Lagrange^{[N 18]} — Un irrationnel est quadratique si et seulement si son développement en fraction continue est périodique^{[N 1]}.

Application à l'approximation des irrationnels

La suite des réduites du développement en fraction continue d'un irrationnel $x$ converge vers $x$ « rapidement » : toute réduite $p/q$ du développement vérifie $\left|x-p/q\right|<1/q^{2}$ ^[41].

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 approximation de $π$ : $\pi \approx {\frac {103\;993}{33\;102}}\approx 3{,}14159265301$ avec une erreur inférieure à ${\frac {1}{33\;102^{2}}}<10^{-9}$ , c'est-à-dire que l'on a au moins 9 décimales exactes.

Il est possible de comparer la précision obtenue en approchant un irrationnel par les premiers termes de son développement en fraction continue ou par les premiers chiffres de son développement décimal. En effet pour presque tout irrationnel $x$ , le théorème de Lochs affirme que les $m$ premiers entiers du développement en fraction continue de $x$ donnent asymptotiquement ${\frac {\pi ^{2}}{6\ln 2\ln 10}}m\approx 1{,}03064083m$ décimales exactes.

Mesure d'irrationalité

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

Caractérisation des irrationnels

L'ensemble des nombres rationnels est dense dans celui des réels. Par conséquent, pour tout nombre réel $x$ , rationnel ou irrationnel, il existe une suite de nombres rationnels qui converge vers $x$ . 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 $x$ . Il s'agit de la borne supérieure de l'ensemble des réels $μ$ pour lesquels il existe une infinité de couples $(p,q)$ d'entiers tels que $q>0$ et $0<\left|x-p/q\right|<1/q^{\mu }$ . Intuitivement, cela signifie que si un réel $x$ a une mesure d'irrationalité supérieure à celle d'un réel $x'$ alors, à dénominateur égal, il est possible d'approcher $x$ plus finement que $x'$ avec un nombre rationnel.

Le théorème suivant permet de différencier un rationnel d'un irrationnel par leur mesure d'irrationalité^[42]^,^[43] :

Théorème —

La mesure d'irrationalité de tout nombre rationnel est égale à 1.
La mesure d'irrationalité de tout nombre irrationnel est supérieure ou égale à 2^{[N 19]}.

On peut renforcer le second point du théorème : si un réel $x$ est irrationnel, l'existence d'une infinité de couples $(p,q)$ d'entiers tels que $q>0$ et $\left|x-p/q\right|<1/q^{\mu }$ est garantie non seulement pour tout $\mu <2$ , mais même pour $\mu =2$ . 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^[44].

Valeurs particulières de mesure d'irrationalité

Tout irrationnel $x$ a une mesure $\mu (x)$ supérieure ou égale à 2 ; elle vaut même exactement 2 pour presque tout réel^{[N 13]}. 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 $\alpha$ , $\mu (\alpha )$ est fini d'après le théorème de Liouville, et même égal à $2$ 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 ;
$\mu (\mathrm {e} )=2$ ;
$2\leq \mu (\pi )<7{,}11$ ^[45];
$2\leq \mu \left(\zeta (3)\right)<5{,}52$ ^[46], où $\zeta (3)$ désigne la constante d'Apéry (voir infra).
$\mu \left(C_{10}\right)=10$ ^[47]^,^{[N 20]} où $C_{10}$ désigne la constante de Champernowne (voir infra).

Exemples d'applications

La mesure d'irrationalité peut être utilisée pour montrer l'irrationalité de certains nombres comme la constante d'Apéry (voir infra) ou de la somme de la série des inverses des nombres de Fibonacci (voir infra) ;
En exploitant le fait que $\textstyle {\pi }$ est irrationnel (voir infra) et donc a une mesure d'irrationalité supérieure à 2, on peut montrer que le terme général de la série $\sum _{n\in \mathbb {N^{*}} }{\frac {1}{n^{2}\sin ^{2}n}}$ ne tend pas vers 0 et donc que celle-ci diverge^[48];
La nature, convergente ou divergente, de la série $\sum _{n\in \mathbb {N^{*}} }{\frac {1}{n^{3}\sin ^{2}n}}$ n'est pas connue en 2023, mais si elle converge cela impliquerait que la mesure d'irrationalité de $\textstyle {\pi }$ est inférieure ou égale à 2,5^[49].

Approximations simultanées

La mesure d'irrationalité de tout nombre irrationnel est supérieure ou égale à 2 (voir supra). Par conséquent si l'on se donne un nombre $\varepsilon >0$ et un nombre irrationnel $\xi$ , il est possible de trouver un entier $q$ tel que le produit $q\xi$ soit à une distance inférieure à $\varepsilon$ d'un entier^{[N 21]}.

On peut en fait trouver un tel entier $q$ même si l'on se donne un nombre $n$ arbitraire d'irrationnels $\xi _{1},\dots ,\xi _{n}$ quelconques à approcher d'un entier avec une erreur arbitrairement petite^[42]:

Théorème d'approximation de Dirichlet — Soit $\xi _{1},\dots ,\xi _{n}$ des nombres irrationnels et soit $\varepsilon >0$ . Il existe un entier $q$ tels que tous les produits $q\xi _{1},\dots ,q\xi _{n}$ diffèrent d'un entier d'au plus $\varepsilon$ .

Il est possible, avec quelques restrictions, d'étendre ce résultat à l'approximation de nombres quelconques^[50] :

Théorème de Kronecker — Soit $\alpha _{1},\dots ,\alpha _{k}$ des nombres quelconques et soit $\varepsilon >0$ et $N\in \mathbb {N}$ . Soit $\theta _{1},\dots ,\theta _{k}$ des nombres irrationnels ℚ-linéairement indépendants. Alors il existe un entier $n>N$ tel que pour tout $m\in \{1\dots ,k\}$ , $|n\theta _{m}-\alpha _{m}|$ diffère d'un entier d'au plus $\varepsilon$ .

Propriétés de l'ensemble des irrationnels

Propriétés de clôture

L'ensemble ℚ a une structure de corps commutatif, cela permet de déduire des résultats généraux sur l'irrationalité de sommes et de produits impliquant à la fois rationnels et irrationnels. L'ensemble des irrationnels vérifie par exemple 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 $\alpha$ et tout rationnel $r\neq 0$ , les nombres $\alpha +r$ et ${\frac {r}{\alpha }}$ sont irrationnels^[51], faire agir le groupe projectif linéaire $\operatorname {PGL} (2,\mathbb {Q} )$ (ou $\operatorname {PGL} (2,\mathbb {Z} )$ ^{[N 22]}) :

Théorème — Soit $\alpha$ un nombre irrationnel. Alors, pour tous rationnels $a,b,c,d$ tels que $ad-bc\neq 0$ , le réel ${\frac {a\alpha +b}{c\alpha +d}}$ est irrationnel.

Par exemple :

puisque ${\sqrt {5}}$ est irrationnel (voir infra), $-{\sqrt {5}}$ et le nombre d'or $\varphi ={\frac {1+{\sqrt {5}}}{2}}$ le sont aussi ;
pour tout angle $\theta$ tel que $\cos(2\theta )$ soit irrationnel, les nombres $\cos \theta$ , $\sin \theta$ et $\tan \theta$ sont irrationnels^[52], d'après les identités trigonométriques $\cos(2\theta )=2\cos ^{2}\theta -1=1-2\sin ^{2}\theta ={\frac {1-\tan ^{2}\theta }{1+\tan ^{2}\theta }}$ .

En revanche, la somme et le produit de deux irrationnels peuvent être rationnels : par exemple, $-{\sqrt {5}}+{\sqrt {5}}=0$ et $-{\sqrt {5}}\times {\sqrt {5}}=-5$ .

Un irrationnel (strictement positif) élevé à une puissance irrationnelle peut être rationnel^{[N 23]} ou irrationnel, voire transcendant^{[N 24]}. D'après la sous-section suivante, on a même : pour tout réel $x > 0$ différent de $1$ , $x y$ est transcendant pour « presque tous » les réels $y$ (tous sauf un ensemble dénombrable), en particulier pour « presque tout » irrationnel $y$ .

Cardinalité

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 :

ℝ est indénombrable^{[N 25]} (et même équipotent à l'ensemble des parties de ℕ) tandis que ℚ est dénombrable ;
le sous-ensemble de ℝ\ℚ constitué des réels transcendants a déjà la puissance du continu, puisque l'ensemble des réels algébriques est encore dénombrable^{[N 25]} ;
le développement d'un irrationnel en fraction continue fournit une bijection entre ℝ\ℚ et l'ensemble ℕ^ℕ de toutes les suites d'entiers positifs.

Ceci revient à une démonstration par l'absurde : comme $\mathbb {R}$ $\mathbb {=}$ $\mathbb {Q}$ ∪ $\mathbb {Q} '$ , l'ensemble des rationnels (ℚ) et l'ensemble des irrationnels (ℝ\ℚ ou ℚ’) sont complémentaires en ℝ ; or comme l'ensemble ℚ est dénombrable, si ℝ\ℚ était dénombrable, leur réunion ℝ serait dénombrable^[53]. Or, comme Cantor l'a démontré avec son célèbre « argument de la diagonale », ℝ est indénombrable, alors l'un au moins de ses sous-ensembles complémentaires l'est, et « l’ensemble ℝ\ℚ des nombres irrationnels n’est pas dénombrable »^[53].

Propriétés topologiques

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 $a<b$ , il existe un isomorphisme d'ordres entre ℚ $~\cap ~]a,b[$ et ℚ (c'est un cas particulier d'un théorème de Cantor, immédiat si $a$ et $b$ sont rationnels). Par prolongement canonique, ceci montre que l'ensemble des irrationnels de $]a,b[$ est — au sens de l'ordre et a fortiori au sens topologique — dense dans $]a,b[$ 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 26]}. Autrement dit^{[N 27]} : l'ensemble des points de discontinuité d'une fonction à valeurs réelles peut être égal à ℚ^{[N 28]} mais pas à ℝ\ℚ^[54].

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 $\mathbb {N} ^{\mathbb {N} }$ , 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é

Prouver qu'un réel $x$ est irrationnel, c'est prouver qu'il n'existe aucun couple d'entier $(p,q)$ tel que $x={\frac {p}{q}}$ , or un résultat d'inexistence sur un cas particulier est généralement bien plus difficile à établir qu'un résultat d'existence^[55]. Ainsi même s'il est possible de montrer qu'un réel $x$ ne peut pas s'écrire sous la forme $x={\frac {p}{q}}$ où $p$ et $q$ sont inférieurs à une certaine constante $C$ , 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 29]} 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

Exemple préliminaire

Article détaillé : Irrationalité de √2.

Le nombre √2 est l'un des premiers dont on ait prouvé l'irrationalité. Celle-ci peut en effet être obtenue grâce à des considérations élémentaires de parité^[13]^,^{[N 30]} :

Preuve élémentaire de l'irrationalité de √2

On raisonne par l'absurde. Supposons que ${\sqrt {2}}$ soit un nombre rationnel, il existe alors deux entiers $a$ et $b$ premiers entre eux tels que ${\sqrt {2}}={\frac {a}{b}}$ ce qui est équivalent à dire que $2b^{2}=a^{2}$ . L'entier $a^{2}$ est donc pair, et par conséquent $a$ est pair, ce qui s'écrit $a=2k$ où $k$ est un entier. Mais alors comme $2b^{2}=a^{2}$ , il s'ensuit que $b^{2}=2k^{2}$ et donc $b^{2}$ et $b$ sont pairs.

$a$ et $b$ sont donc tous les deux pairs et ne sont donc pas premiers entre eux. On a donc abouti à une contradiction en supposant ${\sqrt {2}}$ rationnel. C'est donc un nombre irrationnel.

Propriété des polynômes à coefficients entiers

Lorsqu'un nombre algébrique est irrationnel, le théorème suivant permet souvent de le vérifier :

Théorème^[56] — Si un rationnel

x={\frac {a}{b}}

(mis sous forme irréductible) est solution d'une équation polynomiale à coefficients entiers

c_{n}x^{n}+c_{n-1}x^{n-1}+\dots +c_{1}x+c_{0}=0

, alors

a

divise

c_{0}

et

b

divise

c_{n}

.

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 $X^{2}-X-1$ , dont le nombre d'or $\varphi$ est racine, sont $1$ et $-1$ , qui ne sont divisibles que par $\pm 1$ . Comme $1$ et $-1$ ne sont pas racines du polynôme, on retrouve ainsi (voir supra), sans même résoudre l'équation du second degré, que $\varphi$ est irrationnel.
La racine réelle du polynôme $P(X)=4X^{5}+X-3$ est strictement positive et ne fait pas partie de l'ensemble $\left\{{\frac {1}{4}},{\frac {1}{2}},{\frac {3}{4}},1,{\frac {3}{2}},3\right\}$ (car P(3/4) < 0 < P(1)) ; elle est donc irrationnelle.
Le nombre $\cos \left(\pi /9\right)$ est racine du polynôme $8X^{3}-6X-1$ ^{[N 11]}, dont aucun rationnel n'est racine^{[N 31]}. Il est par conséquent algébrique de degré 3, donc irrationnel et même non constructible^{[N 11]} (si bien que pour tout entier relatif $n$ , $\cos \left(2^{n}\pi /9\right)$ , $\sin \left(2^{n}\pi /9\right)$ et $\tan \left(2^{n}\pi /9\right)$ sont non constructibles)^{[N 32]}.

Dans le théorème ci-dessus, si de plus $c_{n}=1$ , alors $b=1$ donc $x=a$ (entier)^[56]. Autrement dit : tout entier algébrique non entier est irrationnel^{[N 33]}. En particulier, on obtient ainsi une généralisation de la preuve de l'irrationalité de √2 par le lemme de Gauss^[13] :

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

Nombre d'or : une seconde preuve

Toute fraction continue simple infinie représente un irrationnel, et si cette fraction continue est périodique alors l'irrationnel est quadratique (voir supra).

La fraction continue la plus simple est celle du nombre d'or, que l'on peut obtenir directement à partir de l'équation $\varphi =1+{\frac {1}{\varphi }}$ :

\varphi =1+{\cfrac {1}{1+{\cfrac {1}{1+\cdots }}}}

.

On retrouve ainsi à nouveau que le nombre algébrique $\varphi$ est irrationnel.

Fonctions trigonométriques

Article détaillé : Théorème de Niven.

Théorème — Si un angle en degrés est rationnel et n'est pas un multiple de 30° ni 45°, alors son cosinus, son sinus et sa tangente sont irrationnels^[57]^,^{[N 34]}.

C'est un corollaire du calcul du degré des nombres algébriques $cos(r π)$ , $sin(r π)$ et $tan(r π)$ pour $r$ rationnel, mais on peut aussi le démontrer par une preuve sans mots utilisant la méthode de descente infinie dans un réseau à deux dimensions^[58].

Irrationalité de nombres définis par leur développement décimal

Non-périodicité du développement dans une base

Tout rationnel ayant un développement périodique dans toute base, il suffit, pour prouver qu'un réel $x$ 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 $0{,}0110101000\dots$ , est irrationnelle.

Ce théorème peut être démontré par l'absurde, en supposant périodique la suite des écarts entre nombres premiers consécutifs puis en obtenant une contradiction^[59].

Un autre exemple est donné par le théorème suivant :

Théorème — La constante de Prouhet-Thue-Morse $\tau =0,412~454~033~640\ldots$ , dont le développement binaire est la suite de Prouhet-Thue-Morse $t=0~1~10~1001~10010110~1001011001101001...$ , est irrationnelle.

On peut en effet montrer que la suite de Prouhet-Thue-Morse est sans cube, c'est-à-dire qu'aucun bloc ne se répète trois fois consécutivement : a fortiori son développement binaire est non-périodique et $\tau$ est donc irrationnelle^{[N 35]}.

Recherche de suites de zéros de longueur arbitraire dans le développement

Dans la pratique, la non-périodicité peut être obtenue en établissant l'existence de suites finies de $0$ de longueur arbitraire^{[N 36]}^,^{[N 37]}. 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 $0{,}1234567891011\dots$ est irrationnelle.

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

Un exemple moins trivial est le suivant :

Théorème — La constante de Copeland-Erdős $0{,}2357111317\dots$ est irrationnelle.

La constante de Copeland-Erdős est définie par $C=\sum _{n=1}^{\infty }p_{n}10^{-\left(n+\sum _{k=1}^{n}E(\log _{10}{p_{k}})\right)}$ où $p_{k}$ est le k-ième nombre premier, et où $E(\log _{10}{p_{k}})$ 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 $C$ en exhibant des suites de zéros arbitrairement longues.

Démonstration^[40]

Pour tout entier naturel $s$ , d'après le théorème de la progression arithmétique, la suite arithmétique $\left(k.10^{s+1}+1\right)_{k\in \mathbb {N} ^{*}}$ contient une infinité de nombres premiers, donc au moins un. Il existe donc au moins un nombre premier dont l'écriture en base dix contient une succession d'au moins $s$ zéros, encadrée par deux chiffres autres que $0$ (le second étant $1$ ). Le développement décimal de $C$ contient ainsi des suites de zéros finies mais arbitrairement longues, ce qui prouve qu'il n'est pas périodique, et donc que $C$ n’est pas rationnel.

L'irrationalité de $C$ 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 15]} — Tout nombre normal dans au moins une base est irrationnel.

Sommes de séries

Irrationalité de $e$

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 $1$ : $\mathrm {e} =\sum _{n=0}^{\infty }{\dfrac {1}{n!}}$ .

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^[61].

Plus généralement :

la même méthode^[62] permet de prouver que pour tout entier $x > 0$ (et donc aussi pour tout rationnel $x \neq 0$ ), $e x$ est irrationnel ;
pour toute suite $(b_{n})_{n\in \mathbb {N} }$ bornée de nombres entiers, les nombres réels $\Sigma _{n\geq 0}{\frac {b_{n}}{n!}}$ et $\Sigma _{n\geq 0}{\frac {b_{n}2^{n}}{n!}}$ ne sont rationnels que si la suite $(b_{n})_{n\in \mathbb {N} }$ stationne à 0^[63].

Irrationalité de la constante d'Apéry

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

Il est possible (voir supra) de prouver l'irrationalité d'un réel $x$ en exhibant une suite de rationnels ${\frac {p_{n}}{q_{n}}}\neq x$ convergeant vers $x$ « suffisamment vite », c'est-à-dire telle que, pour un certain $μ > 1$ , on ait $\left|x-{\frac {p_{n}}{q_{n}}}\right|<{\frac {1}{q_{n}^{\mu }}}$ pour tout $n$ . 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 $\zeta (3)=\sum _{n=1}^{\infty }{\frac {1}{n^{3}}}\approx 1,202$ est irrationnelle.

Séries à croissance exponentielle double

Dans le cas des suites à croissance double exponentielle, on dispose du théorème suivant^[64]:

Théorème — Soit $(a_{k})_{k\in \mathbb {N} }$ et $(b_{k})_{k\in \mathbb {N} }$ deux suites d'entiers positifs tels qu'au delà d'un certain rang on ait pour tout $n$ l'inégalité $a_{n+1}\geq {\frac {b_{n+1}}{b_{n}}}a_{n}^{2}-{\frac {b_{n+1}}{b_{n}}}a_{n}+1$ . Si la série $\sum _{k=0}^{+\infty }{\frac {b_{n}}{a_{n}}}$ converge vers un nombre rationnel, alors on a pour tout $n$ au-delà d'un certain rang $a_{n+1}={\frac {b_{n+1}}{b_{n}}}a_{n}^{2}-{\frac {b_{n+1}}{b_{n}}}a_{n}+1$ : l'inégalité large est en fait une égalité^{[N 38]}.

En considérant la suite $(b_{k})_{k\in \mathbb {N} }$ constante égale à 1, la contraposée de ce théorème permet de prouver l'irrationalité de la somme des inverses des nombres doubles de Mersenne^{[N 39]} mais pas de retrouver l'irrationalité de la série des inverses des nombres de Fermat, et ce bien que son terme général croisse comme une exponentielle double^{[N 40]} ; ce nombre est cependant bien irrationnel (voir infra) et même transcendant, ce qui fut démontré en 1967^[65].

Autres séries

La constante d'Erdős-Borwein $\sum _{n=1}^{\infty }{\frac {1}{2^{n}-1}}\approx 1,606695$ , 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^[66]^,^{[N 41]} $\sum _{n=0}^{\infty }{\frac {1}{2^{2^{n}}+1}}\approx 0{,}596$ 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.
En s'inspirant de la méthode d'Apéry (voir supra), Richard André-Jeannin a démontré en 1989^[67] que la somme des inverses des nombres de Fibonacci^[68]^,^{[N 42]} est irrationnelle.

Autres exemples

Irrationalité de $π$

Article détaillé : Preuve de l'irrationalité de

π

.

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

Ivan Niven redémontre par l'absurde ce résultat de Lambert, en supposant que $\pi ={\frac {a}{b}}$ avec $a$ et $b$ 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 $\pi$ est rationnel conduit donc à une contradiction, et donc $\pi$ est irrationnel.

Démonstration analogue de l'irrationalité de

π 2

Hardy et Wright, reprenant la méthode de Niven, démontrent de la façon suivante^[13]^,^[69] l'irrationalité de $π 2$ , qui implique celle de $π$ (voir supra).

Considérons, pour tout entier naturel $n$ , la fonction polynomiale $f_{n}$ définie par $f_{n}(x)={\frac {x^{n}(1-x)^{n}}{n!}}$ . Ses dérivées jusqu'à l'ordre $2 n$ prennent une valeur entière en $0$ (donc aussi en $1$ par symétrie) et la dérivée suivante est nulle.

Supposons que $\pi ^{2}={\frac {a}{b}}$ avec $a$ et $b$ entiers strictement positifs et posons $G_{n}(x)=\sum _{k\in \mathbb {N} }(-b)^{k}a^{n-k}f_{n}^{(2k)}(x)$ . D'après ce qui précède, $G_{n}(0)$ et $G_{n}(1)$ sont des entiers.

De plus, ${\frac {\mathrm {d} }{\mathrm {d} x}}\left(G_{n}'(x)\sin(\pi x)-\pi G_{n}(x)\cos(\pi x)\right)=\left(G_{n}''(x)+\pi ^{2}G_{n}(x)\right)\sin(\pi x)=\pi ^{2}a^{n}f_{n}(x)\sin(\pi x)$ (par télescopage) donc

\pi \int _{0}^{1}a^{n}\sin(\pi x)f_{n}(x)\mathrm {d} x=\left[{\frac {G_{n}'(x)\sin(\pi x)}{\pi }}-G_{n}(x)\cos(\pi x)\right]_{0}^{1}=G_{n}(0)+G_{n}(1)\in \mathbb {Z}

.

Cependant, sur $]0, 1[$ , la fonction $x\mapsto \sin(\pi x)f_{n}(x)$ est continue et strictement comprise entre $0$ et ${\frac {1}{n!}}$ donc $0<\pi \int _{0}^{1}a^{n}\sin(\pi x)f_{n}(x)\,\mathrm {d} x<\pi {\frac {a^{n}}{n!}}$ .

De plus, pour $n$ suffisamment grand, $\pi {\frac {a^{n}}{n!}}<1$ (la série $exp(a)$ est même convergente). L'entier $G_{n}(0)+G_{n}(1)$ est alors strictement compris entre $0$ et $1$ , ce qui est absurde.

Logarithmes d'entiers

Puisque (à part $e 0 = 1$ ) toute puissance rationnelle de $e$ est irrationnelle (voir supra), le logarithme népérien $ln x$ de tout rationnel positif $x \neq 1$ est irrationnel^[62]. Le nombre $log 102$ est lui aussi irrationnel puisqu'il n'existe pas d'entiers a, b ≠ 0 tels que 2^a = 10^b ; plus généralement, $log$ _n m = $ln m / ln n$ est irrationnel^{[N 43]} pour tous entiers m, n > 1 qui n'ont pas le même ensemble de facteurs premiers^[13] (ou encore : le même radical). Par exemple : $log 1015$ et $log 26$ sont irrationnels.

Problèmes ouverts

On ne sait pas si les nombres $π + e$ et $π - e$ sont ou non irrationnels^{[N 44]}. On conjecture cependant que $π$ , $e$ et $1$ sont ℚ-linéairement indépendants^{[N 45]}.

On ne sait pas plus si $2 e$ , $π e$ , $π \sqrt 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 46]}, 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 47]}. De plus, 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^{[N 48]}.

Notes et références

(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

↑ ^{a b et c} Dans tout cet article, « périodique » signifie « périodique à partir d'un certain rang ».
↑ Ces propriétés sont énoncées ici avec une formulation moderne, ni $π$ ni les racines carrées n'étant considérés comme des nombres à proprement parler dans l'Antiquité grecque.
↑ Les nombres rationnels potentiellement racine d'un polynôme donné sont en nombre fini, et ne nécessitent pas de calcul approché pour être identifiés (voir infra).
↑ Voir l'article « Formule de Machin » pour plus de détails.
↑ Voir l'article « Formule de Leibniz » pour plus de détails.
↑ ^{a et b} En fait il n'est pas prouvé que la constante γ d'Euler est irrationnelle, mais des calculs numériques poussés laissent penser que c'est bien le cas (voir infra).
↑ Voir la section « Exemple : le nombre e » de l'article « Fraction continue et approximation diophantienne ».
↑ Voir la section « Irrationalité » de l'article « Fraction continue et approximation diophantienne ».
↑ Ce résultat a pour conséquence l'irrationalité de la somme $\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}$ calculée par Euler 30 ans plus tôt, et que l'on note aujourd'hui $ζ(2)$ .
↑ Voir l'article détaillé « Construction des nombres réels ».
↑ ^{a b c d et e} Voir l'article « Théorème de Wantzel ».
↑ L'existence même de nombres transcendants n'était cependant pas certaine pour les mathématiciens de l'époque.
↑ ^{a et b} Voir l'article « Nombre de Liouville ».
↑ ^{a et b} Voir l'article « Théorème d'Hermite-Lindemann ».
↑ ^{a et b} Voir l'article « Nombre normal ».
↑ Shanks donnait en fait 707 décimales mais son calcul, effectué à la main, était faux au-delà de la 528^e.
↑ Aucune formule analogue pour la base dix n'est connue en 2017.
↑ Voir la section « Période » de l'article « Fraction continue d'un irrationnel quadratique ».
↑ Le théorème de Hurwitz raffine ce résultat en énonçant que pour tout irrationnel $x$ , il existe une infinité de rationnels $p / q$ tels que $\textstyle {\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{2}{\sqrt {5}}}}}$ et que la constante √5 est optimale : avec n'importe quelle constante plus grande, le théorème est faux pour certains nombres, par exemple le nombre d'or. Pour plus de détails, voir l'article sur le spectre de Lagrange.
↑ Plus généralement, les nombres analogues à la constante de Champernowne en base $b$ quelconque à une mesure d'irrationalité égale à $b$ .
↑ Par exemple on détermine un entier $q_{1}\in \mathbb {N}$ tel que ${\frac {1}{q_{1}}}<\varepsilon$ , il existe alors deux entiers $q>q_{1}$ et $p$ tels que $\left|\xi -{\frac {p}{q}}\right|<{\frac {1}{q^{2}}}$ et donc $|q\xi -p|<{\frac {1}{q}}<{\frac {1}{q_{1}}}<\varepsilon$ d'où le résultat.
↑ En restreignant l'action à $\operatorname {PSL} (2,\mathbb {Z} )$ , on trouve tous les irrationnels équivalents à un irrationnel donné.
↑ Par exemple $e ln 2 = 2$ alors que $e$ et $ln 2$ sont irrationnels (voir infra).
↑ Le théorème de Gelfond-Schneider en fournit toute une famille d'exemples.
↑ ^{a et b} Voir la section « Travaux » de l'article sur Georg Cantor.
↑ 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 ».
↑ Pour cette équivalence, voir la section « Ensemble des discontinuités d'une fonction » de l'article « Classification des discontinuités ».
↑ C'est le cas par exemple de la fonction de Thomae.
↑ Voir la section « Valeur approchée et propriétés » de l'article « Constante d'Euler-Mascheroni ».
↑ Cette preuve est traditionnellement attribuée à Pythagore, bien que l'on ne sache pas si elle est de lui ni s'il s'agit de la première à avoir été proposée (voir supra).
↑ Voir la section « Exemple de preuve d'irrationalité » de l'article « Racine évidente ».
↑ Cela se déduit des identités trigonométriques classiques valables pour tout réel $a$ : $\cos(2a)=2\cos ^{2}a-1$ , $\cos ^{2}a+\sin ^{2}a=1$ et $1+\tan ^{2}a={\frac {1}{\cos ^{2}a}}$ , ou encore, de la constructibilité des bissectrices.
↑ Pour une démonstration directe dans un cadre plus général, voir la section « Fermeture intégrale » de l'article « Lemme d'Euclide ».
↑ Ce théorème a été redémontré par de nombreux auteurs, notamment Niven : voir Théorème de Niven et Niven 1956, corollaire 3.12 et notes, p. 41.
↑ De plus, Kurt Mahler a démontré en 1929 que la constante de Prouhet-Thue-Morse est un nombre transcendant^[60].
↑ Dans le cas de la constante des nombres premiers (voir supra), on aurait pu aussi montrer l'irrationalité de la constante des nombres premiers en utilisant le fait que pour tout entier $n\geq 2$ , les $n-1$ entiers consécutifs $n!+2,\dots ,n!+n$ sont tous composés.
↑ Certains développements non-périodiques peuvent cependant ne pas comporter de séquences de 0 arbitrairement longues. Par exemple le développement binaire de la constante de Thue-Prouhet-Morse (voir supra) étant sans cube, on n'y trouve jamais trois 0 consécutifs.
↑ La série des inverses des termes de la suite de Sylvester est un exemple d'une telle série convergeant vers un rationnel, puisqu'elle converge vers 1.
↑ En effet pour tout entier $n$ on a $M_{M_{n}}^{2}-M_{M_{n}}+1=\left(2^{2^{n}-1}-1\right)^{2}-2^{2^{n}-1}+1+1=2^{2^{n+1}-2}-2^{2^{n}}-2^{2^{n}-1}+3$ et donc $M_{M_{n}}^{2}-M_{M_{n}}+1<2^{2^{n+1}-1}-1=M_{M_{n+1}}$ .
↑ En effet, pour tout entier $n$ , on a $F_{n}^{2}-F_{n}+1=\left(2^{2^{n}}+1\right)^{2}-2^{2^{n}}-1+1=2^{2^{n+1}}+2^{2^{n}}+1$ et donc $F_{n+1}=2^{2^{n+1}}+1<F_{n}^{2}-F_{n}+1$ . Les nombres de Fermat ne satisfont pas l'hypothèse du théorème, et on ne peut donc pas conclure.
↑ Suite A051158 de l'OEIS.
↑ Nommée par erreur « Constante de Prévost » par (en) Gérard Michon, « Numerical Constants », sur Numericana, 2005, alors que l'article de Marc Prévost sur ce sujet ne date pas de « vers 1977 » mais de 1998 et contient une généralisation de l'article de Richard André-Jeannin.
↑ Le théorème de Gelfond-Schneider permet alors d'en déduire que $ln m / ln n$ est même transcendant.
↑ On sait cependant que l'un au moins de ces deux nombres est irrationnel et même transcendant, puisque leur somme, $2π$ , l'est ; on sait de même qu'un des deux nombres $s = π + e$ et $p = πe$ est transcendant, car $π$ et $e$ sont racines du polynôme $X 2 - sX + p$ .
↑ Et même (cf. Conjecture de Schanuel) que $π$ et $e$ sont ℚ-algébriquement indépendants.
↑ Les images des entiers positifs pairs par la fonction $ζ$ sont, elles, transcendantes.
↑ Pour plus de détails, voir la section « Généralisations » de l'article « Théorème d'Apéry ».
↑ En effet une somme finie de termes rationnels est rationnels(voir supra). Par contraposée, si la série des inverses des nombres premiers jumeaux converge vers un nombre irrationnel, alors elle comporte une infinité de termes non nuls et il y a donc une infinité de nombres premiers jumeaux.

Références

↑ Certains historiens ont estimé que les Śulba-Sūtras, des traités difficiles à dater qui auraient été composés entre 800 et 200 av. J.-C., témoigneraient de la connaissance de l'irrationalité dans l'Inde de l'époque ; ils se fondent sur une construction de la diagonale du carré qui peut s'interpréter comme une (bonne) approximation rationnelle de √2, et sur la mention que cette construction n'est pas exacte, voir (en) Bibhutibhusan Datta, The Science Of The Sulba: A Study In Early Hindu Geometry, 1932 (lire en ligne), p. 195-202. Mais pour d'autres, il s'agit là de « spéculations injustifiées » qui ignorent tant la vraie signification de l'irrationalité que l'objet pratique des Śulba-Sūtras (en) S. G. Dani, « Geometry in the Śulvasūtras », dans C. S. Seshadri, Studies in the History of Indian Mathematics, Hindustan Book Agency, coll. « Culture And History Of Mathematics », 2010 (ISBN 978-93-86279-49-1, lire en ligne), p. 9-38.
↑ Szabó 1978, p. 25.
↑ ^{a b c d e f g h i j k et l} Szabó 2000.
↑ (en) Euclide (trad. du grec ancien), Les Éléments (lire en ligne), partie X, définition 3.
↑ Platon, Les Lois [détail des éditions] [lire en ligne], VII, 820 a - c.
↑ Benoît Rittaud, « Le Fabuleux destin de √2 », Gazette des mathématiciens, n^o 107,‎ janvier 2006, p. 28-37 (lire en ligne).
↑ (en) Kurt von Fritz, « The discovery of incommensurability by Hippasus of Metapontum », Ann. Math., vol. 46, n^o 2,‎ 1945, p. 242-264 (JSTOR 1969021).
↑ (de) Oskar Becker, « Die Lehre von Geraden und Ungeraden im neunten Buch der euklidischen Elemente », Quellen und Studien sur Geschichte der Mathematik, Astronomie und Physik, b, vol. 3,‎ 1936, p. 533-553.
↑ (de) Árpád Szabó, « Wie ist die Mathematik zu einer deduktiven Wissenschaft geworden? », dans J. Christianidis, Classics in the History of Greek Mathematics, Springer, 2004, 461 p. (ISBN 978-1-4020-2640-9, lire en ligne), p. 45-80.
↑ (en) Thomas Heath, Mathematics in Aristotle [« Les mathématiques chez Aristote »], Oxford, 1949, 310 p. (ISBN 978-1-317-38059-7, présentation en ligne), partie III, chap. 1 (« Incommensurability of the diagonal (of a square with its side) »).
↑ Voir, pour un exposé des différentes méthodes possibles : Caveing 1998.
↑ « The only certainty about the discovery of irrationality is that Theodorus of Cyrene proved that $\sqrt n$ (for n = 3, ..., 17 and not a perfect square) is irrational. » — (en) Árpád Szabó (de), The Beginnings of Greek Mathematics, Springer, 1978, 358 p. (ISBN 978-90-277-0819-9, lire en ligne), p. 35, citant (de) Walter Burkert, Weisheit und Wissenschaft, 1962, p. 439.
↑ ^{a b c d et e} Hardy et Wright 2007, chap. 4.
↑ (en) Victor Pambuccian, « The arithmetic of the even and the odd », The Review of Symbolic Logic, vol. 9, n^o 2,‎ 2016, p. 359-369 (DOI 10.1017/S1755020315000386).
↑ 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, p. 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, The Evolution of the Euclidean Elements : A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry, D. Reidel, 1975 (lire en ligne), p. 5.
↑ Périllié.
↑ Paul Tannery, La Géométrie grecque, comment son histoire nous est parvenue et ce que nous en savons., Paris, Gauthier-Villars, 1887 (lire en ligne).
↑ (en) Wilbur Knorr, « The impact of modern mathematics on ancient mathematics », Revue d'histoire des mathématiques, vol. 7,‎ 2001, p. 121-135 (lire en ligne).
↑ Hans Freudenthal, « Y avait-il une crise des fondements des mathématiques dans l'Antiquité ? », Bulletin de la société mathématique de Belgique, vol. 18,‎ 1966, p. 43-55 (lire en ligne).
↑ (en) John J. O'Connor et Edmund F. Robertson, « Arabic mathematics : forgotten brilliance? », sur MacTutor, université de St Andrews, 1999..
↑ ^{a b et c} (en) Galina Matvievskaya, « The Theory of Quadratic Irrationals in Medieval Oriental Mathematics », Annals of the New York Academy of Sciences, vol. 500 « From Deferent to Equant: A Volume of Studies on the History of Science of the Ancient and Medieval Near East in Honor of E. S. Kennedy »,‎ 1987, p. 253-277 (254) (DOI 10.1111/j.1749-6632.1987.tb37206.x).
↑ (en) Jacques Sesiano, « Islamic mathematics », dans Helaine Selin, Mathematics Across Cultures: The History of Non-Western Mathematics, Springer, 2000 (ISBN 1-4020-0260-2, lire en ligne), p. 148.
↑ (en) Mohammad K. Azarian, « al-Risāla al-muhītīyya: A Summary », Missouri Journal of Mathematical Sciences, vol. 22, n^o 2,‎ 2010, p. 64-85 (lire en ligne).
↑ ^{a b c d e et f} Cousquer 1998, p. 174.
↑ D'Alembert, L'Encyclopédie (lire sur Wikisource), « Incommensurable ».
↑ D'Alembert, L'Encyclopédie (lire sur Wikisource), « Nombre ».
↑ « Comment Euler calculait ζ(2) », Hors-série Tangente, n^o 29,‎ 2007.
↑ Jean-Pierre Demailly, « Sur le calcul numérique de la constante d'Euler », Gazette des mathématiciens, vol. 27,‎ 1985 (lire en ligne).
↑ (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, 1613.
↑ ^{a et b} (en) Eli Maor, E : The Story of a Number, Princeton University Press, 1994 (ISBN 0-691-05854-7, lire en ligne), p. 192.
↑ A. M. Legendre, Éléments de géométrie, Paris, 1802 (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 ».
↑ 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,‎ 2000 (lire en ligne), p. 521-530.
↑ ^{a b et c} Boniface 2002.
↑ (de) L. Kronecker, « Ueber den Zahlbegriff », J. reine angew. Math., vol. 101,‎ 1887, p. 337-355 (lire en ligne).
↑ ^{a et b} (en) David H. Bailey et Richard Crandall, « On the Random Character of Fundamental Constant Expansions », Experimental Mathematics, vol. 10,‎ 2001, p. 175-190 (lire en ligne).
↑ ^{a b c d e f g et h} Jörg Arndt et Christoph Haenel (trad. de l'allemand par Henri Lemberg et François Guénard), À la poursuite de $π$ [« Pi. Algorithmen, Computer, Arithmetik »], Vuibert,‎ mars 2006 (1^re éd. 1998), 273 p. (ISBN 978-2-7117-7170-7), chap. 13 (« L'histoire de $π$ »).
↑ (en) Steve Wozniak, « The Impossible Dream: Computing e to 116,000 Places with a Personal Computer », Byte Magazine,‎ juin 1981, p. 392 (lire en ligne, consulté le 12 décembre 2017).
↑ (en) Xavier Gourdon et Pascal Sebah, « The Euler constant: $γ$ », sur Numbers, constants and computation (consulté le 12 décembre 2017).
↑ ^{a et b} Hardy et Wright 2007, chap. 9.
↑ ^{a et b} Hardy et Wright 2007, chap. 10.
↑ ^{a et b} Hardy et Wright 2007, chap. 11.
↑ (en) Yann Bugeaud, Distribution modulo one and Diophantine approximation, Cambridge, Cambridge University Press, coll. « Cambridge Tracts in Mathematics » (n^o 193), 2012 (ISBN 978-0-521-11169-0, DOI 10.1017/CBO9781139017732, zbMATH 1260.11001), p. 246, théorème E.2.
↑ (en) Daniel Duverney, « Irrationality of Fast Converging Series of Rational Numbers », J. Math. Sci. Univ. Tokyo, vol. 8,‎ 2001, p. 275-316 (lire en ligne).
↑ (en) Doron Zeilberger et Wadim Zudilin (en), « The irrationality measure of π is at most 7.103205334137… », Moscow Journal of Combinatorics and Number Theory, vol. 9, n^o 4,‎ 2020 (DOI 10.2140/moscow.2020.9.407).
↑ (en) Georges Rhin et Carlo Viola, « The group structure for ζ(3) », Acta Arithmetica, vol. 97, n^o 3,‎ 2001, p. 269-293 (lire en ligne).
↑ (en) Masaaki Amou, « Approximation to certain transcendental decimal fractions by algebraic numbers », J. Number Theor, vol. 37, n^o 2,‎ 1991, p. 231-241 (DOI 10.1016/S0022-314X(05)80039-3).
↑ Xavier Gourdon, Les maths en tête : Analyse, 2008, 2^e éd. (1^re éd. 1994), 432 p. (ISBN 978-2-7298-3759-4), chap. 4 (« Suites et séries »), p. 275-276, problème n^o 7.
↑ (en) « Flint Hills Series », sur MathWorld.
↑ Hardy et Wright 2007, chap. 23.
↑ Niven 1961, chap. 4, p. 52.
↑ Niven 1961, chap. 5 (« Trigonometric and Logarithmic Numbers »), p. 68.
↑ ^{a et b} Pierre Pansu, Université de Paris-Saclay, « Dénombrabilité », sur universite-paris-saclay.fr, 14 mai 2005 (consulté le 12 août 2024), page 4.
↑ Xavier Gourdon, Les maths en tête, t. Analyse, Ellipses, 2008, 2^e éd. (1^re éd. 1994), 432 p. (ISBN 978-2-7298-3759-4), « Théorème de Baire et applications », p. 406.
↑ (en) Miklós Laczkovich, Conjecture and Proof, AMS, 2001 (lire en ligne), chap. I (« Proofs of Impossibility, Proofs of Nonexistence »), § 1 : Proofs of Irrationality.
↑ ^{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.
↑ (en) R. S. Underwood, « On the irrationality of certain trigonometric functions », Amer. Math. Monthly, vol. 28, n^o 10,‎ 1921, p. 374-376 (JSTOR 2972160) et (en) R. S. Underwood, « Supplementary note on the irrationality of certain trigonometric functions », Amer. Math. Monthly, vol. 29, n^o 9,‎ 1922, p. 346 (JSTOR 2298729).
↑ (en) [vidéo] Mathologer, « What does this prove? Some of the most gorgeous visual "shrink" proofs ever invented », sur YouTube, le théorème est prouvé à partir de 19 min 52 s à partir des méthodes montrées en début de vidéo.
↑ Consulter (en) G. H. Hardy, E. M. Wright, D. R. Heath-Brown et Joseph H. Silverman, An introduction to the theory of numbers, Oxford, Oxford University Press, 2008, 6^e éd. (ISBN 978-0-19-921985-8, OCLC 214305907)
↑ (de) Kurt Mahler, « Arithmetische Eigenschaften der Lösungen einer Klasse von Funktionalgleichungen », Math. Annalen, vol. 101,‎ 1929, p. 342–366 (DOI 10.1007/bf01454845, S2CID 120549929, JFM 55.0115.01)
↑ (en) [vidéo] Numberphile, « A proof that e is irrational », sur YouTube.
↑ ^{a et b} Niven 1956, chap. 2 (« Simple irrationalities »), p. 23-24.
↑ Pascal Boyer, Petit compagnon des nombres et de leurs applications, Calvage et Mounet, 2019, 648 p. (ISBN 978-2-916352-75-6), I. Arithmétique dans ℤ, chap. 5 (« Nombres réels »), p. 77.
↑ (en) Catalin Badea, « A theorem on irrationality of infinite series and applications », Acta Arithmetica, vol. 63,‎ 1993, p. 313-323
↑ (en) Schwarz, W.: Remarks on the irrationality and transcendence of certain series. Math. Scand. 20, 269–274 (1967)
↑ (en) Solomon W. Golomb, « On the sum of the reciprocals of the Fermat numbers and related irrationalities », Canad. J. Math., vol. 15,‎ 1963, p. 475-478 (lire en ligne).
↑ Richard André-Jeannin, « Irrationalité de la somme des inverses de certaines suites récurrentes », C. R. Acad. Sci. Paris, i Math., vol. 308,‎ 1989, p. 539-541 (lire en ligne).
↑ Voir (en) Eric W. Weisstein, « Reciprocal Fibonacci Constant », sur MathWorld, ainsi que A079586 (développement décimal) et A079587 (fraction continue).
↑ Niven 1956, chap. 2 (« Simple irrationalities »), p. 19-20.

Voir aussi

Article annexe

Voyages au pays des maths

Bibliographie

: document utilisé comme source pour la rédaction de cet article.

Aspects mathématiques

Daniel Duverney, Théorie des nombres, Dunod, 2007.
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 »).
(en) Ivan Niven, Irrational Numbers, Cambridge University Press, 1956 (lire en ligne).
(en) Ivan Niven, Numbers : Rational and Irrational, The L. W. Singer Company, coll. « New Mathematical Library », 1961, 136 p. (ISBN 978-0-88385-601-7).
(de) Oskar Perron, Irrationalzahlen, De Gruyter, 1921 (lire en ligne).
(en) Dirk Huylebrouck, « Similarities in irrationality proofs for $π$ , $ln2$ , $ζ(2)$ , and $ζ(3)$ », Amer. Math. Monthly, vol. 108,‎ 2001, p. 222-231 (lire en ligne)

Aspects historiques

Jacqueline Boniface, Les constructions des nombres réels dans le mouvement d'arithmétisation de l'analyse, Ellipses, 2002 (ISBN 978-2-7298-1142-6).
Maurice Caveing, La constitution du type mathématique de l'idéalité dans la pensée grecque, vol. 3 : L’irrationalité dans les Mathématiques grecques jusqu’à Euclide, Presses universitaires du Septentrion, 1998, 343 p. (ISBN 2-85939-539-3, BNF 36971590, présentation en ligne).
Éliane Cousquer, La fabuleuse histoire des nombres, Diderot multimédia, coll. « Jardin des sciences », 1998, 259 p. (ISBN 2-84352-114-9), chap. 9 (« Des irrationnels aux réels »).
Édouard des Places, « Le passage mathématique de l’Épinomis (990 c 5-991 a 4) et la théorie des irrationnelles », Revue des Études Grecques, t. 48, n^o 228,‎ octobre-décembre 1935, p. 540-550 (lire en ligne)
Árpád Szabó (de) (trad. de l'allemand par Michel Federspiel), L'aube des mathématiques grecques [« Entfaltung der grieschischen Mathematik »], Vrin, 2000 (1^re éd. 1993), 367 p. (ISBN 2-7116-1279-1, lire en ligne), partie III, « L'irrationalité mathématique ».

Liens externes

Notices dans des dictionnaires ou encyclopédies généralistes :
Notices d'autorité :
- LCCN
- GND
- Israël
- Tchéquie
(en) Eric W. Weisstein, « Irrational Number », sur MathWorld
[vidéo] Arte, « Voyage au pays des maths : les nombres irrationnels », sur YouTube, 2021

Articles connexes

Arithmétique et théorie des nombres

Cet article est reconnu comme « bon article » depuis sa version du 10 décembre 2017 (comparer avec la version actuelle).
Pour toute information complémentaire, consulter sa page de discussion et le vote l'ayant promu.

La version du 10 décembre 2017 de cet article a été reconnue comme « bon article », c'est-à-dire qu'elle répond à des critères de qualité concernant le style, la clarté, la pertinence, la citation des sources et l'illustration.

[Per-1] {a b et c} Dans tout cet article, « périodique » signifie « périodique à partir d'un certain rang ».

[16] Ces propriétés sont énoncées ici avec une formulation moderne, ni $π$ ni les racines carrées n'étant considérés comme des nombres à proprement parler dans l'Antiquité grecque.

[30] Les nombres rationnels potentiellement racine d'un polynôme donné sont en nombre fini, et ne nécessitent pas de calcul approché pour être identifiés (voir infra).

[31] Voir l'article « Formule de Machin » pour plus de détails.

[33] Voir l'article « Formule de Leibniz » pour plus de détails.

[gamma-35] {a et b} En fait il n'est pas prouvé que la constante γ d'Euler est irrationnelle, mais des calculs numériques poussés laissent penser que c'est bien le cas (voir infra).

[IrrationalitéE-37] Voir la section « Exemple : le nombre e » de l'article « Fraction continue et approximation diophantienne ».

[IrrationalitéPi-39] Voir la section « Irrationalité » de l'article « Fraction continue et approximation diophantienne ».

[40] Ce résultat a pour conséquence l'irrationalité de la somme $\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}$ calculée par Euler 30 ans plus tôt, et que l'on note aujourd'hui $ζ(2)$ .

[45] Voir l'article détaillé « Construction des nombres réels ».

[TheoWantzel-46] {a b c d et e} Voir l'article « Théorème de Wantzel ».

[47] L'existence même de nombres transcendants n'était cependant pas certaine pour les mathématiciens de l'époque.

[Liouville-48] {a et b} Voir l'article « Nombre de Liouville ».

[transcendencePi+e-49] {a et b} Voir l'article « Théorème d'Hermite-Lindemann ».

[normal-50] {a et b} Voir l'article « Nombre normal ».

[53] Shanks donnait en fait 707 décimales mais son calcul, effectué à la main, était faux au-delà de la 528^e.

[56] Aucune formule analogue pour la base dix n'est connue en 2017.

[59] Voir la section « Période » de l'article « Fraction continue d'un irrationnel quadratique ».

[62] Le théorème de Hurwitz raffine ce résultat en énonçant que pour tout irrationnel $x$ , il existe une infinité de rationnels $p / q$ tels que $\textstyle {\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{2}{\sqrt {5}}}}}$ et que la constante √5 est optimale : avec n'importe quelle constante plus grande, le théorème est faux pour certains nombres, par exemple le nombre d'or. Pour plus de détails, voir l'article sur le spectre de Lagrange.

[67] Plus généralement, les nombres analogues à la constante de Champernowne en base $b$ quelconque à une mesure d'irrationalité égale à $b$ .

[70] Par exemple on détermine un entier $q_{1}\in \mathbb {N}$ tel que ${\frac {1}{q_{1}}}<\varepsilon$ , il existe alors deux entiers $q>q_{1}$ et $p$ tels que $\left|\xi -{\frac {p}{q}}\right|<{\frac {1}{q^{2}}}$ et donc $|q\xi -p|<{\frac {1}{q}}<{\frac {1}{q_{1}}}<\varepsilon$ d'où le résultat.

[73] En restreignant l'action à $\operatorname {PSL} (2,\mathbb {Z} )$ , on trouve tous les irrationnels équivalents à un irrationnel donné.

[75] Par exemple $e ln 2 = 2$ alors que $e$ et $ln 2$ sont irrationnels (voir infra).

[76] Le théorème de Gelfond-Schneider en fournit toute une famille d'exemples.

[Cantor-77] {a et b} Voir la section « Travaux » de l'article sur Georg Cantor.

[79] 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 ».

[80] Pour cette équivalence, voir la section « Ensemble des discontinuités d'une fonction » de l'article « Classification des discontinuités ».

[81] C'est le cas par exemple de la fonction de Thomae.

[84] Voir la section « Valeur approchée et propriétés » de l'article « Constante d'Euler-Mascheroni ».

[85] Cette preuve est traditionnellement attribuée à Pythagore, bien que l'on ne sache pas si elle est de lui ni s'il s'agit de la première à avoir été proposée (voir supra).

[87] Voir la section « Exemple de preuve d'irrationalité » de l'article « Racine évidente ».

[88] Cela se déduit des identités trigonométriques classiques valables pour tout réel $a$ : $\cos(2a)=2\cos ^{2}a-1$ , $\cos ^{2}a+\sin ^{2}a=1$ et $1+\tan ^{2}a={\frac {1}{\cos ^{2}a}}$ , ou encore, de la constructibilité des bissectrices.

[89] Pour une démonstration directe dans un cadre plus général, voir la section « Fermeture intégrale » de l'article « Lemme d'Euclide ».

[91] Ce théorème a été redémontré par de nombreux auteurs, notamment Niven : voir Théorème de Niven et Niven 1956, corollaire 3.12 et notes, p. 41.

[95] De plus, Kurt Mahler a démontré en 1929 que la constante de Prouhet-Thue-Morse est un nombre transcendant^[60].

[96] Dans le cas de la constante des nombres premiers (voir supra), on aurait pu aussi montrer l'irrationalité de la constante des nombres premiers en utilisant le fait que pour tout entier $n\geq 2$ , les $n-1$ entiers consécutifs $n!+2,\dots ,n!+n$ sont tous composés.

[97] Certains développements non-périodiques peuvent cependant ne pas comporter de séquences de 0 arbitrairement longues. Par exemple le développement binaire de la constante de Thue-Prouhet-Morse (voir supra) étant sans cube, on n'y trouve jamais trois 0 consécutifs.

[102] La série des inverses des termes de la suite de Sylvester est un exemple d'une telle série convergeant vers un rationnel, puisqu'elle converge vers 1.

[103] En effet pour tout entier $n$ on a $M_{M_{n}}^{2}-M_{M_{n}}+1=\left(2^{2^{n}-1}-1\right)^{2}-2^{2^{n}-1}+1+1=2^{2^{n+1}-2}-2^{2^{n}}-2^{2^{n}-1}+3$ et donc $M_{M_{n}}^{2}-M_{M_{n}}+1<2^{2^{n+1}-1}-1=M_{M_{n+1}}$ .

[104] En effet, pour tout entier $n$ , on a $F_{n}^{2}-F_{n}+1=\left(2^{2^{n}}+1\right)^{2}-2^{2^{n}}-1+1=2^{2^{n+1}}+2^{2^{n}}+1$ et donc $F_{n+1}=2^{2^{n+1}}+1<F_{n}^{2}-F_{n}+1$ . Les nombres de Fermat ne satisfont pas l'hypothèse du théorème, et on ne peut donc pas conclure.

[107] Suite A051158 de l'OEIS.

[110] Nommée par erreur « Constante de Prévost » par (en) Gérard Michon, « Numerical Constants », sur Numericana, 2005, alors que l'article de Marc Prévost sur ce sujet ne date pas de « vers 1977 » mais de 1998 et contient une généralisation de l'article de Richard André-Jeannin.

[112] Le théorème de Gelfond-Schneider permet alors d'en déduire que $ln m / ln n$ est même transcendant.

[113] On sait cependant que l'un au moins de ces deux nombres est irrationnel et même transcendant, puisque leur somme, $2π$ , l'est ; on sait de même qu'un des deux nombres $s = π + e$ et $p = πe$ est transcendant, car $π$ et $e$ sont racines du polynôme $X 2 - sX + p$ .

[114] Et même (cf. Conjecture de Schanuel) que $π$ et $e$ sont ℚ-algébriquement indépendants.

[115] Les images des entiers positifs pairs par la fonction $ζ$ sont, elles, transcendantes.

[116] Pour plus de détails, voir la section « Généralisations » de l'article « Théorème d'Apéry ».

[117] En effet une somme finie de termes rationnels est rationnels(voir supra). Par contraposée, si la série des inverses des nombres premiers jumeaux converge vers un nombre irrationnel, alors elle comporte une infinité de termes non nuls et il y a donc une infinité de nombres premiers jumeaux.

[2] Certains historiens ont estimé que les Śulba-Sūtras, des traités difficiles à dater qui auraient été composés entre 800 et 200 av. J.-C., témoigneraient de la connaissance de l'irrationalité dans l'Inde de l'époque ; ils se fondent sur une construction de la diagonale du carré qui peut s'interpréter comme une (bonne) approximation rationnelle de √2, et sur la mention que cette construction n'est pas exacte, voir (en) Bibhutibhusan Datta, The Science Of The Sulba: A Study In Early Hindu Geometry, 1932 (lire en ligne), p. 195-202. Mais pour d'autres, il s'agit là de « spéculations injustifiées » qui ignorent tant la vraie signification de l'irrationalité que l'objet pratique des Śulba-Sūtras (en) S. G. Dani, « Geometry in the Śulvasūtras », dans C. S. Seshadri, Studies in the History of Indian Mathematics, Hindustan Book Agency, coll. « Culture And History Of Mathematics », 2010 (ISBN 978-93-86279-49-1, lire en ligne), p. 9-38.

[3] Szabó 1978, p. 25.

[Szabo93-4] {a b c d e f g h i j k et l} Szabó 2000.

[5] (en) Euclide (trad. du grec ancien), Les Éléments (lire en ligne), partie X, définition 3.

[6] Platon, Les Lois [détail des éditions] [lire en ligne], VII, 820 a - c.

[7] Benoît Rittaud, « Le Fabuleux destin de √2 », Gazette des mathématiciens, n^o 107,‎ janvier 2006, p. 28-37 (lire en ligne).

[8] (en) Kurt von Fritz, « The discovery of incommensurability by Hippasus of Metapontum », Ann. Math., vol. 46, n^o 2,‎ 1945, p. 242-264 (JSTOR 1969021).

[9] (de) Oskar Becker, « Die Lehre von Geraden und Ungeraden im neunten Buch der euklidischen Elemente », Quellen und Studien sur Geschichte der Mathematik, Astronomie und Physik, b, vol. 3,‎ 1936, p. 533-553.

[10] (de) Árpád Szabó, « Wie ist die Mathematik zu einer deduktiven Wissenschaft geworden? », dans J. Christianidis, Classics in the History of Greek Mathematics, Springer, 2004, 461 p. (ISBN 978-1-4020-2640-9, lire en ligne), p. 45-80.

[11] (en) Thomas Heath, Mathematics in Aristotle [« Les mathématiques chez Aristote »], Oxford, 1949, 310 p. (ISBN 978-1-317-38059-7, présentation en ligne), partie III, chap. 1 (« Incommensurability of the diagonal (of a square with its side) »).

[12] Voir, pour un exposé des différentes méthodes possibles : Caveing 1998.

[13] « The only certainty about the discovery of irrationality is that Theodorus of Cyrene proved that $\sqrt n$ (for n = 3, ..., 17 and not a perfect square) is irrational. » — (en) Árpád Szabó (de), The Beginnings of Greek Mathematics, Springer, 1978, 358 p. (ISBN 978-90-277-0819-9, lire en ligne), p. 35, citant (de) Walter Burkert, Weisheit und Wissenschaft, 1962, p. 439.

[HardyWright4-14] {a b c d et e} Hardy et Wright 2007, chap. 4.

[15] (en) Victor Pambuccian, « The arithmetic of the even and the odd », The Review of Symbolic Logic, vol. 9, n^o 2,‎ 2016, p. 359-369 (DOI 10.1017/S1755020315000386).

[17] 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, p. 14.

[18] 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, The Evolution of the Euclidean Elements : A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry, D. Reidel, 1975 (lire en ligne), p. 5.

[19] Périllié.

[20] Paul Tannery, La Géométrie grecque, comment son histoire nous est parvenue et ce que nous en savons., Paris, Gauthier-Villars, 1887 (lire en ligne).

[Knorr-21] (en) Wilbur Knorr, « The impact of modern mathematics on ancient mathematics », Revue d'histoire des mathématiques, vol. 7,‎ 2001, p. 121-135 (lire en ligne).

[22] Hans Freudenthal, « Y avait-il une crise des fondements des mathématiques dans l'Antiquité ? », Bulletin de la société mathématique de Belgique, vol. 18,‎ 1966, p. 43-55 (lire en ligne).

[23] (en) John J. O'Connor et Edmund F. Robertson, « Arabic mathematics : forgotten brilliance? », sur MacTutor, université de St Andrews, 1999..

[Matvievskaya-259-24] {a b et c} (en) Galina Matvievskaya, « The Theory of Quadratic Irrationals in Medieval Oriental Mathematics », Annals of the New York Academy of Sciences, vol. 500 « From Deferent to Equant: A Volume of Studies on the History of Science of the Ancient and Medieval Near East in Honor of E. S. Kennedy »,‎ 1987, p. 253-277 (254) (DOI 10.1111/j.1749-6632.1987.tb37206.x).

[25] (en) Jacques Sesiano, « Islamic mathematics », dans Helaine Selin, Mathematics Across Cultures: The History of Non-Western Mathematics, Springer, 2000 (ISBN 1-4020-0260-2, lire en ligne), p. 148.

[26] (en) Mohammad K. Azarian, « al-Risāla al-muhītīyya: A Summary », Missouri Journal of Mathematical Sciences, vol. 22, n^o 2,‎ 2010, p. 64-85 (lire en ligne).

[Cousquer-27] {a b c d e et f} Cousquer 1998, p. 174.

[28] D'Alembert, L'Encyclopédie (lire sur Wikisource), « Incommensurable ».

[29] D'Alembert, L'Encyclopédie (lire sur Wikisource), « Nombre ».

[32] « Comment Euler calculait ζ(2) », Hors-série Tangente, n^o 29,‎ 2007.

[Demailly-34] Jean-Pierre Demailly, « Sur le calcul numérique de la constante d'Euler », Gazette des mathématiciens, vol. 27,‎ 1985 (lire en ligne).

[36] (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, 1613.

[Maor-38] {a et b} (en) Eli Maor, E : The Story of a Number, Princeton University Press, 1994 (ISBN 0-691-05854-7, lire en ligne), p. 192.

[41] A. M. Legendre, Éléments de géométrie, Paris, 1802 (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 ».

[42] 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,‎ 2000 (lire en ligne), p. 521-530.

[Boniface-43] {a b et c} Boniface 2002.

[44] (de) L. Kronecker, « Ueber den Zahlbegriff », J. reine angew. Math., vol. 101,‎ 1887, p. 337-355 (lire en ligne).

[BaileyCrandall-51] {a et b} (en) David H. Bailey et Richard Crandall, « On the Random Character of Fundamental Constant Expansions », Experimental Mathematics, vol. 10,‎ 2001, p. 175-190 (lire en ligne).

[PoursuitePi-52] {a b c d e f g et h} Jörg Arndt et Christoph Haenel (trad. de l'allemand par Henri Lemberg et François Guénard), À la poursuite de $π$ [« Pi. Algorithmen, Computer, Arithmetik »], Vuibert,‎ mars 2006 (1^re éd. 1998), 273 p. (ISBN 978-2-7117-7170-7), chap. 13 (« L'histoire de $π$ »).

[wozniak198106-54] (en) Steve Wozniak, « The Impossible Dream: Computing e to 116,000 Places with a Personal Computer », Byte Magazine,‎ juin 1981, p. 392 (lire en ligne, consulté le 12 décembre 2017).

[55] (en) Xavier Gourdon et Pascal Sebah, « The Euler constant: $γ$ », sur Numbers, constants and computation (consulté le 12 décembre 2017).

[HardyWright9-57] {a et b} Hardy et Wright 2007, chap. 9.

[HardyWright10-58] {a et b} Hardy et Wright 2007, chap. 10.

[HardyWright11-60] {a et b} Hardy et Wright 2007, chap. 11.

[bugeaud-61] (en) Yann Bugeaud, Distribution modulo one and Diophantine approximation, Cambridge, Cambridge University Press, coll. « Cambridge Tracts in Mathematics » (n^o 193), 2012 (ISBN 978-0-521-11169-0, DOI 10.1017/CBO9781139017732, zbMATH 1260.11001), p. 246, théorème E.2.

[63] (en) Daniel Duverney, « Irrationality of Fast Converging Series of Rational Numbers », J. Math. Sci. Univ. Tokyo, vol. 8,‎ 2001, p. 275-316 (lire en ligne).

[zeilberger-64] (en) Doron Zeilberger et Wadim Zudilin (en), « The irrationality measure of π is at most 7.103205334137… », Moscow Journal of Combinatorics and Number Theory, vol. 9, n^o 4,‎ 2020 (DOI 10.2140/moscow.2020.9.407).

[65] (en) Georges Rhin et Carlo Viola, « The group structure for ζ(3) », Acta Arithmetica, vol. 97, n^o 3,‎ 2001, p. 269-293 (lire en ligne).

[66] (en) Masaaki Amou, « Approximation to certain transcendental decimal fractions by algebraic numbers », J. Number Theor, vol. 37, n^o 2,‎ 1991, p. 231-241 (DOI 10.1016/S0022-314X(05)80039-3).

[68] Xavier Gourdon, Les maths en tête : Analyse, 2008, 2^e éd. (1^re éd. 1994), 432 p. (ISBN 978-2-7298-3759-4), chap. 4 (« Suites et séries »), p. 275-276, problème n^o 7.

[69] (en) « Flint Hills Series », sur MathWorld.

[HardyWright23-71] Hardy et Wright 2007, chap. 23.

[Niven61-72] Niven 1961, chap. 4, p. 52.

[74] Niven 1961, chap. 5 (« Trigonometric and Logarithmic Numbers »), p. 68.

[Pansu-78] {a et b} Pierre Pansu, Université de Paris-Saclay, « Dénombrabilité », sur universite-paris-saclay.fr, 14 mai 2005 (consulté le 12 août 2024), page 4.

[82] Xavier Gourdon, Les maths en tête, t. Analyse, Ellipses, 2008, 2^e éd. (1^re éd. 1994), 432 p. (ISBN 978-2-7298-3759-4), « Théorème de Baire et applications », p. 406.

[83] (en) Miklós Laczkovich, Conjecture and Proof, AMS, 2001 (lire en ligne), chap. I (« Proofs of Impossibility, Proofs of Nonexistence »), § 1 : Proofs of Irrationality.

[Niven4.3-86] {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.

[90] (en) R. S. Underwood, « On the irrationality of certain trigonometric functions », Amer. Math. Monthly, vol. 28, n^o 10,‎ 1921, p. 374-376 (JSTOR 2972160) et (en) R. S. Underwood, « Supplementary note on the irrationality of certain trigonometric functions », Amer. Math. Monthly, vol. 29, n^o 9,‎ 1922, p. 346 (JSTOR 2298729).

[92] (en) [vidéo] Mathologer, « What does this prove? Some of the most gorgeous visual "shrink" proofs ever invented », sur YouTube, le théorème est prouvé à partir de 19 min 52 s à partir des méthodes montrées en début de vidéo.

[93] Consulter (en) G. H. Hardy, E. M. Wright, D. R. Heath-Brown et Joseph H. Silverman, An introduction to the theory of numbers, Oxford, Oxford University Press, 2008, 6^e éd. (ISBN 978-0-19-921985-8, OCLC 214305907)

[94] (de) Kurt Mahler, « Arithmetische Eigenschaften der Lösungen einer Klasse von Funktionalgleichungen », Math. Annalen, vol. 101,‎ 1929, p. 342–366 (DOI 10.1007/bf01454845, S2CID 120549929, JFM 55.0115.01)

[98] (en) [vidéo] Numberphile, « A proof that e is irrational », sur YouTube.

[Niven23-99] {a et b} Niven 1956, chap. 2 (« Simple irrationalities »), p. 23-24.

[Boyer-100] Pascal Boyer, Petit compagnon des nombres et de leurs applications, Calvage et Mounet, 2019, 648 p. (ISBN 978-2-916352-75-6), I. Arithmétique dans ℤ, chap. 5 (« Nombres réels »), p. 77.

[101] (en) Catalin Badea, « A theorem on irrationality of infinite series and applications », Acta Arithmetica, vol. 63,‎ 1993, p. 313-323

[105] (en) Schwarz, W.: Remarks on the irrationality and transcendence of certain series. Math. Scand. 20, 269–274 (1967)

[gol-106] (en) Solomon W. Golomb, « On the sum of the reciprocals of the Fermat numbers and related irrationalities », Canad. J. Math., vol. 15,‎ 1963, p. 475-478 (lire en ligne).

[108] Richard André-Jeannin, « Irrationalité de la somme des inverses de certaines suites récurrentes », C. R. Acad. Sci. Paris, i Math., vol. 308,‎ 1989, p. 539-541 (lire en ligne).

[109] Voir (en) Eric W. Weisstein, « Reciprocal Fibonacci Constant », sur MathWorld, ainsi que A079586 (développement décimal) et A079587 (fraction continue).

[111] Niven 1956, chap. 2 (« Simple irrationalities »), p. 19-20.

[N 1]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[N 2]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[N 3]

[N 4]

[28]

[N 5]

[29]

[N 6]

[30]

[N 7]

[31]

[N 8]

[N 9]

[32]

[33]

[34]

[35]

[N 10]

[N 11]

[N 12]

[N 13]

[N 14]

[N 15]

[36]

[37]

[N 16]

[38]

[39]

[N 17]

[40]

[41]

[N 18]

[42]

[43]

[N 19]

[44]

[45]

[46]

[47]

[N 20]

[48]

[49]

[N 21]

[50]

[51]

[N 22]

[52]

[N 23]

[N 24]

[N 25]

[53]

[N 26]

[N 27]

[N 28]

[54]

[55]

[N 29]

[N 30]

[56]

[N 31]

[N 32]

[N 33]

[57]

[N 34]

[58]

[59]

[N 35]

[N 36]

[N 37]

[61]

[62]

[63]

[64]

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif