Entier de Dirichlet

Entier de Dirichlet
Page d'aide sur l'homonymie Pour les articles homonymes, voir Entier (homonymie).
Dirichlet

En mathématiques, et plus précisément en arithmétique modulaire, nous appellerons[1] entier de Dirichlet un nombre réel de la forme a + b.ω, ici ω désigne le nombre d'or (12)(1+5) et a, b deux entiers relatifs. Sur les nombres de cette nature, il est possible de définir une nouvelle arithmétique. Elle est un peu analogue à celle, plus usuelle, des nombres entiers, décrite dans l'article arithmétique élémentaire. Cette arithmétique est à l'origine de bien des propriétés mathématiques du nombre d'or.

Les entiers de Dirichlet forment un ensemble stable pour l'addition, la soustraction et la multiplication. Il correspond au plus petit ensemble de nombres réels contenant à la fois un et le nombre d'or et stable pour les opérations citées. Sur cet ensemble, il est possible de définir une division euclidienne. On retrouve le lemme d'Euclide, l'identité de Bézout ainsi que le théorème fondamental de l'arithmétique garantissant, en un certain sens l'existence et l'unicité de la décomposition en facteurs premiers d'un entier de Dirichlet. On retrouve les propriétés du plus grand commun diviseur et du plus petit commun multiple et, avec un peu de travail, un équivalent du petit théorème de Fermat. L'analogie ne peut être poussée trop loin, les éléments inversibles pour la multiplication (appelés unités) ne sont pas de même nature dans les deux mondes. À la différence du cas usuel, il n'existe pas deux, mais une infinité de nombres de cette sorte dans l'arithmétique de Dirichlet.

Les entiers de Dirichlet sont utilisés en théorie algébrique des nombres et en arithmétique modulaire, par exemple pour l'étude d'équations diophantiennes. Ces équations sont à coefficients dans les entiers relatifs et les solutions recherchées sont entières. Leur utilisation a permis à Dirichlet et Legendre de démontrer le dernier théorème de Fermat dans le cas où le paramètre est égal à cinq. Les entiers de Dirichlet permettent aussi de résoudre l'équation de Pell-Fermat, encore pour le paramètre cinq.

La relative simplicité de cet univers permet d'élucider sa structure à l'aide des outils de l'arithmétique élémentaire. Ici seuls les théorèmes comme le lemme d'Euclide, l'identité de Bézout ou le petit théorème de Fermat sont utilisés. L'appel à des théories plus puissantes, comme des groupes, des anneaux commutatifs ou des corps finis permet d'aller plus loin. Il devient possible de comprendre des mondes plus vastes, comme ceux des entiers quadratiques. L'ajout d'autres théories comme la théorie de Galois ou celle des Anneaux de Dedekind permet d'appréhender l'entier algébrique dans sa généralité.

Sommaire

Éléments d'histoire

Origines

Leonhard Euler utilise, sans succès, une idée novatrice, à l'origine de l'intérêt pour les entiers de Dirichlet.

L'intérêt pour les propriétés arithmétiques de valeurs analogues au nombre d'or est ancienne. Les indiens de la période classiques développent des outils[2] comme la fraction continue, ou des méthodes pour l'étude d'équations diophantiennes, c'est-à-dire d'équations à coefficients entiers et dont les solutions recherchées sont entières. Brahmagupta (598668), un des mathématiciens à l'origine du zéro, étudie le cas suivant[3] :

x^2 - n\cdot y^2 = 1

À l'aide d'une identité portant maintenant son nom, il découvre une multiplication entre deux couples de solutions qui donne une troisième solution. Cette méthode, consistant à définir une multiplication sur les couples d'entiers est une des bases de l'arithmétique de Dirichlet.

Plus d'un millénaire plus tard, Leonhard Euler utilise une technique analogue pour une démonstration du dernier théorème de Fermat pour la valeur du paramètre égale à trois. Elle s'avère presque exacte[4]. À deux couples d'entiers, il associe la multiplication * définie par :

\forall a,b,c,d \in \mathbb Z\quad (a, b)*(c, d) = (ac -3bd, ad + bc)

Si cette idée est exactement la même que celle de Brahmagupta, Euler va plus loin. Il remarque que cet ensemble se comporte exactement comme celui des nombres de la forme a + i3.b, ici i désigne l'unité imaginaire. Ceci garantit plusieurs propriétés comme le fait qu'il existe un élément neutre pour la multiplication : un, que cette multiplication est associative, commutative, distributive par rapport à l'addition et que l'ensemble est intègre, c'est-à-dire que si un produit est nul, alors l'un des facteurs du produit est aussi nul. Cet ensemble comporte finalement les mêmes propriétés ainsi que la même limitation que celui des entiers relatifs, à savoir que de nombreux éléments n'ont pas d'inverse pour la multiplication. Cette analogie pousse Euler à appliquer le théorème fondamental de l'arithmétique dans cet univers, c'est-à-dire à utiliser l'existence et l'unicité d'une décomposition d'un entier de cette nature en nombres premiers pour cet univers. Un nombre premier devient ici un nombre qui, s'il est le produit a.b de deux autres nombres, alors soit a soit b est un élément inversible pour la multiplication. Seul 1 est -1 sont inversibles, dans le monde des entiers relatifs. Euler pousse ici l'analogie trop loin, dans ce monde, 2, 1 + i3 et 1 - i3 seraient des nombres premiers, mais :

4 = 2\times 2 = (1 + i\sqrt 3)(1 - i\sqrt 3)\;

Le théorème fondamental de l'arithmétique ne s'applique pas car il existe plusieurs décompositions en facteurs premiers. L'idée est néanmoins promise à un bel avenir.

Disquisitiones Arithmeticae

Disquisitiones Arithmeticae est le livre de Gauss 1801 formalisant les outils à l'origine de la démarche de Dirichlet.

