Géométrie des nombres — Wikipédia

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

L'observation de base de la géométrie des nombres : un disque centré en O contient des points du quadrillage (en vert) autres que O seulement s'il est assez grand (c'est le cas du disque violet C', mais pas du disque rose C)

En mathématiques, la géométrie des nombres est une discipline qui interprète des problèmes arithmétiques en termes de réseaux discrets et les résout en utilisant des propriétés géométriques. Elle a été fondée à la fin du XIX^e siècle par Hermann Minkowski. Le point de départ est une observation élémentaire : si on dessine un quadrillage dans le plan et un cercle dont le centre est un des sommets du quadrillage, alors, si le cercle est assez grand, son intérieur contient d'autres points du quadrillage. Un trait important de la géométrie des nombres est donc l’interaction entre discret (les points du quadrillage) et continu (l'intérieur du cercle). En changeant le cercle en d'autres figures, en variant la forme du maillage, en généralisant à des dimensions supérieures, on obtient des applications variées, qui concernent l’analyse fonctionnelle, l’approximation diophantienne, la géométrie et l’analyse convexes, l’algorithmique, la combinatoire, la théorie algébrique des nombres, les empilements de sphères, la cristallographie.

Théorème fondamental de Minkowski[modifier | modifier le code]

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

Exemple d’un polygone convexe satisfaisant le théorème de Minkowski — L’intérieur C du polygone en bleu vérifie les hypothèses du théorème fondamental de Minkowski pour le réseau des points à coordonnées entières.

Ce théorème concerne l’intersection d’un ensemble convexe et d’un réseau de points dans l’espace ℝ^d, de dimension d ; plus précisément, il dit que si la forme du convexe est assez régulière et si le volume du convexe est assez grand par rapport à celui d’une maille du réseau, le convexe contient plusieurs points du réseau^[1]. Une version plus générale se déduit presque immédiatement du théorème de Blichfeldt^[2].

Le cas le plus simple est celui dans lequel le réseau de points est ℤ^d, c’est-à-dire est formé de tous les points à coordonnées entières. Ce cas met bien en lumière comment le théorème de Minkowski établit « un lien entre les propriétés géométriques d’un ensemble — convexité, symétrie et volume — et une propriété arithmétique, à savoir l’existence d’un point à coordonnées entières^[3] » dans cet ensemble.

Théorème fondamental de Minkowski (I) — Soit C un convexe dans ℝ^d, symétrique par rapport à l'origine. Si son volume est strictement supérieur à 2^d, C contient au moins deux points à coordonnées entières, autres que l'origine.

Le carré bleu foncé a une aire inférieure à 4 et ne contient aucun point à coordonnées entières sauf l’origine O.
Le carré bleu clair est d'aire supérieure à 4 et contient par exemple le point rouge I de coordonnées (–1, 1).

L’exemple du carré (en dimension 2) et de ses généralisations en dimension d montre que la borne 2^d ne peut pas être diminuée. Mais il existe une variante du théorème pour les convexes de volume 2^d : dans ce cas, l’adhérence du convexe (autrement dit, le convexe ou sa frontière) contient un point du réseau autre que l’origine.

Par ailleurs, il existe, dans le plan par exemple, des ensembles d’aire plus grande que 4 et qui sont, soit convexes, mais non symétriques par rapport à l’origine, soit symétriques par rapport à l’origine mais non convexes, et qui ne contiennent pas plusieurs points du réseau.

Le théorème se reformule en termes de réseaux autres que celui des points à coordonnées entières.

Théorème fondamental de Minkowski (II) — Soit C un convexe dans ℝ^d, symétrique par rapport à l'origine, et soit L un réseau de déterminant Δ. Si le volume du convexe est strictement supérieur à 2^dΔ, C contient au moins deux points du réseau L, autres que l’origine.

Application à l’approximation diophantienne[modifier | modifier le code]

L’objectif est ici d’utiliser le théorème fondamental de Minkowski pour montrer le théorème d'approximation de Dirichlet, qui dit qu’il est possible d’approcher simultanément un ensemble fini de nombres réels par des nombres rationnels de même dénominateur. Plus précisément^[4],

