$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Exercices corrigés - Matrices orthogonales et isométries vectorielles

Généralités sur les matrices orthogonales
Exercice 1 - Matrices orthogonales triangulaires supérieures [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Quelles sont les matrices orthogonales triangulaires supérieures?
Indication
Corrigé
Exercice 2 - CNS pour que la matrice soit orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $(a,b,c)\in\mathbb R^3$, on pose $S=a+b+c$ et $\sigma=ab+bc+ca$, et $$M=\left(\begin{array}{ccc} a&b&c\\ c&a&b\\ b&c&a \end{array}\right).$$
  1. Démontrer que $M\in O_3(\mathbb R)$ si et seulement $\sigma=0$ et $S=\pm 1$.
  2. Démontrer que $M\in SO_3(\mathbb R)$ si et seulement si $\sigma=0$ et $S=1$.
Indication
Corrigé
Exercice 3 - Matrices orthogonales à coefficients entiers [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Démontrer que l'ensemble des matrices de $O_n(\mathbb R)$ à coefficients (entiers) relatif est fini. Déterminer son cardinal.
Indication
Corrigé
Exercice 4 - Sur les coefficients d'une matrice orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $M=(m_{i,j})_{1\leq i,j\leq n}\in\mathcal O_n(\mathbb R)$. On note $(C_1,\dots,C_n)$ les vecteurs colonnes de $M$, $v=\sum_{j=1}^n C_j$, et $u=\sum_{j=1}^n e_j$, où $(e_1,\dots,e_n)$ est la base canonique de $\mtr^n$ muni de son produit scalaire canonique.
  1. Montrer que $\sum_{i=1}^n\sum_{j=1}^n m_{i,j}=(u|v).$
  2. En déduire que $\left|\sum_{i=1}^n\sum_{j=1}^n m_{i,j}\right|\leq n$. Cette inégalité est-elle optimale?
  3. Démontrer que $\sum_{1\leq i,j\leq n}|m_{i,j}|\leq n^{3/2}.$
  4. Démontrer que $\sum_{1\leq i,j\leq n}|m_{i,j}|\geq n.$
Indication
Corrigé
Exercice 5 - Avec le produit vectoriel [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer toutes les matrices de $O_3(\mathbb R)$ telles que la première colonne est $\begin{pmatrix}3/5\\4/5\\0\end{pmatrix}.$
Indication
Corrigé
Enoncé
  1. Soit $\mathcal B$ une base d'un espace euclidien $E$ et soit $\mathcal C$ l'orthonormalisée de Schmidt de $\mathcal B$. Que dire de la matrice de passage de $\mathcal C$ à $\mathcal B$?
  2. Montrer que, pour toute matrice $A\in GL_n(\mathbb R)$, il existe une matrice orthogonale $Q$ et une matrice triangulaire supérieure $R$ dont tous les coefficients diagonaux sont strictement positifs telles que $A=QR$.
  3. Démontrer que le couple $(Q,R)$ est unique.
Indication
Corrigé
Isométries vectorielles
Exercice 7 - Une symétrie orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E=\mathbb R_3[X]$ muni du produit scalaire $\langle P,Q\rangle =\int_{-1}^1 P(t)Q(t)dt$. On considère l'endomorphisme de $E$ défini par $\phi(P)(X)=P(-X)$. Démontrer que $\phi$ est une symétrie orthogonale.
Indication
Corrigé
Exercice 8 - Une symétrie orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien, et $a\in E\backslash\{0\}$. On pose $$s_a(x)=x-2\frac{(a,x)}{(a,a)}a,$$ Montrer que $s_a$ est un endomorphisme orthogonal. Calculer $\ker(s_a-id)$, $\ker(s_a+id)$. Décrire alors géométriquement $s_a$.
Indication
Corrigé
Exercice 9 - Barycentre de deux isométries est une isométrie [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace euclidien et $u,v\in O(E).$
  1. Démontrer que si $x\in E$ est tel que $u(x)\neq v(x),$ alors $\langle u(x),v(x)\rangle < \|u(x)\|\cdot \|v(x)\|.$
  2. On suppose qu'il existe $\lambda\in]0,1[$ tel que $\lambda u+(1-\lambda) v\in O(E)$. Démontrer que $u=v.$
Indication
Corrigé
Exercice 10 - Endomorphisme orthogonal sur $\mathcal M_n(\mathbb R)$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Pour $n\geq 2$, on munit $\mathcal M_n(\mathbb R)$ du produit scalaire $\langle M,N\rangle=\textrm{Tr}(M^T N)$. Déterminer les réels $a$ et $b$ de sorte que $f:\mathcal M_n(\mathbb R)\to\mathcal M_n(\mathbb R),$ $M\mapsto aM+bM^T$ soit orthogonal.
Indication
Corrigé
Exercice 11 - Composée d'une homothétie et d'un endomorphisme orthogonal [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien et $u\in\mathcal L(E)$ tel que, pour tout $x,y\in E$, \[\langle x,y\rangle=0\implies \langle u(x),u(y)\rangle=0.\]
  1. Démontrer qu'il existe $k\in\mathbb R_+$ tel que, pour tout $x\in E$, $\|u(x)\|=k\|x\|$ (on pourra considérer une base orthonormée $(e_1,\dots,e_n)$ de $E$ et les vecteurs $e_1+e_i$, $e_1-e_i$).
  2. En déduire que $u$ est la composée d'une homothétie et d'un endomorphisme orthogonal.
Indication
Corrigé
Exercice 12 - Endomorphismes orthogonaux et orthogonal d'un sous-espace vectoriel [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien, soit $u\in\mathcal O(E)$ et soit $F$ un sous-espace vectoriel de $E$.
  1. Démontrer que $u(F^\perp)=\big[ u(F)\big]^\perp$.
  2. On dit que $F$ est stable par $u$ si $u(F)\subset F$. Démontrer que $F$ est stable par $u$ si et seulement si $F^\perp$ est stable par $u$.
Indication
Corrigé
Exercice 13 - Si on enlève la linéarité.... [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien et soit $f:E\to E$ une application telle que $$\forall x,y\in E,\ \langle f(x),f(y)\rangle=\langle x,y\rangle.$$
  1. Démontrer que l'image d'une base orthonormale de $E$ par $f$ est une base orthonormale.
  2. En déduire que $f$ est linéaire.
Indication
Corrigé
Exercice 14 - Somme et projection orthogonale [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien et soit $u\in O(E)$. On pose $v=u-Id$.
  1. Démontrer que $\ker(v)=(\textrm{Im}v)^\perp$. En déduire que $\ker(v)^\perp=\textrm{Im}(v)$.
  2. Soit $$u_n=\frac 1n\sum_{k=0}^{n-1}u^k.$$ Démontrer que pour tout $x\in E$, $(u_n(x))$ converge vers le projeté orthogonal de $x$ sur $\ker v$.
Indication
Corrigé
Exercice 15 - Le groupe orthogonal est engendré par les réflexions [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien de dimension non nulle. On rappelle qu'un endomorphisme de $u$ admet toujours ou une droite stable, ou un plan stable. On souhaite prouver que $O(E)$ est engendré par les réflexions :
  1. Démontrer le résultat si $\dim(E)\in\{1,2\}.$
  2. Démontrer le résultat dans le cas général.
Indication
Corrigé
Matrices orthogonalement semblables
Exercice 16 - Matrice orthogonalement trigonalisable [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A\in\mathcal M_n(\mathbb R)$ dont le polynôme caractéristique est scindé. Démontrer que $A$ est orthogonalement semblable à une matrice triangulaire supérieure.
Indication
Corrigé
Exercice 17 - Réduction d'un endomorphisme de trace nulle dans un espace euclidien [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace euclidien et $u\in\mathcal L(E)$ de trace nulle.
  1. Démontrer qu'il existe un vecteur unitaire $e\in E$ tel que $\langle u(e),e\rangle=0.$
  2. En déduire qu'il existe une base orthonormée de $E$ dans laquelle la matrice de $u$ est à diagonale nulle.
Indication
Corrigé
Réduction des matrices orthogonales et des isométries vectorielles
Exercice 18 - Endomorphisme orthogonal diagonalisable [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien et soit $u\in\mathcal O(E)$ diagonalisable. Démontrer que $u$ est une symétrie.
Indication
Corrigé
Enoncé
Soit $E$ un espace vectoriel euclidien de dimension $4$ et soit $u\in O(E)$ tel que $u^2=-\textrm{Id}_E$. Démontrer qu'il existe une base orthonormée de $E$ telle que la matrice de $u$ dans cette base soit $$\begin{pmatrix}R(\pi/2)&0\\0&R(\pi/2)\end{pmatrix}\textrm{ avec }R(\theta)=\begin{pmatrix}\cos(\theta)&-\sin(\theta)\\ \sin(\theta)&\cos(\theta)\end{pmatrix}.$$
Indication
Corrigé
Exercice 20 - Somme d'une matrice orthogonale et de sa transposée [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A\in\mathcal M_n(\mathbb R)$. Démontrer que les propriétés suivantes sont équivalentes :
  1. Il existe $B\in O_n(\mathbb R)$ tel que $A=B+B^T$;
  2. $A\in\mathcal S_n(\mathbb R),$ $\textrm{Sp}(A)\subset [-2,2]$ et les valeurs propres de $A$ dans $]-2,2[$ sont de multiplicité paire.
Indication
Corrigé
Exercice 21 - Convergence de suites de matrices orthogonales [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A\in O_n(\mathbb R)$ dont $1$ n'est pas valeur propre.
  1. Étudier la convergence de la suite $\frac 1{p+1}(I_n+A+\dots+A^p)$.
  2. La suite $(A^p)$ est-elle convergente?
Indication
Corrigé
Exercice 22 - Produit de réflexions [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Soit $u$ une rotation du plan euclidien orienté. Démontrer que $u$ est le produit de deux réflexions.
  2. Soit $u$ un endomorphisme orthogonal d'un espace vectoriel euclidien orienté. Démontrer que $u$ est le produit de réflexions.
On rappelle qu'une réflexion est une symétrie orthogonale par rapport à un hyperplan.
Indication
Corrigé
Isométries vectorielles en dimension 2
Exercice 23 - Echange de deux vecteurs [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un plan vectoriel euclidien orienté, et soient $u$ et $v$ deux vecteurs unitaires de $E$. Déterminer les automorphismes orthogonaux qui envoient $u$ sur $v$.
Indication
Corrigé
Exercice 24 - Rotations et symétries qui commutent [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $E$ un plan euclidien orienté, $r$ une rotation de $E$ et $s$ une symétrie orthogonale de $E$.
  1. Déterminer l'automorphisme orthogonal $s\circ r\circ s$.
  2. Déterminer l'automorphisme orthogonal $r\circ s\circ r$.
  3. A quelle condition a-t-on $s\circ r=r\circ s$?
Indication
Corrigé
Isométries vectorielles en dimension 3
Exercice 25 - Orthogonale et symétrique [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
On considère la matrice $M=\frac{1}9\begin{pmatrix}1&8&-4\\8&1&4\\-4&4&7\end{pmatrix}$. Vérifier que $M$ est une matrice orthogonale et symétrique. Sans calculer son polynôme caractéristique, justifier que $M$ est diagonalisable, déterminer ses valeurs propres avec multiplicité, et calculer son polynôme minimal.
Indication
Corrigé
Exercice 26 - Réduction d'un élément de $SO_3(\mathbb R)$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A=\begin{pmatrix}0&1&0\\ 0&0&1\\ 1&0&0\end{pmatrix}.$
  1. Démontrer que $A\in SO_3(\mathbb R).$
  2. Déterminer un vecteur unitaire $e_1$ tel que $Ae_1=e_1.$
  3. Déterminer une base orthonormale $(e_2,e_3)$ de $\vect(e_1)^\perp.$
  4. Expliciter $P\in O_3(\mathbb R)$ et $\theta\in\mathbb R$ tel que $$A=P\begin{pmatrix}1&0&0\\ 0&\cos\theta&-\sin\theta\\ 0&\sin\theta&\cos\theta\end{pmatrix}P^{-1}.$$
Indication
Corrigé
Enoncé
Caractériser géométriquement l'endomorphisme de $\mathbb R^3$ canoniquement associé à $$A=\frac 19 \left( \begin{array}{ccc} -8&4&1\\ 4&7&4\\ 1&4&-8 \end{array}\right).$$
Indication
Corrigé
Enoncé
Caractériser l'endomorphisme $f$ de $\mathbb R^3$ dont la matrice dans la base canonique est $$A=\frac 13\left( \begin{array}{ccc} 2&-1&2\\ 2&2&-1\\ -1&2&2 \end{array}\right).$$
Indication
Corrigé
Exercice 29 - Déterminer la matrice d'une rotation [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
L'espace $\mathbb R^3$ est muni de sa structure canonique usuelle d'espace euclidien orienté. La base canonique est noté $(\vec i,\vec j,\vec k)$. Le vecteur $(1,1,1)=\vec i+\vec j+\vec k$ est noté $\vec v$. Dans cet exercice, on souhaite calculer la matrice $M$ dans la base canonique de la rotation $r$ d'axe $\mathbb R\vec v$ et d'angle $2\pi/3$.
  1. Méthode 1 : en étudiant la restriction de $r$ au plan affine $P$ d'équation $x+y+z=1$, déterminer la matrice $M$.
  2. Méthode 2 : En utilisant la matrice de $r$ dans une base orthonormée directe donc le premier vecteur est le vecteur $\frac 1{\sqrt 3}\vec v$, déterminer $M$.
Indication
Corrigé
Exercice 30 - CNS pour avoir une matrice de rotation [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer les réels $a,b,c,d,e$ tels que la matrice $$A=\left(\begin{array}{ccc} \frac{1}{\sqrt 2}&\frac{1}{\sqrt 3}&c\\ a&\frac{1}{\sqrt 3}&d\\ \frac{1}{\sqrt 2}&b&e \end{array}\right)$$ représente une rotation de $\mathbb R^3$.
Indication
Corrigé
Exercice 31 - Endomorphisme orthogonal négatif [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel de dimension 3, et soit $f\in O^-(E)$. Démontrer que $f$ est la composée d'une rotation d'axe une droite $D$ et de la réflexion par rapport à $D^\perp$.
Indication
Corrigé
Exercice 32 - Sous-groupe de $S0_3(\mathbb R)$ agissant transitivement [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien de dimension 3, $\mathcal S$ sa sphère unité. Si $D$ est une droite vectorielle de $E$, on note $\sigma_D$ la rotation d’angle $\pi$ autour de $D$ (appelée aussi demi-tour). Par conséquent, $\sigma_D$ appartient au groupe spécial orthogonal $SO(E)$, dont on rappelle qu'il est engendré par les demi-tours.
  1. Soit $D$ une droite vectorielle, $g$ dans $SO(E)$. Reconnaître l’endomorphisme $g \circ \sigma_D \circ g^{-1}$.
  2. Soit $g\in SO(E)$. Montrer que $g$ est un demi-tour si et seulement s'il existe $x\in \mathcal S$ tel que $g(x)=-x$.
    Dans les deux questions suivantes, on se donne un sous-groupe $G$ de $SO(E)$ agissant transitivement sur $\mathcal S$ c’est-à-dire : $$\forall (x, y) ∈ \mathcal S^2, \exists g \in G, g(x) = y.$$
  3. Montrer que $G$ contient un demi-tour.
  4. En déduire que $G = SO(E)$.
Indication
Corrigé