En 1801, Carl Friedrich Gauss publie le traité Disquisitiones Arithmeticae, ouvrant la voie à l'arithmétique moderne et aux idées à l'origine de la richesse de l'arithmétique des entiers de Dirichlet. Un seul outil est manquant dans l'univers d'Euler. Si un monde de cette nature dispose d'une division euclidienne, la démarche est parfaitement pertinente. L'identité de Bézout, le lemme d'Euclide, parfois renommé en lemme de Gauss et le théorème fondamental de l'arithmétique s'applique. Gauss utilise cette approche pour formaliser une nouvelle structure, il considère les restes de la division euclidienne par un élément de l'anneau, ces restes sont appelés modulo. Il montre que cet ensemble dispose aussi d'une addition et d'une multiplication. Cette méthode, d'abord développée sur les entiers relatifs est valide sur tous les anneaux euclidiens. Un anneau est un ensemble équipé de deux lois de composition, l'addition et la multiplication. Ces deux lois vérifient toutes les bonnes propriétés pour autoriser les calculs usuels. Gauss applique ces idées aux nombres de la forme a + i.b, qui forment un anneau euclidien. Un tel nombre est maintenant appelé entier de Gauss.

Gotthold Eisenstein découvre comment contourner la difficulté d'Euler, l'anneau des nombres de la forme a + 1/2(1 + i3).b est lui euclidien, la démarche d'Euler offre enfin une démonstration rigoureuse pour le grand théorème de Fermat dans le cas du paramètre égal à 3.

Le travail de Dirichlet

La démonstration du cas où le paramètre est égal à 5 s'avère délicate, l'anneau des nombres de la forme a + i5.b n'est pas euclidien et l'idée d'Eisenstein ne permet pas de venir à bout de cette difficulté. Si le dernier théorème de Fermat devient de plus en plus célèbre, les idées pertinentes tardent à venir. Sophie Germain trouve un premier résultat pour le cas où le paramètre n et 2.n + 1 sont deux nombres premiers, le cas n = 5 devient celui à traiter en priorité[5].

Il devient nécessaire de travailler sur des anneaux de nombres réels. Celui contenant les valeurs a + 5.b n'est pas euclidien, mais une idée analogue à celle d'Eisenstein vient à bout de cette difficulté, il suffit de remplacer 5 par le nombre d'or, Dirichlet utilise une autre méthode, plus complexe qui démontre un résultat plus faible mais suffisant pour sa démonstration. La réticence des mathématiciens à utiliser ces structures provient d'une difficulté parfaitement connue à l'époque. Elles possèdent une spécificité que Dirichlet qualifie d'obstruction. Un anneau de cette nature contient trop d'unités, c'est-à-dire de nombres qui sont inversibles dans l'anneau. Celui des entiers relatifs en contient deux 1 et -1. L'anneau des entiers de Dirichlet en contient une infinité. Cette obstruction est d'ailleurs ce qui, jadis, poussa Brahmagupta à définir sa multiplication.

Dirichlet finit par la maîtriser suffisamment pour pouvoir travailler dans l'anneau (il choisit en pratique le sous-anneau de nombres de la forme a + 5.b avec a et b entiers relatifs). En 1825, il acquiert une célébrité instantanée grâce à un apport majeur dans la résolution du grand théorème si le paramètre est égal à cinq. La démonstration est soumise à l'académie des sciences et Adrien-Marie Legendre est nommé référé. Il lui suffit de quelques mois pour finaliser le travail de Dirichlet[6].

Structures

Un entier de Dirichlet tire son intérêt de l'ensemble de ses éléments ainsi que les lois de compositions qui s'y appliquent. Le nombre 5, en tant qu'entier de Dirichlet n'est pas inversible. Dans l'ensemble des nombres réels, ou celui des nombres de la forme a + b.5 avec a et b rationnels, il l'est. L'entier naturel 19 est un nombre premier dans l'ensemble des nombres relatifs, dans celui des entiers de Dirichlet il est divisible comme le montre le produit 19 = (4 + 3.ω)(7 - 3.ω) et ne peut être qualifié de premier. Il est en conséquence essentiel de considérer les entiers de Dirichlet comme un tout, munis de ses propriétés propres.

Définitions

La démarche est analogue à celle définissant les entiers quadratiques, elle correspond à celle des entiers de Gauss ou d'Eisenstein.

Pour mettre en évidence cette analogie, le nombre d'or 1/2.(1 + 5) est ici, et dans le reste de l'article désigné par la lettre ω, souvent utilisé dans ce type de situation. Comme le terme d'entier désigne ici parfois un entier quadratique et parfois un entier relatif, l'usage des lettres grecques est réservé, dans cet article, aux entiers de Dirichlet et les lettres latines aux entiers relatifs ou aux nombres rationnels. La lettre ε est utilisée pour décrire une unité, c'est-à-dire un élément inversible de l'anneau des entiers de Dirichlet.

  • Un nombre réel α est dit entier de Dirichlet si et seulement si, il existe deux entiers relatifs a et b tel que α = a + b.ω.

Comme le montre la suite de l'article, l'ensemble des entiers de Dirichlet forme un anneau euclidien. Dans une telle structure les nombres premiers jouent un rôle essentiel. Pour éviter une confusion entre les nombres premiers usuels et ceux de l'anneau de Dirichlet, on utilise le terme suivant dans le reste de l'article :

  • Un entier de Dirichlet π est dit nombre premier de Dirichlet seulement si toute décomposition de π en deux facteurs entiers de Dirichlet contient un et un seul élément inversible dans l'anneau.

La notion de nombre premier de Dirichlet correspond à celle d'élément premier ou d'élément irréductible. Une difficulté existe dans la définition précédente des nombres premiers, un entier ne se décompose pas de manière unique. Cette difficulté se trouve aussi pour les entiers relatifs. Au sens de la définition précédente, 4 possède deux décompositions en facteurs premiers, 2x2 et -2x-2. Pour cette raison, on définit dans Z, l'ensemble des entiers relatifs, un nombre premier comme un nombre vérifiant non seulement la propriété de la définition précédente mais qui est aussi strictement positif. Dans le cas général, à un nombre irréductible π correspond une classe d'équivalence, celle des éléments de la forme ε.π où ε décrit le groupe des unités, c'est-à-dire le groupe des éléments ayant un inverse dans l'anneau munis de la multiplication. La convention utilisée dans cet article est de n'appeler nombre premier qu'un unique représentant dans chacune des classes. Cette démarche est analogue à celle utilisée pour les entiers relatifs où seul l'entier strictement positif de la classe est considéré comme premier. Ici, le nombre premier considéré dans une classe est celui de la forme a + ω.b tel que a est strictement positif et b de valeur absolue minimale. Cette convention n'est pas générale.

Structure d'anneau

Article détaillé : Entier quadratique.