Théorème — Soit $n$ nombres réels $\alpha _{1},\alpha _{2},\ldots \alpha _{n}$ . Il existe alors $n + 1$ entiers, $p \geq 1, p 1, p 2, \dots, p n$ , tels qu’on ait en même temps :

$\left|\alpha _{1}-{\frac {p_{1}}{p}}\right|<{\frac {1}{p^{1+(1/n)}}}$

$\left|\alpha _{2}-{\frac {p_{2}}{p}}\right|<{\frac {1}{p^{1+(1/n)}}}$

$\cdots$

$\left|\alpha _{n}-{\frac {p_{n}}{p}}\right|<{\frac {1}{p^{1+(1/n)}}}.$

Il existe en fait une infinité de $n +1$ -uplets d’entiers $(p, p 1, p 2, \dots p n)$ vérifiant ces inégalités.

La preuve est caractéristique de la géométrie des nombres : on reformule le problème en faisant intervenir un ensemble convexe vérifiant les hypothèses du théorème fondamental de Minkowski (ce sera ici un parallélépipède). En appliquant le théorème, on obtient un point à coordonnées entières dans le convexe dont on vérifie qu’il donne la solution cherchée.

Ici, on choisit un nombre réel s < 1, et on considère la région K de ℝⁿ⁺¹ formée de tous les points $(y, x 1, x 2, \dots, x n)$ vérifiant les inégalités

|x_{i}-\alpha _{i}y|\leq s{\text{ pour tous les }}i=1,2,\cdots ,n{\text{ et }}|y|\leq s^{-n}.

Cette région forme un parallélépipède, centré à l’origine, qui vérifie les hypothèses du théorème fondamental de Minkowski. En effet, c’est un ensemble convexe, symétrique par rapport à l’origine, et son volume est 2ⁿ⁺¹ (on peut calculer ce volume en transformant ce parallélépipède en un cube, par une transformation linéaire qui préserve les volumes).

La région K contient donc un point à coordonnées entières (forme I du théorème fondamental), $(p, p 1, p 2, \dots, p n)$ autre que l’origine (0, 0, …, 0). On vérifie alors que les fractions $p i / p$ fournissent les approximations voulues. En changeant le nombre s, on obtient même une infinité de solutions.

Somme de quatre carrés[modifier | modifier le code]

Article détaillé : Théorème des quatre carrés de Lagrange.

La géométrie des nombres donne une preuve du théorème classique de Lagrange selon lequel tout nombre entier positif est somme de quatre carrés^[5]^,^[6].

Tout d’abord, la preuve du théorème pour un entier pair se ramène à celle pour un entier impair en n'utilisant qu'un cas très particulier de l'identité des quatre carrés d'Euler^[7]. En effet, si m = x² + y² + z² + w², alors 2m = (x + y)² + (x – y)² + (z + w)² + (z – w)², donc si le théorème est prouvé pour les nombres entiers impairs, on l’obtient par doublements successifs pour tous les entiers positifs.

La preuve pour les entiers impairs, quant à elle, se déduit du théorème de Minkowski (II) et du lemme suivant : pour tout entier m positif impair, il existe des entiers a et b tels que a² + b² + 1 est divisible par m (la preuve de ce lemme repose sur (i) le nombre de résidus quadratiques et le principe des tiroirs lorsque m est premier ; (ii) un argument de récurrence lorsque m est une puissance de premier ; (iii) le théorème des restes chinois pour conclure).

La suite est une application du théorème fondamental de Minkowski (II). On considère d’une part le réseau L dans l’espace à 4 dimensions, ℝ⁴, formé des points (mx + az + bw, my + bz – aw, z, w), avec a et b fixés vérifiant le lemme, et x, y, z, w, prenant toutes les valeurs entières. Ce réseau a pour volume m².

