Géométrie absolueLa géométrie absolue (parfois appelée géométrie neutre) est une géométrie basée sur le système d'axiomes de la géométrie euclidienne, privé de l'axiome des parallèles ou de sa négation. Elle est formée des résultats qui sont vrais à la fois en géométrie euclidienne et en géométrie hyperbolique, parfois énoncés sous une forme affaiblie par rapport à l'énoncé euclidien traditionnel. La géométrie absolue fut introduite (sous ce nom) par János Bolyai en 1832 ; le terme de géométrie neutre (sous-entendu par rapport à l'axiome des parallèles) lui a été parfois préféré, pour éviter de donner l'impression que toute autre géométrie en découle.
Théorème de Pappusvignette|Configuration de Pappus : Dans l'hexagone AbCaBc, où les points A, B, C, d'une part et a, b, c d'autre part, sont alignés, les points X, Y, Z le sont aussi. Le théorème de Pappus est un théorème de géométrie concernant l'alignement de trois points : si on considère trois points alignés A, B, C et trois autres points également alignés a, b, c, les points d'intersection des droites (Ab)-(Ba), (Ac)-(Ca), et (Bc)-(Cb) sont également alignés.
DimensionLe terme dimension, du latin dimensio « action de mesurer », désigne d’abord chacune des grandeurs d’un objet : longueur, largeur et profondeur, épaisseur ou hauteur, ou encore son diamètre si c'est une pièce de révolution. L’acception a dérivé de deux façons différentes en physique et en mathématiques. En physique, la dimension qualifie une grandeur indépendamment de son unité de mesure, tandis qu’en mathématiques, la notion de dimension correspond au nombre de grandeurs nécessaires pour identifier un objet, avec des définitions spécifiques selon le type d’objet (algébrique, topologique ou combinatoire notamment).
Division harmoniqueEn géométrie affine, quatre points alignés sont en division harmonique quand ils vérifient l'égalité des rapports de mesure algébrique indiquée ci-contre. Elle apparait naturellement dans plusieurs figures géométriques, par exemple le quadrilatère complet. C'est plus fondamentalement une notion de géométrie projective, puisqu'il s'agit d'exprimer qu'un birapport vaut –1.
Base (algèbre linéaire)vignette|Le même vecteur peut être représenté dans deux bases différentes (flèches violettes et rouges). En mathématiques, une base d'un espace vectoriel V est une famille de vecteurs de V linéairement indépendants et dont tout vecteur de V est combinaison linéaire. En d'autres termes, une base de V est une famille libre de vecteurs de V qui engendre V. alt=|vignette|upright=2|. La géométrie plane, celle d'Euclide, peut comporter une approche algébrique, celle de Descartes.
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Multiplicité (mathématiques)En mathématiques, on définit pour certaines propriétés la multiplicité d'une valeur ayant cette propriété. Il s'agit en général d'un nombre naturel qui indique « combien de fois » la valeur possède la propriété. Cela est dépourvu de sens en général (on possède une propriété ou on ne la possède pas), mais une interprétation naturelle existe dans certains cas. En général une propriété pour laquelle des multiplicités sont définies détermine un multiensemble de valeurs plutôt qu'un simple ensemble.
Théorème de Bachet-BézoutEn mathématiques, et plus précisément en arithmétique élémentaire, le théorème de Bachet-Bézout ou identité de Bézout est un résultat d'arithmétique élémentaire, qui prouve l'existence de solutions à l'équation diophantienne linéaire : ax + by = pgcd(a, b) d'inconnues x et y entiers relatifs, où a et b sont des coefficients entiers relatifs et où pgcd(a, b) est le plus grand commun diviseur de a et b. Le théorème de Bézout affirme que les entiers a et b sont premiers entre eux si et seulement si l'équation ax + by = 1 admet des solutions.
Position généraleEn géométrie algébrique et en géométrie algorithmique, une position générale est une notion de pour un ensemble d'objets géométriques (points, droites, courbes, plans, ...). C'est ce qu'on entend quand on parle du cas général, en opposition aux cas particuliers qui peuvent apparaître, auxquels cas on parlera de position spéciale. Cette expression peut changer de sens selon le contexte. Par exemple, deux droites d'un même plan, dans le cas général, se croisent en un point unique, et on dira alors : "deux droites génériques se croisent en un point", ce qui est derrière la notion de point générique.
Base orthonorméeEn géométrie vectorielle, une base orthonormale ou base orthonormée (BON) d'un espace euclidien ou hermitien est une base de cet espace vectoriel constituée de vecteurs de norme 1 et orthogonaux deux à deux. Dans une telle base, les coordonnées d'un vecteur quelconque de l'espace sont égales aux produits scalaires respectifs de ce vecteur par chacun des vecteurs de base, et le produit scalaire de deux vecteurs quelconques a une expression canonique en fonction de leurs coordonnées.
Théorème des cinq pointsEn géométrie, le théorème des cinq points est un énoncé sur les coniques du plan, démontré initialement par Blaise Pascal. Il assure que par cinq points trois à trois non alignés passe une unique conique propre. Ce théorème admet des versions dégénérées, par exemple, avec quatre conditions d'incidence et une de tangence : il existe une unique conique propre passant par quatre points trois à trois non alignés, et tangente en l'un de ces points à une droite prescrite ne contenant aucun des trois autres points ; ou encore, avec trois conditions d'incidence et deux de tangence : il existe une unique conique propre passant par trois points non alignés prescrits, et tangente en chacun des deux premiers points à une droite prescrite qui ne contient qu'un seul des trois points.
Linear system of divisorsIn algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family. These arose first in the form of a linear system of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors D on a general scheme or even a ringed space (X, OX).