L'ensemble des entiers de Dirichlet muni de l'addition et de la multiplication forme un anneau, souvent noté Z[ω]. Cette notation décrit, en général, les polynômes dans lequel on a remplacé la variable X par ω. On obtient une expression de la forme anωn + an-1ωn-1 + ... + a1.ω + a0, ici n désigne un entier positif et les symboles ai des entiers relatifs. Le terme ω2 peut être remplacé par 1 + ω, le terme ω3 par 1 + 2.ω etc... On obtient in fine, une expression de la forme a + b.ω où a et b désignent deux entiers relatifs.

Cette propriété est générale aux entiers d'un corps de nombre (cf l'article Entier algébrique). Il est néanmoins simple de vérifier ici que l'ensemble est un sous-anneau du corps des nombres réels (tout corps est aussi un anneau). On remarque que :

\omega^2 = \frac 14 (1 + \sqrt 5)^2 = \frac 14(1 + 2\sqrt 5 + 5) = \frac 12(3 + \sqrt 5) = 1 + \omega \;

Ce qui permet d'établir la stabilité de l'ensemble pour les différentes opérations :

\forall a_1,a_2,b_1,b_2 \in \mathbb{Z} \quad (a_1+\omega.b_1)-(a_2+\omega.b_2)=(a_1-a_2)+\omega.(b_1-b_2)\in \mathbb{Z}[\omega]
\forall a_1,a_2,b_1,b_2 \in \mathbb{Z} \quad (a_1+\omega.b_1).(a_2+\omega.b_2)=(a_1.a_2+b_1.b_2)+\omega.(a_1.b_2+b_1.a_2+b_1.b_2)\in \mathbb{Z}[\omega]

En tant que sous-anneau du corps R des nombres réels, l'anneau de Dirichlet hérite de certaines propriétés, ainsi l'anneau est intègre et de caractéristique nulle. Dire qu'un anneau est de caractéristique nulle revient à dire qu'une somme de type 1 + 1 + ... + 1 n'est jamais égale à 0. Un anneau de caractéristique nulle contient une copie de Z, l'anneau des entiers relatifs, engendré par l'élément neutre de l'addition.

Corps des fractions

Article détaillé : Corps des fractions.

Il existe une technique générale qui permet de plonger un anneau intègre dans un corps commutatif. Un corps est un anneau dont tous les éléments, à l'exception de 0 l'élément neutre de l'addition, sont inversibles. Le terme plonger signifie que chaque élément de l'anneau est considéré comme un élément du corps. Cette technique est utilisée pour construire Q, le corps des nombres rationnels. Comme pour le cas des entiers relatifs, un élément du corps des fractions de l'anneau des entiers de Dirichlet est obtenu par une fraction de deux entiers de Dirichlet telle que le dénominateur n'est pas nul. Elle est toujours de la forme a + b.5a et b sont des nombres rationnels. On les appelle dans cet article des rationnels de Dirichlet.

  • Si α est un rationnel de Dirichlet alors il existe deux rationnels a et b tel que α = a + b.5.

