Brique d'Euler
Une brique d'Euler est un parallélépipède rectangle dont les arêtes et les diagonales des faces ont des longueurs entières. Appelée aussi brique de Pythagore [1],[2], elle porte le nom du mathématicien Leonhard Euler qui en a déterminé des familles infinies en 1771[3],[4].
![Brique d'Euler avec côtés a,b,c et diagonales des faces d,e,f.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/37/Euler_brick.svg/322px-Euler_brick.svg.png)
Formulation arithmétique
Les dimensions d'une brique d'Euler correspondent à une solution en nombres entiers strictement positifs du système d'équations diophantiennes :
où a, b, c sont les longueurs des arêtes de la brique et d, e, f les longueurs des diagonales des faces.
Si (a, b, c) est une solution, alors (ka, kb, kc) est aussi une solution pour tout entier strictement positifs k. On désigne donc par brique primitive une brique où a, b, c sont premiers entre eux.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0f/Paul_Halcke_Euler_Brick.jpg/300px-Paul_Halcke_Euler_Brick.jpg)
Exemples
La brique d'Euler de plus petit volume abc a été découverte en 1719, non par Euler, mais par Paul Halcke (de) [5] ; elle a pour côtés (a, b, c) = (44, 117, 240) et pour diagonales des faces (d, e, f) = (125, 244, 267).
Sont représentées ci-dessous les cinq briques d'Euler primitives dont les dimensions sont inférieures à mille.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Euler_brick_examples.svg/600px-Euler_brick_examples.svg.png)
Si l'on classe les briques d'Euler primitives par ordre croissant de la plus grande arête, les listes des longueurs des plus grandes arêtes, des arêtes intermédiaires, et des plus petites arêtes sont données par les suites de l'OEIS : A031173,
A031174
A031175.
Propriétés
- Si (a, b, c) sont les dimensions d'une brique d'Euler, alors la brique de dimensions (ab, ac, bc) est également une brique d'Euler, de diagonales (af, be, cd).
Comme (a, b, c) forme une brique d'Euler, il existe trois entiers d, e, f tels que
En multipliant la première ligne par c2, la deuxième par b2 et la troisième par a2, on obtient
où dc, eb, fa sont des entiers.
Ceci montre que le triplet (ab, ac, bc) constitue une brique d'Euler.
Si la brique de départ est primitive, et si on divise les termes de (ab, ac, bc) par leur PGCD, on obtient une brique primitive dite conjuguée de celle de départ (la conjuguée de la conjuguée redonnant la brique de départ) [6]. Par exemple, les deux grandes briques de dimensions (160, 231, 792) et (140, 480, 693) du dessin ci-dessus sont conjuguées.
- Parmi les nombres a, b, c, l'un est multiple de 4, un autre, multiple de 16, l'un est multiple de 3 et un autre multiple de 9, l'un est multiple de 5, et l'un est multiple de 11. Le volume abc de la brique est donc divisible par [2],[6]. Par exemple, le volume de la plus petite brique d'Euler est .
Familles infinies
Une famille infinie de briques d'Euler a été trouvée par Nicholas Sounderson en 1740 dans son ouvrage "The Elements of Algebra, in Ten Books" [4],[6], donc antérieurement à la publication d'Euler, qui a redécouvert cette famille [3].
Soit un triplet pythagoricien (vérifiant donc ) alors :
sont les arêtes d'une brique d'Euler,
et en sont les diagonales.
Par exemple, le triplet pythagoricien minimal (3, 4, 5) fournit la brique minimale (44, 117, 240).
Malheureusement cette famille ne donne pas toutes les briques d'Euler (remarquer que d est un cube) comme par exemple la brique d'Euler d'arêtes (a, b, c) = (240, 252, 275) et de diagonales (d, e, f) = (348, 365, 373) .
Il existe d'autres familles infinies, mais on n'a pas trouvé de famille recouvrant tous les cas possibles, comme pour les triplets pythagoriciens [4].
Brique d'Euler parfaite
Une brique d’Euler est dite parfaite si la diagonale principale qui joint deux sommets opposés a également une longueur entière. Aucune brique de Sounderson ci-dessus n'est parfaite, ni aucune de leurs conjuguées [7], et aucun exemple de brique parfaite n’est connu à ce jour, mais on n'a pas démontré non plus leur inexistence.
Notes et références
- ↑ François Le Lionnais, Les nombres remarquables, Paris, Hermann, , p. 45
- ↑ a et b M. D. Indjoudjian, « Récréations scientifiques », La Jaune et la Rouge, , p. 39 et 42-43 (lire en ligne)
- ↑ a et b (de) Leonhard Euler, Vollständige Anleitung zur Algebra, II : Fragmenta commentationis cuiusdam maioris, de invenienda relatione enter latera triangulorum, quorum area rationaliter exprimi possit, St. Petersburg, Kayserliche Akademie der Wissenschaften, (lire en ligne)
- ↑ a b et c Daniel Lignon, Dictionnaire de (presque) tous les nombres entiers, Paris, Ellipses, , p. 574-575
- ↑ Visions of Infinity: The Great Mathematical Problems By Ian Stewart, Chapter 17
- ↑ a b et c Francis Casiro, « Les briques d'Euler », Hors Série Tangente n°29, Leonhard Euler, Un génie des Lumières,
- ↑ Jean Lagrange, « Sur le dérivé du cuboïde eulérien », Canad. Math. Bull. Vol. 22 (2), (lire en ligne)
Articles connexes
- Triplet pythagoricien
- Brique d'Euler parfaite
- Triangle de Héron (côtés et aire entiers)
- Liste de sujets portant le nom de Leonhard Euler
Portail de la géométrie
Arithmétique et théorie des nombres