Points cocycliquesEn géométrie, des points du plan sont dits cocycliques s'ils appartiennent à un même cercle. Trois points non alignés du plan sont cocycliques. En effet, tout triangle possède un cercle circonscrit. vignette La propriété précédente est un corollaire du théorème de l'angle inscrit. Si sont les affixes respectives de , la condition précédente s'écrit aussi D'où en utilisant le birapport, la condition équivalente : Le théorème de Ptolémée donne une condition nécessaire et suffisante de cocyclicité de quatre points par leurs distances.
Alignement (géométrie)vignette|Sur cette figure, les points a1,a2,a3 sont alignés, ainsi que les points b1,b2,b3. En revanche, les points a1,a2,b3 ne sont pas alignés. En géométrie, l’alignement est une propriété satisfaite par certains familles de points, lorsque ces derniers appartiennent collectivement à une même droite. Deux points étant toujours alignés en vertu du premier axiome d’Euclide, la notion d’alignement ne présente d’intérêt qu’à partir d’une collection de trois points.
Transformation géométriqueUne transformation géométrique est une bijection d'une partie d'un ensemble géométrique dans lui-même. L'étude de la géométrie est en grande partie l'étude de ces transformations. Les transformations géométriques peuvent être classées selon la dimension de l'ensemble géométrique : principalement les transformations planes et les transformations dans l'espace. On peut aussi classer les transformations d'après leurs éléments conservés : Jusqu'à l'avant dernière, chacune de ces classes contient la précédente.
Groupe de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
Matrice d'une application linéaireEn algèbre linéaire, la matrice d'une application linéaire est une matrice de scalaires qui permet de représenter une application linéaire entre deux espaces vectoriels de dimensions finies, étant donné le choix d'une base pour chacun d'eux. Soient : E et F deux espaces vectoriels sur un corps commutatif K, de dimensions respectives n et m ; B = (e, ... , e) une base de E, C une base de F ; φ une application de E dans F.