En effet, soient c, d, e et f quatre entiers relatifs tel que e + f.ω soit non nul, (c'est-à-dire soit e soit f est non nul), on obtient :

\frac {c + d\cdot \omega}{e + f\cdot \omega}= \frac {c + d\cdot \omega}{e + 1/2f + 1/2f\cdot \sqrt 5}=\frac {(c + d\cdot \omega)(e+f -f\cdot\omega)}{e^2 + e\cdot f - f^2}= \frac {ce + cf - df}{e^2 + ef - f^2} + \frac {de -cf}{e^2 + ef - f^2}\omega

Le terme du dénominateur ne peut être nul car il est le produit de deux facteurs non nuls. Ces égalités démontrent le résultat cherché, en effet :

\frac {c + d\cdot \omega}{e + f\cdot \omega}= a + b\cdot \omega \quad\text{si}\quad a = \frac {ce + cf - df}{e^2 + ef - f^2} \quad\text{et}\quad b = \frac {de -cf}{e^2 + ef - f^2}
  • Si a et b sont deux rationnels, alors a + b.5 est un élément du corps des fractions de l'anneau des entiers de Dirichlet.

Pour s'en assurer, le plus simple est de trouver le dénominateur commun à a et à b, l'expression s'écrit alors comme une fraction de numérateur un entier de Dirichlet et de dénominateur un entier relatif, qui est aussi un entier de Dirichlet.

L'ensemble des fractions formées par les entiers de Dirichlet forme un corps. Cette propriété est une conséquence de la définition des opérations sur les fractions. On en déduit que l'ensemble des rationnels de Dirichlet forme un corps, en général noté Q[5].

Fonctions remarquables

Application conjuguée

Deux des outils pour l'étude de l'anneau sont constitués de fonctions. La première, notée ici φ, désigne une fonction de Z[ω] dans lui-même, respectant les lois de composition de l'anneau, c'est-à-dire :

\forall \alpha, \beta \in \mathbb Z[\omega]\quad \varphi(\alpha - \beta) = \varphi(\alpha) - \varphi(\beta)\quad\text{et}\quad \varphi(\alpha \cdot \beta) = \varphi(\alpha) \cdot \varphi(\beta)

Une application vérifiant ces propriétés est qualifiée de morphisme d'anneau, comme l'application recherchée et aussi une bijection, le terme consacré est automorphisme d'anneau. Une conséquence de la théorie de Galois indique qu'il n'existe qu'un unique automorphisme de Z[ω] différent de l'identité. Un peu de travail permet d'arriver à ce résultat. Pour cela, le plus simple est d'étudier l'image par φ de l'élément 5 de Z[ω]. Le fait que φ soit un morphisme montre que :

\varphi ((\sqrt 5)^2 - 5) = \varphi(\sqrt 5)^2 - 5 = 0 \;

L'image φ(5) a pour carré 5, il n'existe que deux valeurs possibles, soit 5 soit -5. Comme les automorphismes laissent stables les éléments neutres de l'addition et de la multiplication φ(1) est nécessairement égal à 1. On en déduit que l'image de 1 + 5 est égal à lui-même ou 1 - 5 et, par voie de conséquence, l'image de ω est égal soit à ω soit à 1/2(1 - 5), que l'on note dans cet article ω'. Si l'image de ω est ω, et que l'application est un automorphisme, il est nécessairement égal à l'identité. L'unique automorphisme restant associe à ω la valeur ω' = 1 - ω.

  • L'application φ, de Z[ω] dans lui-même, définie par l'égalité suivante est appelée application conjuguée de l'anneau des entiers de Dirichlet. Cette application est un automorphisme d'anneau.
\forall a, b \in \mathbb Z \quad \varphi(a + b\cdot \omega) = a + b\cdot \omega' = (a + b) - b\cdot \omega\;

Il est aisé de vérifier que φ est bien un automorphisme. Son nom provient de l'analogie avec la configuration des nombres complexes et de son automorphisme conjugué. La situation est un peu la même si l'on compare la racine de 5 avec l'unité imaginaire.

Norme

Article détaillé : Norme (arithmétique).
Entier de Dirichlet Norme.jpg

Une fois encore la situation est un peu analogue à celle des nombres complexes. Un bon outil pour mettre en valeur les propriétés géométriques des nombres complexes, vus comme un plan, est l'application module. À un nombre, elle associe la racine carrée du produit de lui-même et de son conjugué. En arithmétique, la définition doit être un peu modifiée, le produit d'un entier de Dirichlet par son conjugué n'est pas toujours positif. Par exemple la norme de 5 est égale à -5.

  • La norme d'un entier de Dirichlet est le produit de cet entier par son conjugué :
\forall \alpha \in \mathbb Z[\omega] \quad \mathcal N(\alpha) = \alpha \cdot \varphi (\alpha)\;

À l'image de la situation complexe ou de celle d'un espace vectoriel, à bien des égard la norme ressemble à une distance. Le cercle de rayon 1, qui serait composé par les entiers de Dirichlet de norme en valeur absolue égale à 1, devient un étrange carré dont les sommets se trouvent repoussés à l'infini et les côtés deviennent des branches d'hyperboles. La figure de droite illustre ce phénomène. Les entiers de Dirichlet sont représentés sur un plan munis d'un repère de centre 0 et de base (1,ω). Cette vision géométrique ressemble à celle d'un espace vectoriel, cependant ici les scalaires ne sont pas des nombres réels mais des entiers relatifs.

La norme possède quelques propriétés clés :

  • La norme d'un entier de Dirichlet est à valeurs dans l'ensemble des entiers relatifs.
\forall a,b \in \mathbb Z \quad \mathcal N (a+b\cdot\omega)=a^2+a.b-b^2 \;

La compatibilité de φ vis-à-vis de la multiplication entraine celle de la norme :

  • La norme du produit de deux entiers de Dirichlet est égale au produit de la norme des deux entiers.

Cette propriété se démontre aisément :

\forall \alpha, \beta \in \mathbb{Z}[\omega]\quad \mathcal N (\alpha\cdot \beta) = \alpha\cdot\beta\cdot \varphi(\alpha\cdot \beta) = \alpha\cdot\varphi(\alpha)\cdot \beta\cdot \varphi(\beta)= \mathcal N (\alpha)\cdot\mathcal N (\beta)

Exprimé à l'aide des coordonnées, on obtient une formule, citée dans l'article nombre d'or et plus délicate à démontrer par un calcul direct :

(a^2 + ab - b^2)(c^2 + cd - d^2) = (ad + bd)^2 + (ac + bd)(ad + bc + bd) - (ad + bc + bd)^2 \;

Groupe des unités

Norme

Les unités, c'est-à-dire l'ensemble des éléments inversibles pour la multiplication, forment un groupe commutatif pour la multiplication. Dans le cas des entiers de Dirichlet, ce groupe est vaste, ce qui constitue une obstruction. En effet, ces éléments ne sont pas traitables avec les outils classiques de l'arithmétique, avec eux, pas d'identité de Bézout, ni de lemme d'Euclide, de décomposition en facteurs premiers ou de petit théorème de Fermat. En conséquence, il est nécessaire de bien comprendre la structure de ce groupe pour pouvoir le manier sans trop de difficultés. La norme est utile.

Le groupe des unités de l'anneau de Dirichlet est composé des éléments de norme égale à ±1.

En effet, si ε est un entier de Dirichlet de norme égal à ±1, alors soit φ(ε) soit -φ(ε) est l'inverse de ε, ce qui montre que ε est bien une unité. Réciproquement si ε est une unité, alors :

\mathcal N(\epsilon\epsilon^{-1}) = \mathcal N(\epsilon)\mathcal N(\epsilon)^{-1} = \mathcal N(1) = 1

La norme de ε est un entier relatif inversible, il n'en existe que deux, 1 et -1, ce qui montre la réciproque.

Déterminer le groupe des unités revient à résoudre l'équation suivante :

x^2 + xy - y^2 = \pm 1 \;

Cette équation diophantienne, qui intervient souvent dans l'étude des entiers de Dirichlet, correspond à l'expression, en termes de coordonnées, de la norme d'un entier de Dirichlet. La suite de l'article montre qu'elle est équivalente à une équation de Pell-Fermat.

Puissance du nombre d'or

Entier de Dirichlet Unite.jpg

Un exemple d'unité est donné par ω, on vérifie de fait que N(ω) = 0 + 0 - 12 = -1. La compatibilité de la norme avec la multiplication montre que si n est un entier relatif, ±ωn est aussi une unité car :

\mathcal N(\pm \omega^n) =\mathcal N(\omega^n)=\mathcal N(\omega)^n = (-1)^n \;
  • Soit e un entier égal à 1 ou à -1 et n un entier relatif,n est une unité de l'anneau des entiers de Dirichlet.

La figure de droite illustre le positionnement des unités, les branches bleues supportent les unités positives et les rouges, les négatives. Cette méthode, purement algébrique, pour déterminer les unités est généralisable. Brahmagupta l'avait remarqué, ce qui lui a permis de construire une méthode très générale sur ce principe, appelée méthode chakravala.

Une question plus délicate est celle de la réciproque, la réponse est donnée par la proposition suivante :

  • Soit ε un élément du groupe des unités, il existe un entier e égal à 1 ou -1 et un entier relatif n tel que ε soit égal àn.

Cette question arrêta longuement les mathématiciens dans le cas général. C'est Joseph-Louis Lagrange qui finalement vient à bout[7] du cas des entiers quadratiques en prolongeant les travaux d'Euler sur la fraction continue d'un nombre quadratique. Dirichlet trouve au siècle suivant une méthode de résolution valable pour tous les entiers algébriques, généralisant ainsi les travaux de Lagrange. Ce résultat est l'objet d'un théorème dit des unités de Dirichlet. Une démonstration simplifiée, pour résoudre uniquement le cas des entiers quadratiques, est proposé dans l'article Entier quadratique. Si l'objectif n'est que l'étude du groupe des unités des entiers de Dirichlet, une démonstration élémentaire est envisageable.

Suite de Fibonacci

Article détaillé : Suite de Fibonacci.

Si l'on considère la suite des coordonnées de ωn pour n un entier naturel, on obtient (1,0), (0,1), (1,1), (1,2), (2,3) ... On reconnait là une suite de Fibonacci :

a_0 = 1,\;a_1 = 0 \quad\text{et}\quad \forall n \in \mathbb N \quad a_{n+2}= a_{n+1} + a_n \quad \text{alors}\quad \omega^n = a_n + a_{n+1}\omega \quad\text{et}\quad \omega^{-n} = (-1)^n(a_{n+2} -a_{n+1}\omega)

Cette proposition se démontre par récurrence, un rapide calcul montre que la formule est vraie si n est égal à 0 ou 1, supposons la première formule vraie jusqu'à n :

\omega^{n+1}= \omega\cdot\omega^n= \omega\cdot(a_n + a_{n+1}\omega) = a_n\omega + a_{n+1}\omega^2 = a_n\omega + a_{n+1}(1 + \omega) =a_{n+1} + (a_{n+1} + a_n)\omega\;

Une démonstration de même nature établit la relation de récurrence pour les valeurs négatives de n.

Division euclidienne

Article détaillé : Anneau euclidien.

Existence

Entier de Dirichlet Division.jpg

La norme possède une propriété importante, elle permet de définir une division euclidienne. Cette norme n'est pas toujours positive. Le stathme v, c’est-à-dire la fonction permettant de définir la division et égale à la valeur absolue dans le cas des entiers relatifs, ne doit prendre que des valeurs positives. Pour cette raison, on le choisit égal la valeur absolue de la norme. Cette application est encore multiplicative, c’est-à-dire que si α et β sont deux entiers de Dirichlet, alors : v(α.β) = v(α).v(β).

  • Soit α et β deux entiers de Dirichlet tel que β soit non nul, il existe un couple d'entiers de Dirichlet (θ,ρ) tel que :
\alpha=\beta.\theta+\rho\quad avec \quad |\mathcal N(\rho)|<|\mathcal N(\beta)|\;

La démonstration est analogue à celle des entiers de Gauss. Considérons la fraction rationnelle α/β et l'ensemble des éléments ζ de Q[5] tel que |N(α/β - ζ)| soit strictement inférieur à un. Cet ensemble correspond à la zone bleue de la figure de droite, délimitée par les quatre branches des hyperboles. L'intersection de cette zone avec les entiers de Dirichlet, correspondant aux points du réseau, sont les candidats à être les quotients de la division euclidienne. Ces candidats sont illustrés par un petit cercle sur la figure. Le carré, illustré en orange, de côté 1 et de centre α/β est strictement inclus dans la zone bleue. Il contient au moins un point θ, illustré ici en rouge. Ce point θ vérifie :

|\mathcal N\left( \frac{\alpha}{\beta}- \theta \right)| <1  \mbox{ et si } \rho=\beta\left(\frac{\alpha}{\beta}- \theta\right) \mbox{ alors } |\mathcal N(\rho)|=|\mathcal N \left(\beta.\left(\frac{\alpha}{\beta}- \theta\right)\right)| = |\mathcal N(\beta)\cdot \mathcal N\left(\frac{\alpha}{\beta}- \theta \right)|<|\mathcal N(\beta)|

Ceci montre qu'il existe une division euclidienne dans l'anneau des entiers de Dirichlet. Elle possède un aspect un peu déroutant, il n'existe pas un reste possible, mais jusqu'à une infinité. Le nombre de restes possibles est en effet lié au groupe des unités, si ρ1 et ρ2 sont deux restes possibles, il existe une unité ε tel que ρ2 = ερ1. Cette situation est finalement la même que pour les entiers relatifs ou il existe parfois deux restes possibles (cf division euclidienne).

Conséquences

Comme cet anneau est euclidien, il est principal, l'identité de Bézout s'applique ainsi que le lemme d'Euclide et le théorème fondamental de l'arithmétique. L'article Entier de Gauss propose des démonstrations directement applicables au cas traité ici. Les démonstrations sont très proches de celles de l'arithmétique usuelle. Montrons-le, par exemple, pour le lemme d'Euclide. Il indique que si α, β et γ sont trois entiers de Dirichlet tels que α divise le produit β.γ et tel que α et β soient premiers entre eux, alors α divise γ. Avec ces hypothèses et l'identité de Bézout, comme α et β sont premiers entre eux, il existe deux entiers de Dirichlet ρ et θ tels que α.ρ + β.θ = 1, on multiplie membre à membre par γ, on obtient α.ρ.γ + β.θ.γ = γ. Comme β.γ est un multiple de α, il existe un entier de Dirichlet δ tel que β.γ soit égal à α.δ. En remplaçant β.γ par α.δ, on obtient α(ρ.γ + θ.δ) = γ, ce qui démontre la proposition.

Cette démonstration est, à la modification près sur le terme d'entier qui devient entier de Dirichlet, exactement la même que celle du cas des entiers relatifs. Cette logique, qu'Euler tente d'appliquer, nécessite l'existence d'une division euclidienne, ce que Gauss a compris.

Petit théorème de Fermat

Article détaillé : Petit théorème de Fermat.

Si l'analogie est profonde, elle doit néanmoins être maniée avec précaution. Le petit théorème de Fermat, l'un des piliers de l'arithmétique élémentaire, s'exprime par exemple de manière un peu différente :

  • Soient π un nombre premier de Dirichlet, α un nombre entier de Dirichlet qui n'est pas un multiple de π et n un entier strictement positif égal à la valeur absolue de la norme de π, alors αn-1 - 1 est un multiple de π.

En utilisant le langage des congruences, on obtient l'égalité suivante, caractéristique du petit théorème de Fermat :

\alpha^{n-1} \equiv 1 \mod \pi \;

La démonstration proposée ici ne fait appel ni à la théorie des groupes ni aux techniques plus sophistiquées comme celle de l'anneau quotient ou des corps finis. Les démonstrations de l'article Entier quadratique, faisant usage d'outils plus puissants arrivent à des conclusions plus générales avec des démonstrations plus succinctes.

Nombres premiers

Définitions et exemples

Un peu de vocabulaire est utile :

  • Un nombre premier p dans l'ensemble des entiers naturels est dit inerte si et seulement si, il est premier en tant qu'entier de Dirichlet.
  • Un entier de Dirichlet α est dit irréductible si et seulement si, il existe une unité ε et un nombre premier de Dirichlet π tel que α soit égal à ε.π.

Autrement dit, un entier de Dirichlet est dit irréductible s'il est différent d'une unité et s'il n'admet comme diviseur que lui-même et 1 à un facteur unité près.

  • Un nombre premier p dans l'ensemble des entiers naturels est dit décomposé si et seulement si, il n'est pas irréductible en tant qu'entier de Dirichlet.

L'entier 5 est un entier de Dirichlet irréductible. On remarque en effet que la norme de 5 est égale à -5, dont la valeur absolue est un nombre premier dans les entiers naturels. On dispose en effet de la propriété suivante :

  • Un entier de Dirichlet ayant une norme en valeur absolue égale à un nombre premier est irréductible.

La valeur 2 est un nombre premier de Dirichlet, même si sa norme n'est pas irréductible. Il suffit pour cela de montrer qu'il n'existe pas d'entier de Dirichlet dont la norme est égale à deux. Tout diviseur de deux possède pour norme égale en valeur absolue soit à 1 soit à 4 (c’est-à-dire la norme de deux). Montrons, par l'absurde qu'il n'existe pas d'entier de Dirichlet de norme égal à ±2. Supposons qu'un tel nombre existe et soit a et b les deux entiers relatifs de même parité tel que 1/2(a + b.5) soit égal à ce nombre. Sa norme est égale à deux, donc a2 + 5.b2 = ±8. Si a et b sont pairs, alors il existe deux entiers u et v tel que a = 2.u et b = 2.v, l'équation devient u2 + 5.v2 = ±2, une analyse modulo quatre montre que le premier terme ne peut jamais être congru à deux, d'où une contradiction si a et b sont pairs. Si a et b sont impairs, alors il existe u et v tel que a = 2.u + 1 et b = 2.v + 1, l'équation devient en simplifiant par 4 : u.(u + 1) - 5.v.(v+ 1) - 1 = ±2, le premier terme est impair le second pair, d'où une contradiction si a et b sont impairs.

Des raisonnements de cette nature permettent de trancher au cas par cas pour savoir si un entier de Dirichlet est irréductible ou non. Une méthode plus générale est nécessaire pour établir la géographie des nombres premiers.

Résidu quadratique

La démonstration du petit théorème de Fermat établit des différences de nature entre les nombres premiers de N. Certains sont cassés dans l'arithmétique de Dirichlet, d'autres non. Pour établir la géographie des nombres premiers de Dirichlet, il est nécessaire de savoir lesquels résistent ainsi que ceux qui se brisent. Cette question est liée à l'équation diophantienne suivante, si p désigne un nombre premier de N :

(1) \quad x^2 - p\cdot y = 5\;

Elle fut résolue dans le cas général par Gauss qui appela le théorème associé, théorème d'or. Il est maintenant plus connu sous le nom de Loi de réciprocité quadratique. Résoudre cette équation revient à déterminer si 5 est ou non le reste d'une division euclidienne d'un carré parfait par p, un nombre premier. On dit alors que 5 est un résidu quadratique modulo p. Le petit théorème de Fermat permet de montrer que :

  • Le nombre 5 est le reste d'une division euclidienne d'un carré parfait par un nombre premier p différent de 5 si et seulement si p est congru à ±1 modulo 5.

La relation entre l'équation (1) et la nature des nombres premiers est donnée par la proposition suivante :

  • Un nombre premier p de N différent de 2 est inerte, si et seulement si, 5 n'est pas un résidu quadratique modulo p.

Résoudre cette équation permet d'établir des résultats un peu inattendus, connu sous le nom de Loi d'apparition des nombres premiers au sein de la suite Fibonacci. Si (an) désigne la suite de Fibonacci :

  • Si p est un nombre premier de N différent de 5 et décomposé, alors ap est un multiple de p ainsi que ap-1 - 1.

Les démonstrations se fondent sur les propriétés géométriques du nombre d'or ainsi que le petit théorème de Fermat. Une propriété du nombre d'or est d'intervenir dans la construction à la règle et au compas du pentagone régulier. Si les sommets du polygone sont vus comme des points du plan complexe, ils sont racines du polynôme X5 - 1 = 0. Le petit théorème de Fermat indique lui que, dans le monde des congruences modulo π, tout résidu est solution de l'équation Xp2-1 - 1 ≡ 0 mod p, si p désigne la valeur absolue de la norme de π. L'analogie est suffisante. La preuve se résume à montrer qu'un nombre premier p différent de 5 n'est pas irréductible dans les entiers de Dirichlet si et seulement si, p2 - 1 est un multiple de 5.

Une fois encore, l'usage d'outils sophistiqués permet des démonstrations plus rapides pour des résultats plus généraux. Ici, l'outil clé est la loi de réciprocité quadratique. Elle se démontre, par exemple avec les corps finis ou les groupes abéliens finis et particulièrement leur analyse harmonique. Les démonstrations proposées ici se cantonnent aux outils de l'arithmétique élémentaire.

Equation de Pell-Fermat

Article détaillé : Équation de Pell-Fermat.

Équation

L'objectif est de résoudre l'équation suivante :

(1)\quad x^2 -5 y^2 = d \quad\text{avec}\quad d \in \mathbb Z -\{0\}\;

Dans un premier temps, l'objectif est de se ramener à une équation utilisant l'expression de la norme dans l'anneau des entiers de Dirichlet. Un changement de variable permet d'écrire la solution de la manière suivante :

x = u + \frac v2,\; y = \frac v2 \quad\text{alors}\quad (2)\quad u^2 + u\cdot v - v^2 = d \;

Pour une raison de simplicité, on appelle solution de l'équation (2) tout entier de Dirichlet de norme égale à d. En effet, dire qu'un entier de Dirichlet a + b.ω est de norme d revient à dire que a2 + a.b - b2 = d. Cette remarque, ainsi que la connaissance de la structure des nombres premiers de Dirichlet permet de venir à bout de l'équation (1).

Le facteur 1/2, introduit par le changement de variables, doit être pris en compte. Une proposition intermédiaire est nécessaire :

  • S'il existe un entier de Dirichlet de norme égale à d en valeur absolue, alors il existe un entier de Dirichlet de la forme a + 2b.ω de norme d en valeur absolue et le couple (a - b, b) est une solution de l'équation (1) pour le paramètre ±d. Ici a et b désigne deux entiers relatifs.

Soit a1 + b1.ω un entier de Dirichlet de norme égale à d en valeur absolue. Si b1 est pair la proposition est bien vérifiée. Sinon, deux cas se présentent, selon la parité de a1. Si a1 est impair, on remarque que ω est une unité, donc ω.(a1 + b1.ω) est de norme égale à d en valeur absolue. L'égalité ω.(a1 + b1.ω) = b1 + (a1 + b1).ω et le fait que a1 et b1 soient impairs permet de conclure. Si a1 est pair, appliquons le même raisonnement avec 1 + ω, on obtient l'égalité suivante : (1 + ω).(a1 + b1).ω = a1 + b1 + (a1 + 2b1).ω. Cette dernière égalité, ainsi que le fait que a1 soit pair permet encore de conclure. Pour terminer la démonstration, il suffit de remarquer que le couple (a - b, b) est effectivement une solution de l'équation (1).

Enfin si (a, b) est une solution, alors (±a, ±b) est aussi une solution. Pour cette raison, ne sont cherchées uniquement les solutions tel que a et b sont positifs.

La valeur absolue de d est égale à un

Résoudre l'équation (2) dans le cas où le paramètre est égal à ±1 est possible avec la connaissance du groupe des unités. Toutes les unités sont connues, elles sont de la forme ±ωnn est un entier relatif et le signe de la norme est celui de (-1)n. Enfin, la suite de Fibonacci donne les coordonnées exactes des unités.

En revanche, les solutions recherchées sont celles qui ont pour coefficients b un entier pair. Une récurrence permet d'établir que, si (an) désigne la suite de Fibonacci déjà utilisée, an est pair si et seulement si n est congru à 1 modulo 3. L'article Entier algébrique étudie cette configuration pour toutes les équations de Pell-Fermat. Cela permet de conclure que :

  • L'ensemble des solutions S1 de l'équation (1) pour le paramètre d égal à 1 est :
S_1 = S_{1+}\cup S_{1-}  \quad\text{avec}\quad \begin{align}
S_{1+} & = \left\{(a,b) \in \mathbb Z^2,\; a = a_{6k} + \frac {a_{6k+1}}2 ,\; b = \frac {a_{6k+1}}2 ,\quad k \in \mathbb N \right\} \\
S_{1-} & =  \left\{(a,b) \in \mathbb Z^2,\; a = a_{6k+2} - \frac {a_{6k+1}}2 ,\; b = \frac {a_{6k+1}}2 ,\quad k \in \mathbb N \right\} \end{align}
  • L'ensemble des solutions S-1 de l'équation (1) pour le paramètre d égal à -1 est :
S_{-1} = S_{-1+}\cup S_{-1-}  \quad\text{avec}\quad \begin{align}
S_{-1+} & = \left\{(a,b) \in \mathbb Z^2,\; a = a_{6k+3} + \frac {a_{6k+4}}2 ,\; b = \frac {a_{6k+4}}2 ,\quad k \in \mathbb N \right\} \\
S_{-1-} & = \left\{(a,b) \in \mathbb Z^2,\; a = a_{6k+5} - \frac {a_{6k+4}}2 ,\; b = \frac {a_{6k+4}}2 ,\quad k \in \mathbb N \right\} \end{align}

La valeur absolue de d est égale à un nombre premier p

L'analyse des nombres premiers de Dirichlet permet de résoudre la question. La lettre p désigne ici un entier naturel premier.

  • Si p est congru à 2 ou à 3 modulo 5, alors l'équation (1) n'admet pas de solution pour le paramètre ±p.

En effet, L'équation (2) n'a pas de solution car il n'existe aucune norme dans Z[ω] égale à ±p et toute solution de l'équation (1) se construit à l'aide d'une solution de l'équation (2).

  • Si p est congru à 1 ou à 4 modulo 5, alors l'équation (1) admet une infinité de solutions pour les deux paramètres p et -p.

Si p est congru à 1 ou à 4, il existe un nombre premier π ayant pour norme p. Quitte à multiplier π par ω ou ω2, il est possible de construire une solution (a, b) à de l'équation (2) tel que b soit pair. Multiplier cette solution par les éléments de S1 d'un côté et par S-1 de l'autre fournit une infinité de solutions pour chacun des deux paramètres p et -p. L'article équation de Pell-Fermat montre qu'il n'y en a pas d'autres.

Cas général

Le cas général est analogue à celui des équations de type x2 ± n.y2 = d, il est traité en détail dans l'article Théorème des deux carrés de Fermat. Il prend la forme suivante :

  • S'il existe un exposant d'un entier naturel premier congru à 2 ou à 3 modulo 5 dans la décomposition en facteurs premiers de d alors l'équation (1) n'a pas de solution.

On raisonne par contraposé, c'est-à-dire que l'on suppose que l'équation (1) admet une solution pour d et on montre que les exposants des facteurs premiers de d congru à 2 ou 3 modulo 5 sont pairs.

Soit (a, b) une solution de l'équation (1), α = a - 2b + 2b.ω est de norme d. Considérons la décomposition en facteurs premiers de Dirichlet de α. Le paragraphe précédent montre que la norme d'un nombre premier de Dirichlet est, soit en valeur absolue égale au carré d'un entier naturel premier congru à 2 ou à 3 modulo 5, soit à un entier naturel premier congru à 1 ou à 4 modulo 5 ou encore à 5. L'exposant des facteurs premiers de la norme de α congru à 2 ou à 3 est en conséquence toujours pair car la décomposition en facteurs premiers est unique. On en déduit que la décomposition en facteurs premiers de d ne contient pas d'exposant impair pour les facteurs premiers congru à 2 ou à 3 modulo 5. Ce qui termine la démonstration.

  • Si d ne contient aucun exposant impair pour les entiers naturels premiers congru à 2 ou à 3 modulo 5 présents dans sa décomposition en facteurs premiers, alors l'équation (1) admet une solution pour les deux paramètres d et -d.

Si d vérifie l'hypothèse de la proposition, il existe une suite finie de nombres premiers pi congru à 2 ou à 3 modulo 5, une suite de nombres premiers (q j) non congru à 2 ou à 3 modulo 5 et deux suites à valeur dans les entiers strictement positifs (ni) et (mj) telles que :

|d| = \prod_{i,j} p_i^{2n_i}q_j^{m_j}\;

L'analyse des nombres premiers de Dirichlet montre l'existence d'entiers αj tels que leurs normes vérifient les égalités suivantes :

\forall j\quad |N(\alpha_j)|=q_j \quad\text{et si}\quad \alpha = \prod_{i,j}  p_i^{n_i} \alpha_j^{m_j},\quad N(\alpha) = \pm d \;

A partir de là, on raisonne comme pour le cas où d est premier et on construit deux suites infinies de solutions, une pour la valeur d et l'autre pour la valeur -d. On remarque qu'il existe deux solutions différentes pour une norme égale à q j, soit αj2 soit q j. La combinatoire de toutes les écritures d'un nombre de norme d, donne l'intégralité des solutions, une fois composées avec les ensembles S1 et S-1.

Propriété associée à la démonstration du dernier théorème de Fermat

Dirichlet s'est intéressé à cet anneau d'entiers dans un but particulier: résoudre l'équation de Fermat dans le cas où le paramètre est égal à cinq. Cette résolution revient à montrer qu'il existe pas de triplet (x, y, z) tel que x.y.z soit différent de zéro et x5 + y5 = z5.

Cette résolution se fonde sur un lemme technique. La démonstration de ce lemme est la cause originale de l'étude par Dirichlet de cet anneau d'entier :

Soit a et b deux entiers relatifs différents de zéro, premiers entre eux, de parités différentes, tel que cinq divise b et a2 - 5.b2 soit une puissance cinquième. Alors il existe deux entiers différents de zéro c et d premiers entre eux, de parités différentes tel que cinq ne divise pas c et :

a=c(c^4+50c^2d^2+125d^4)\quad et \quad b=5d(c^4+10c^2d^2+5d^4)\;


Voir aussi

Notes

  1. Si le contenu mathématique de l'article fait partie du corpus usuel de la théorie des nombres, le terme entier de Dirichlet n'est pas commun. L'ensemble des entiers de cette nature est généralement noté OQ[√5], il est fréquent de ne pas donner de nom à ses éléments.
  2. On les trouve par exemple dans une œuvre de Âryabhata intitulée Âryabhatîya, Georges Ifrah, Histoire universelle des chiffres : L'intelligence des hommes racontée par les nombres et le calcul, Robert Laffont, 1994 (ISBN 978-2-70284212-6)
  3. (en) John Stillwell (en), Mathematics and its History, Springer, 3e éd., 2010 (ISBN 978-1-44196052-8), p. 72-74
  4. (en) Harold Edwards, Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer, 3ème éd., 2000 (ISBN 978-0-387-95002-0)
  5. (en) John J. O’Connor et Edmund F. Robertson, « Fermat's last theorem », dans MacTutor History of Mathematics archive, université de St Andrews [lire en ligne] .
  6. Dirichlet, Démonstration du théorème de Fermat et de Wilson (compte-rendu par Cournot de quelques mémoires d'Abel, Jacobi et Lejeune-Dirichlet, au Journal de Crelle, t. 3, cah. 4). 1829, t. 11, p. 153-157
  7. Ces résultats sont publiés dans Bruyset (Lyon) et Desaint (Paris), L. Euler et J. L. Lagrange, Éléments d'algèbre, 1774 . Le livre contient contient les Additions aux Éléments d'Algèbre d'Euler par Lagrange, rééditées dans Joseph-Alfred Serret, Œuvres de Lagrange, vol. VII, Gauthier-Villars, 1877 [lire en ligne], p. 5-180 . Elles contiennent les deux preuves citées.

Liens externes

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Entier de Dirichlet de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Entier De Dirichlet — Pour les articles homonymes, voir Entier (homonymie). Dirichlet En mathématiques, et plus précisément en arithmétique modulai …   Wikipédia en Français

  • Entier de dirichlet — Pour les articles homonymes, voir Entier (homonymie). Dirichlet En mathématiques, et plus précisément en arithmétique modulai …   Wikipédia en Français

  • Entier De Gauss — Pour les articles homonymes, voir Entier (homonymie). Carl Friedrich Gauss. En mathématiques, et plus précisément en …   Wikipédia en Français

  • Entier de gauss — Pour les articles homonymes, voir Entier (homonymie). Carl Friedrich Gauss. En mathématiques, et plus précisément en …   Wikipédia en Français

  • Entier algébrique — Pour les articles homonymes, voir Entier (homonymie). En mathématiques, les entiers algébriques forment une famille de nombres qui généralise l ensemble des nombres entiers dits relatifs. Ils jouent un rôle analogue à ces derniers en théorie… …   Wikipédia en Français

  • Entier de Gauss — Pour les articles homonymes, voir Entier (homonymie). Carl Friedrich Gauss. En mathématiques, et plus précisément en théorie algébrique des nombres, un entier de …   Wikipédia en Français

  • DIRICHLET (P. G. LEJEUNE-) — Avec son ami et contemporain Jacobi et son cadet de quelques années Kummer, Dirichlet constitue la première génération des mathématiciens allemands après Gauss, dont naturellement ils subissent très fortement l’influence; mais, alors que celui ci …   Encyclopédie Universelle

  • Entier Algébrique — Pour les articles homonymes, voir Entier (homonymie). En mathématiques, les entiers algébriques forment une famille de nombres qui généralise l ensemble des nombres entiers dits relatifs. Ils jouent un rôle analogue à ces derniers en théorie… …   Wikipédia en Français

  • Entier algebrique — Entier algébrique Pour les articles homonymes, voir Entier (homonymie). En mathématiques, les entiers algébriques forment une famille de nombres qui généralise l ensemble des nombres entiers dits relatifs. Ils jouent un rôle analogue à ces… …   Wikipédia en Français

  • Entier quadratique — Pour les articles homonymes, voir Entier (homonymie). En mathématiques, un entier quadratique est un nombre réel ou complexe, racine d un polynôme du second degré à coefficients dans les nombres entiers et dont le coefficient du terme du plus… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”