Empilement compactUn empilement compact d'une collection d'objets est un agencement de ces objets de telle sorte qu'ils occupent le moins d'espace possible (donc qu'ils laissent le moins de vide possible). Le problème peut se poser dans un espace (euclidien ou non) de dimension n quelconque, les objets étant eux-mêmes de dimension n. Les applications pratiques sont concernées par les cas (plan et autres surfaces) et (espace ordinaire).
E8 latticeIn mathematics, the E_8 lattice is a special lattice in R^8. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E_8 root system. The norm of the E_8 lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H.
Close-packing of equal spheresIn geometry, close-packing of equal spheres is a dense arrangement of congruent spheres in an infinite, regular arrangement (or lattice). Carl Friedrich Gauss proved that the highest average density – that is, the greatest fraction of space occupied by spheres – that can be achieved by a lattice packing is The same packing density can also be achieved by alternate stackings of the same close-packed planes of spheres, including structures that are aperiodic in the stacking direction.
Réseau de LeechLe réseau de Leech est un réseau remarquable dans l'espace euclidien de dimension 24. Il est relié au code de Golay. Ernst Witt le découvre en 1940 mais ne publie pas cette découverte qui sera finalement attribuée à John Leech en 1965. Le réseau de Leech est caractérisé comme étant le seul pair en dimension 24 qui ne contient pas de racines, c'est-à-dire de vecteur v tel que (v,v)=2. Il a été construit par John Leech. Le groupe des automorphismes du réseau de Leech est le groupe de Conway Co0. Il y a exactement 24 .
OctaèdreEn géométrie, un octaèdre (du grec oktô, huit et hedra, face) est un polyèdre à huit faces. Certains octaèdres satisfont des conditions de symétrie ou de régularité des faces : l'octaèdre régulier, le prisme hexagonal, la pyramide à base heptagonale, le tétraèdre tronqué, le trapézoèdre tétragonal. Un octaèdre dont toutes les faces sont triangulaires possède douze arêtes et six sommets. Fichier:Octahedron.svg | Octaèdre régulier Fichier:Hexagonal_prism.png | Prisme hexagonal Fichier:Truncated_tetrahedron.
ConjectureEn mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés). Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés. Si une conjecture se révèle indécidable relativement au système d'axiomes dans laquelle elle s'insère, elle peut être érigée en nouvel axiome (ou rejetée par la mise en place d'un nouvel axiome).
Composé polyédriqueUn composé polyédrique est un polyèdre qui est lui-même composé de plusieurs autres polyèdres partageant un centre commun, l'analogue tridimensionnel des tels que l'hexagramme. Les sommets voisins d'un composé peuvent être connectés pour former un polyèdre convexe appelé l'enveloppe convexe. Le composé est un facettage de l'enveloppe convexe. Un autre polyèdre convexe est formé par le petit espace central commun à tous les membres du composé. Ce polyèdre peut être considéré comme le noyau pour un ensemble de stellations incluant ce composé.
5 21 honeycombDISPLAYTITLE:5 21 honeycomb In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. The symbol 521 is from Coxeter, named for the length of the 3 branches of its Coxeter-Dynkin diagram. By putting spheres at its vertices one obtains the densest-possible packing of spheres in 8 dimensions. This was proven by Maryna Viazovska in 2016 using the theory of modular forms. Viazovska was awarded the Fields Medal for this work in 2022.
Pavage de l'espaceUn pavage de l'espace est un ensemble de portions de l'espace euclidien de , par exemple des polyèdres, dont l'union est l'espace tout entier, sans interpénétration. Dans cet emploi le terme pavage est une généralisation à trois dimensions du concept de pavage du plan, lequel dérive directement du sens commun de , le recouvrement d'un sol par des pavés jointifs (des blocs de forme grossièrement cubique) : la surface d'un sol pavé se présente comme un assemblage de carrés jointifs.
Rectified 5-cellIn four-dimensional geometry, the rectified 5-cell is a uniform 4-polytope composed of 5 regular tetrahedral and 5 regular octahedral cells. Each edge has one tetrahedron and two octahedra. Each vertex has two tetrahedra and three octahedra. In total it has 30 triangle faces, 30 edges, and 10 vertices. Each vertex is surrounded by 3 octahedra and 2 tetrahedra; the vertex figure is a triangular prism. Topologically, under its highest symmetry, [3,3,3], there is only one geometrical form, containing 5 regular tetrahedra and 5 rectified tetrahedra (which is geometrically the same as a regular octahedron).