Par ailleurs, on considère l’ensemble des points de ℝ⁴ tels que (mx + az + bw)² + (my + bz – aw)² + z² + w² < 2m. Ils forment une sphère (dans un espace à 4 dimensions), de rayon $\sqrt 2 m$ et donc de « volume » 2π²m². Puisque π² > 8, on est dans les conditions du théorème de Minkowski : la sphère est un ensemble convexe, symétrique par rapport à l’origine, de volume assez grand pour contenir un point non nul du réseau : on obtient ainsi des entiers x, y, z, w tels que 0 < (mx + az + bw)² + (my + bz – aw)² + z² + w² < 2m.

Mais grâce au choix de a et b, il est facile de vérifier que (mx + az + bw)² + (my + bz – aw)² + z² + w² est toujours un multiple entier de m, lorsque x, y, z et w sont entiers. Le seul multiple entier de m qui soit strictement compris entre 0 et 2m est m lui-même, donc (mx + az + bw)² + (my + bz – aw)² + z² + w² = m. Cela fournit une représentation de l’entier positif impair m comme une somme de quatre carrés entiers, comme souhaité.

Cet exemple illustre bien la manière dont les propriétés discrètes et continues interfèrent pour fournir le résultat : les points de la sphère (représentant l’aspect continu du problème) vérifient une inégalité (la condition « < 2m ») qui devient une égalité (« = m ») lorsqu’on impose que certaines inconnues soient à valeurs entières (aspect discret).

Une preuve analogue permet de montrer que tout nombre premier de la forme 4n + 1 est la somme des carrés de deux entiers^[8]^,^[9].

Valeurs minimales de formes[modifier | modifier le code]

Les deux exemples d’applications précédents font intervenir des formes algébriques (c’est-à-dire des polynômes homogènes), formes linéaires dans le premier cas, formes quadratiques dans le deuxième. La géométrie des nombres permet plus généralement d’étudier les valeurs aux points entiers de telles formes, en particulier de majorer leurs minima^[10].

Théorème — Soit $\xi _{1},\xi _{2},\cdots \xi _{n}$ un système de n formes linéaires homogènes à n variables $x_{1},x_{2},\cdots x_{n}$ , à coefficients réels, et de déterminant non nul $\Delta$ . Alors, pour tout ensemble de n nombres positifs $\tau _{1},\tau _{2},\cdots \tau _{n}$ tels que $\tau _{1}\tau _{2}\cdots \tau _{n}=\Delta$ , on peut donner aux variables $x_{i}$ des valeurs entières telles que pour tout i, on ait $|\xi _{i}|\leq \tau _{i}$ .

La preuve repose sur le théorème fondamental de Minkowski appliqué au parallélépipède défini par $|\xi _{i}|\leq \tau _{i}$ pour tout i, dont le volume est 2ⁿ.

Théorème — Soit $Q(x_{1},x_{2},\cdots ,x_{n})=\sum _{i,j=1}^{n}s_{ij}x_{i}x_{j}$ une forme quadratique définie positive à n variables et $D={\hbox{dét}}(s_{ij})$ son déterminant. Alors il existe des entiers $u_{1},u_{2},\cdots ,u_{n}$ qui ne sont pas tous nuls et tels que la valeur de la forme en ces entiers $Q(u_{1},u_{2},\cdots ,u_{n})$ soit plus petite que ${\frac {4}{\pi }}\left(\Gamma (1+{\frac {1}{2}}n)^{2}D\right)^{1/n}$ .

Dans cet énoncé, $Γ$ désigne la fonction gamma, qui intervient ici parce que ses valeurs donnent les volumes des sphères en toute dimension (et de certains transformés comme les ellipsoïdes). La preuve du théorème repose encore une fois sur le théorème fondamental de Minkowski, mais appliqué cette fois à l’ellipsoïde défini par $Q(x_{1},x_{2},\cdots ,x_{n})\leq \lambda$ , pour un nombre réel $\lambda$ bien choisi.

Corps de nombres[modifier | modifier le code]

