Tétraèdrethumb|Un tétraèdre. thumb|Paul Sérusier, Tétraèdres, vers 1910. En géométrie, les tétraèdres (du grec tétra : quatre) sont des polyèdres de la famille des pyramides, composés de triangulaires, et . Le 3-simplexe est la représentation abstraite du tétraèdre ; dans ce modèle, les arêtes s'identifient aux 6 sous-ensembles à 2 éléments de l'ensemble des quatre sommets, et les faces aux 4 sous-ensembles à 3 éléments. Chaque sommet d'un tétraèdre est relié à tous les autres par une arête, et de même chaque face est reliée à toutes les autres par une arête.
PolyèdreUn polyèdre est une forme géométrique à trois dimensions (un solide géométrique) ayant des faces planes polygonales qui se rencontrent selon des segments de droite qu'on appelle arêtes. Le mot polyèdre, signifiant à plusieurs faces, provient des racines grecques πολύς (polys), « beaucoup » et ἕδρα (hedra), « base », « siège » ou « face ». Un polyèdre est un solide dont toutes les faces sont des polygones. Les côtés de ces polygones sont appelés arêtes. Les extrémités des arêtes sont des points appelés sommets.
Solide de PlatonEn géométrie euclidienne, un solide de Platon est l’un des cinq polyèdres à la fois réguliers et convexes. En référence au nombre de faces (4, 6, 8, 12 et 20) qui les composent, ils sont nommés couramment tétraèdre (régulier), hexaèdre (régulier) ou cube, octaèdre (régulier), dodécaèdre (régulier) et icosaèdre (régulier), les adjectifs « régulier » et « convexe » étant souvent implicites ou omis quand le contexte le permet. Depuis les mathématiques grecques, les solides de Platon furent un sujet d’étude des géomètres en raison de leur esthétique et de leurs symétries.
CubeEn géométrie euclidienne, un cube est un prisme droit dont toutes les faces sont carrées donc égales et superposables. Le cube figure parmi les solides les plus remarquables de l'espace. C'est le seul des cinq solides de Platon ayant exactement 6 faces, 12 arêtes et 8 sommets. Son autre nom est « hexaèdre régulier ». Le cube est un zonoèdre à trois générateurs. Comme il a quatre sommets par face et trois faces par sommet, son symbole de Schläfli est {4,3}. L'étymologie du mot cube est grecque ; cube provient de kubos, le dé.
Dual d'un polyèdreEn géométrie, il existe plusieurs façons (géométrique, combinatoire) de mettre les polyèdres en dualité : on peut se passer de support géométrique et définir une notion de dualité en termes purement combinatoires, qui s'étend d'ailleurs aux polyèdres et polytopes abstraits. Dans chaque cas, à tout polyèdre est associé un polyèdre appelé dual du premier, tel que : le dual du polyèdre dual est le polyèdre initial, les faces de l'un sont en correspondance avec les sommets de l'autre, en respectant les propriétés d'adjacence.
Cuboctaèdrethumb|Cuboctaèdre vu comme cube rectifié. thumb|Patron de cuboctaèdre. Un cuboctaèdre est un polyèdre à 14 faces régulières, dont huit sont des triangles équilatéraux et six sont des carrés. Il comporte : 12 sommets identiques, chacun joignant deux triangles et deux carrés opposés deux à deux ; 24 arêtes identiques, chacune commune à un triangle et à un carré. Il s'agit donc d'un polyèdre quasi-régulier, c’est-à-dire un solide d'Archimède (uniformité des sommets) avec en plus, une uniformité des arêtes.
IcosidodécaèdreLe solide d'Archimède de vingt faces triangulaires et douze faces pentagonales s’appelle un icosidodécaèdre. Le mot “icosidodécaèdre” commence par “icos”, qui signifie “vingt”, soit le nombre de faces du solide de Platon de douze sommets, qui est le dual du “dodécaèdre” de Platon, dont les douze faces sont pentagonales. Cette image‐ci montre l’icosidodécaèdre de face et de dessus, avec deux faces triangulaires horizontales. De dessus le contour est un dodécagone, qui entoure dix triangles et six pentagones.
BipyramideEn géométrie, un diamant ou bipyramide, ou encore dipyramide, est un polyèdre constitué de deux pyramides symétriques dont la même base forme un polygone régulier. L'ordre du diamant est l'ordre du polygone de la base. C'est aussi l'ordre du sommet de chaque pyramide. Il existe un unique diamant dans les polyèdres réguliers: l'octaèdre. Cependant, pour chaque ordre d'un diamant, il existe un diamant dont toutes les faces sont des triangles isocèles isométriques.
IcosaèdreEn géométrie, un icosaèdre est un solide de dimension 3, de la famille des polyèdres, contenant exactement vingt faces. Le préfixe icosa-, d'origine grecque, signifie « vingt ». Il existe de nombreux polyèdres à vingt faces tels l'icosaèdre régulier convexe (appelé plus simplement icosaèdre si le contexte fait référence aux solides de Platon), l'icosaèdre rhombique, le pseudo-icosaèdre, le grand icosaèdre ou plusieurs solides de Johnson.
Symbole de SchläfliEn mathématiques, le symbole de Schläfli est une notation de la forme {p,q,r, ...} qui permet de définir les polyèdres réguliers et les pavages. Cette notation donne un résumé de certaines propriétés importantes d'un polytope régulier particulier. Le symbole de Schläfli fut nommé ainsi en l'honneur du mathématicien du Ludwig Schläfli qui fit d'importantes contributions en géométrie et dans d'autres domaines. Le symbole de Schläfli pour un polygone régulier convexe à n côtés est {n}.
Solide de JohnsonEn géométrie, un solide de Johnson est un polyèdre strictement convexe dont chaque face est un polygone régulier et qui n'est pas isogonal (qui n'est donc ni un solide de Platon, ni un solide d'Archimède, ni un prisme ni un antiprisme). Il n'est pas nécessaire que chaque face soit un polygone identique, ou que les mêmes polygones se rejoignent autour de chaque sommet. Un exemple de solide de Johnson est la pyramide à base carrée avec des côtés triangulaires équilatéraux (J1) ; il possède une face carrée et quatre faces triangulaires.
AntiprismeUn antiprisme à n faces est un polyèdre composé de deux copies d'un certain polygone particulier à n côtés, connecté par une bande de triangles alternés. Les antiprismes sont une sous-classe des prismatoïdes. Les antiprismes sont similaires aux prismes excepté le fait que les bases sont tournées relativement l'une à l'autre, et que les faces des côtés sont des triangles, plutôt que des quadrilatères : les sommets sont symétriquement alternés. Dans le cas d'une base régulière à n côtés, on considère généralement le cas où sa copie est tournée d'un angle de 180°/n.
Polygone régulierEn géométrie euclidienne, un polygone régulier est un polygone à la fois équilatéral (tous ses côtés ont la même longueur) et équiangle (tous ses angles ont la même mesure). Un polygone régulier est soit convexe, soit étoilé. Tous les polygones réguliers convexes d'un même nombre de côtés sont semblables. Tout polygone régulier étoilé de n côtés a une enveloppe convexe de n côtés, qui est un polygone régulier. Un entier n supérieur ou égal à 3 étant donné, il existe un polygone régulier convexe de n côtés.
HypercubeUn hypercube est, en géométrie, un analogue n-dimensionnel d'un carré (n = 2) et d'un cube (n = 3). C'est une figure fermée, compacte, convexe constituée de groupes de segments parallèles opposés alignés dans chacune des dimensions de l'espace, à angle droit les uns par rapport aux autres. Un hypercube n-dimensionnel est aussi appelé un n-cube. Le terme « polytope de mesure » a aussi été utilisé (notamment par Coxeter), mais il est tombé en désuétude. Enfin, le cas particulier du 4-cube est souvent désigné par le terme de tesseract.
Nombre d'orvignette|upright=1.2|La proportion définie par a et b est dite d'« extrême et moyenne raison » lorsque a est à b ce que est à a, soit : lorsque Le rapport a/b est alors égal au nombre d'or (phi). Le nombre d'or (ou section dorée, proportion dorée, ou encore divine proportion) est une proportion, définie initialement en géométrie comme l'unique rapport a/b entre deux longueurs a et b telles que le rapport de la somme a + b des deux longueurs sur la plus grande (a) soit égal à celui de la plus grande (a) sur la plus petite (b), ce qui s'écrit : avec Le découpage d'un segment en deux longueurs vérifiant cette propriété est appelé par Euclide découpage en « extrême et moyenne raison ».
PolytopeUn polytope est un objet mathématique géométrique. Le terme de polytope a été inventé par Alicia Boole Stott, la fille du logicien George Boole. Le terme polytope admet plusieurs définitions au sein des mathématiques. Principalement car les usages diffèrent en quelques points selon les pays, mais l'usage américain ayant tendance à s'imposer, on se retrouve confronté avec des usages contradictoires au sein d'un même pays.
Figure de sommetEn géométrie, une figure de sommet d'un sommet donné d'un polytope est, de façon intuitive, l'ensemble des points directement reliés à ce sommet par une arête. Ceci s’applique également aux pavages infinis, ou pavages remplissant l’espace avec des cellules polytopiques. De façon plus précise, une figure de sommet pour un n-polytope est un (n-1)-polytope. Ainsi, une figure de sommet pour un polyèdre est une figure polygonale, et la figure de sommet pour un polychore est une figure polyèdrique.
TesseractEn géométrie, le tesseract, aussi appelé 8-cellules ou octachore, est l'analogue du cube (tri-dimensionnel), où le mouvement le long de la quatrième dimension est souvent une représentation pour des transformations liées du cube à travers le temps. Le tesseract est au cube ce que le cube est au carré ; ou, plus formellement, le tesseract peut être décrit comme un 4-polytope régulier convexe dont les frontières sont constituées par huit cellules cubiques.
Configuration de sommetEn géométrie, une configuration de sommet est une notation abrégée pour représenter la figure de sommet d'un polyèdre ou d'un pavage comme la séquence de faces autour d'un sommet. Pour les polyèdres uniformes, il n'y a qu'un seul type de sommet et, par conséquent, la configuration des sommets définit entièrement le polyèdre. (Les polyèdres chiraux existent dans des paires d'images miroir avec la même configuration de sommet). Une configuration de sommet est donnée sous la forme d'une suite de nombres représentant le nombre de côtés des faces faisant le tour du sommet.
Diagramme de Coxeter-DynkinEn géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroirs (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique. En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédral entre deux miroirs (sur une arête du domaine). En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope précis.
