Théorème : Un endomorphisme est une isométrie vectorielle si et seulement si sa matrice dans une base orthonormale est orthogonale.
Les matrices orthogonales sont page .
Théorème : Une application affine est une isométrie affine si et seulement si l'application linéaire associée est une isométrie vectorielle.
Théorème : Une isométrie vectorielle est une symétrie orthogonale Sa matrice dans une base orthonormale est symétrique.
La transformation est alors la symétrie orthogonale par rapport à l'ensemble des vecteurs invariants.
On retrouve ces cas dans les paragraphes suivants.
Théorème : Une isométrie affine est une symétrie orthogonale l'isométrie vectorielle associée est une isométrie vectorielle et il y a des points fixes.
La transformation est alors la symétrie orthogonale par rapport à l'ensemble des points fixes.
Remarque : Dans le cas d'une symétrie orthogonale dans le plan ou l'espace affine, la matrice de l'isométrie vectorielle associée est encore orthogonale, mais on observera que ça n'est plus une condition suffisante. Il est nécessaire d'avoir des points fixes pour avoir une symétrie affine.
On cherche les expressions de la symétrie orthogonale par rapport à une droite vectorielle ou à un plan vectoriel .
On écrit que ou et que appartient à l'orthogonal de ou .
On cherche les expressions de la symétrie orthogonale par rapport à la droite ou au plan .
On écrit que le milieu du segment appartient à ou à et que appartient à l'orthogonal de la direction de ou .
Si la matrice d'une isométrie vectorielle dans une base orthonormale est symétrique, l'isométrie vectorielle est une symétrie orthogonale.
C'est la symétrie orthogonale par rapport à l'ensemble des vecteurs invariants.
Dans une base orthonormale, la matrice est orthogonale.
Dans une base orthonormale, la matrice est orthogonale.
Si , c'est l'identité, et si , c'est la symétrie orthogonale par rapport à l'axe.
Cette isométrie a, en principe, déjà été identifiée comme symétrie orthogonale.
Le signe de se trouve comme dans le cas d'une isométrie directe.
L'isométrie vectorielle associée s'obtient en « éliminant » les constantes.
On regarde si cette isométrie vectorielle n'est pas une symétrie orthogonale.
On cherche ensuite les points fixes de l'isométrie affine.