Une autre gamme d’applications concerne les propriétés des corps de nombres algébriques. Le principe^[11] est de plonger un corps de nombres K (c’est-à-dire une extension algébrique de degré d du corps des nombres rationnels ℚ) dans ℝ^d, de telle sorte que les idéaux de l'anneau de ses entiers correspondent à des réseaux de ℝ^d. On est alors dans une situation qui permet d’appliquer le théorème de Minkowski.

Construction de réseaux associés à des idéaux[modifier | modifier le code]

On considère un corps de nombres K de degré d, on peut le représenter comme K = ℚ(Θ), où Θ est un entier algébrique vérifiant une équation de degré d à coefficients entiers. On peut plonger K dans le corps ℂ des complexes de d façons différentes, correspondant aux différentes racines de l’équation vérifiée par Θ, s réelles et 2t complexes, groupées deux par deux par conjugaison, avec d = s + 2t. Par exemple, si Θ est solution de l’équation X³ – 2 = 0, il y a trois plongements, un plongement réel qui envoie Θ sur la racine réelle ³√2, deux plongements complexes conjugués l’envoyant sur $j$ ³√2 ou $j$ ² ³√2, où $j$ est une racine cubique de 1, différente de 1 ; dans ce cas, donc, s = t = 1.

On définit alors un morphisme de groupes de K dans ℝ^s × ℂ^t, un élément de K étant envoyé sur ses s plongements réels et t plongements complexes (un par paire de conjugués). Dans l’exemple, l’élément a + bΘ + cΘ² de K est envoyé sur l’élément (a + b³√2 + c³√4, a + b $j$ ³√2 + c $j$ ² ³√4) de ℝ × ℂ.

En séparant partie réelle et partie imaginaire, on obtient un morphisme injectif de K dans ℝ^s × ℝ^2t = ℝ^d. On peut montrer^[12] que l’image par ce morphisme d’un sous-groupe additif de K, de type fini (par exemple l’anneau des entiers de K, ou un idéal) est un réseau de ℝ^d.

De plus^[13], si I est un idéal non nul de l’anneau des entiers de K, le volume de la maille du réseau associé dans ℝ^d est : 2^–tN(I) $\sqrt |Δ|$ , où Δ est le discriminant du corps de nombres.

Élément de petite norme dans un idéal et nombre de classes d’idéaux[modifier | modifier le code]

En choisissant un convexe convenable et on appliquant le théorème fondamental, on peut alors prouver que^[14] :

Théorème — Dans l'anneau des entiers d'un corps de nombres K, tout idéal I non nul contient un élément α non nul tel que $|N(\alpha )|\leq \left({\frac {2}{\pi }}\right)^{t}N(I){\sqrt {|\Delta |}}$ où 2t est le nombre de plongements complexes de K et Δ son discriminant.

La norme N(α) est en effet le produit des conjugués de α, c'est-à-dire des composantes de l'image de α dans ℝ^d. On peut en déduire que tout idéal non nul est équivalent à un idéal dont la norme est inférieure à (2/π)^t $\sqrt |Δ|$ .

Puisqu'il n'existe qu'un nombre fini d'idéaux de norme donnée, on obtient ainsi une démonstration du théorème :

Théorème — Le nombre de classes d'idéaux d'un corps de nombres est fini.

Un choix plus raffiné du convexe permet même d'améliorer ces résultats. Par exemple^[15] :

Théorème — Dans l'anneau des entiers d'un corps de nombres K, tout idéal I non nul contient un élément α non nul tel que $|N(\alpha )|\leq \left({\frac {4}{\pi }}\right)^{t}{\frac {n!}{n^{n}}}N(I){\sqrt {|\Delta |}}$ où 2t est le nombre de plongements complexes de K et Δ son discriminant.

Ces bornes peuvent être utilisées pour calculer explicitement le nombre de classes dans de nombreux cas^[16].

Mais elles donnent aussi directement un corollaire important^[17] :

Théorème — Le discriminant Δ du corps K satisfait l'inégalité ${\sqrt {|\Delta |}}\geq \left({\frac {\pi }{4}}\right)^{t}{\frac {n^{n}}{n!}}\geq \left({\frac {\pi }{4}}\right)^{n/2}{\frac {n^{n}}{n!}}.$

Par conséquent, le discriminant d'un corps de degré n > 1 est, en valeur absolue, strictement supérieur à 1 et il a donc des diviseurs premiers : tout corps de nombres (différent de ℚ) a des premiers ramifiés.

Unités dans un corps de nombres[modifier | modifier le code]

La géométrie des nombres permet aussi de décrire la structure du groupe des unités. Le principal problème est que ce groupe est multiplicatif ; afin de pouvoir l’interpréter en termes de réseau (groupe additif), il faut donc utiliser les logarithmes. On définit une application de ℝ^s × ℂ^t dans ℝ^s+t en envoyant chaque composante sur le logarithme de sa valeur absolue (pour les s premières composantes, réelles) ou le logarithme du carré de son module (pour les t composantes complexes) ; pour les éléments dont aucune composante n’est nulle, cette application est bien définie. En la composant avec le morphisme de K dans ℝ^s × ℂ^t défini plus haut, on obtient un morphisme du groupe multiplicatif de K dans ℝ^s+t, qu’on appelle sa représentation logarithmique^[18]. Les unités sont les éléments de norme +1 ou –1, ce qui se traduit par une condition linéaire dans ℝ^s+t quand on passe à la représentation logarithmique : autrement dit, l’image des unités se trouve dans un hyperplan (de dimension s + t – 1). Une étude plus fine permet de montrer que cette image est vraiment de dimension s + t – 1, et fournit une preuve du théorème des unités de Dirichlet^[19].

Autres exemples[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

La formule de Leibniz $\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}}.$ peut être prouvée par des méthodes géométriques, suivant une méthode initialement découverte par David Hilbert^[20]^,^[21].

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

↑ Hardy et Wright 2006, ch. 3 et 24.
↑ Cassels 1971, p. 71-72 : « From Theorem I [le théorème de Blichfeldt] we deduce almost at once the following theorem which is due, at least for m = 1, to Minkowski. »
↑ Cassels 1971, p. 64.
↑ Olds, Lax et Davidoff 2000, p. 85-86.
↑ Olds, Lax et Davidoff 2000, p. 114-116.
↑ Stewart et Tall 1979, p. 149-150.
↑ Une variante exploitant plus complètement cette identité permet de se ramener directement à la preuve pour un nombre premier : voir par exemple (en) Ivan Niven, Herbert Zuckerman et Hugh L. Montgomery, An Introduction to the Theory of Numbers, Wiley, 1991, 5^e éd. (1^re éd. 1960), p. 317-318, théorème 6.26, ou cet exercice corrigé de la leçon « Introduction à la théorie des nombres » sur Wikiversité.
↑ Cassels 1971, p. 99.
↑ Stewart et Tall 1979, p. 148-149.
↑ Gruber et Lekkerkerker 1987, p. 43-44.
↑ Stewart et Tall 1979, p. 152.
↑ Stewart et Tall 1979, p. 152-155.
↑ Stewart et Tall 1979, p. 163.
↑ Stewart et Tall 1979, p. 164-165.
↑ Stewart et Tall 1979, p. 184.
↑ Stewart et Tall 1979, p. 165, 187-190.
↑ Cohn 1978, p. 128.
↑ Stewart et Tall 1979, p. 212-213.
↑ Stewart et Tall 1979, p. 213.
↑ (en) [vidéo] 3Blue1Brown, Quand pi se cache dans la répartition des nombres premiers sur YouTube, sous-titres français disponibles.
↑ (en) [vidéo] Mathologer, Fermat's Christmas theorem: Visualising the hidden circle in pi/4 = 1-1/3+1/5-1/7+… sur YouTube.

Bibliographie[modifier | modifier le code]

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], chapitre 24 (« Géométrie des nombres ») ;
(en) Harris Hancock, Development of the Minkowski Geometry of Numbers, Dover, 1964 (1^re éd. 1939) ;
(en) John W. S. Cassels, An Introduction to the Geometry of Numbers, Berlin, Göttingen, Heidelberg, Springer, coll. « Grundlehren der mathematischen Wissenschaften » (n^o 99), 1971 (1^re éd. 1959), 344 p. (lire en ligne) ;
(en) Harvey Cohn, A Classical Invitation to Algebraic Numbers and Class Fields, New York, Heidelberg, Berlin, Springer, coll. « Universitext », 1978, 328 p. (ISBN 978-3-540-90345-1) ;
(en) Ian N. Stewart et David O. Tall (en), Algebraic Number Theory, London, Chapman & Hall, 1979, 257 p. (ISBN 978-0-470-26660-1) ;
(en) Peter M. Gruber (en) et Cornelis G. Lekkerkerker, Geometry of Numbers, Groningen et Amsterdam, London, Wolters-Noordhoff et North-Holland, coll. « Bibliotheca Mathematica » (n^o 8), 1987, 2^e éd. (1^re éd. 1969, 510 p.), 731 p. (lire en ligne) ;
(en) Carl Ludwig Siegel et Komaravolu Chandrasekharan, Lectures on the Geometry of Numbers, Springer, 1989, 160 p. (lire en ligne) ;
(en) Carl Douglas Olds, Anneli Lax et Giuliana Davidoff, The Geometry of Numbers, Washington, MAA, coll. « The Anneli Lax New Mathematical Library » (n^o 41), 2000, 174 p. (ISBN 978-0-88385-643-7, lire en ligne) ;
(en) Jiří Matoušek, Lectures on Discrete Geometry [détail des éditions] ;
(en) Tinne Hoff Kjeldsen, « From measuring tool to geometrical object : Minkowski's development of the concept of convex bodies », Archive for History of Exact Sciences, vol. 62, n^o 1,‎ 2008, p. 59-89 ;
Sébastien Gauthier, « La géométrie dans la géométrie des nombres : histoire de discipline ou histoire de pratiques à partir des exemples de Minkowski, Mordell et Davenport », Revue d'histoire des mathématiques, vol. 15, n^o 2,‎ 2009, p. 183-230 (lire en ligne) ;

Portail des mathématiques

[1] Hardy et Wright 2006, ch. 3 et 24.

[2] Cassels 1971, p. 71-72 : « From Theorem I [le théorème de Blichfeldt] we deduce almost at once the following theorem which is due, at least for m = 1, to Minkowski. »

[3] Cassels 1971, p. 64.

[4] Olds, Lax et Davidoff 2000, p. 85-86.

[5] Olds, Lax et Davidoff 2000, p. 114-116.

[6] Stewart et Tall 1979, p. 149-150.

[7] Une variante exploitant plus complètement cette identité permet de se ramener directement à la preuve pour un nombre premier : voir par exemple (en) Ivan Niven, Herbert Zuckerman et Hugh L. Montgomery, An Introduction to the Theory of Numbers, Wiley, 1991, 5^e éd. (1^re éd. 1960), p. 317-318, théorème 6.26, ou cet exercice corrigé de la leçon « Introduction à la théorie des nombres » sur Wikiversité.

[8] Cassels 1971, p. 99.

[9] Stewart et Tall 1979, p. 148-149.

[10] Gruber et Lekkerkerker 1987, p. 43-44.

[11] Stewart et Tall 1979, p. 152.

[12] Stewart et Tall 1979, p. 152-155.

[13] Stewart et Tall 1979, p. 163.

[14] Stewart et Tall 1979, p. 164-165.

[15] Stewart et Tall 1979, p. 184.

[16] Stewart et Tall 1979, p. 165, 187-190.

[17] Cohn 1978, p. 128.

[18] Stewart et Tall 1979, p. 212-213.

[19] Stewart et Tall 1979, p. 213.

[20] (en) [vidéo] 3Blue1Brown, Quand pi se cache dans la répartition des nombres premiers sur YouTube, sous-titres français disponibles.

[21] (en) [vidéo] Mathologer, Fermat's Christmas theorem: Visualising the hidden circle in pi/4 = 1-1/3+1/5-1/7+… sur YouTube.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]