[concours/ex6245] ens paris, ens lyon, ens cachan MP 2006 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) telle que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=0\).
[concours/ex6245]
Montrer que \(A\) est semblable à une matrice à diagonale nulle.
Montrer que \(A\) s’écrit \(XY-YX\) avec \((X,Y)\in\mathscr{M}_n(\mathbf{R})^2\).
Montrer que \(A\) est orthosemblable à une matrice à diagonale nulle.
[oraux/ex5292] mines MP 2012 Soient \((E,\left<\;,\;\right>)\) un espace euclidien et \(f\in{\cal S}(E)\).
[oraux/ex5292]
Donner une condition nécessaire et suffisante portant sur le spectre de \(f\) pour qu’il existe \(x_0\neq0\) tel que \(\left< f(x_0), x_0\right>=0\).
On suppose \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits f=0\). Montrer qu’il existe une base orthonormée de \(E\) dans laquelle la matrice de \(f\) n’a que des \(0\) sur la diagonale.
[concours/ex3008] polytechnique M 1993 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) telle que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A=0\). Montrer qu’il existe \(U\) orthogonale telle que \(U^{-1}AU\) ait ses termes diagonaux nuls.
[concours/ex3008]
[planches/ex6710] mines MP 2021 Soit \(A\in\mathscr{S}_n(\mathbf{R})\). Montrer que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=0\) si et seulement si \(A\) est orthogonalement semblable à une matrice dont les éléments diagonaux sont nuls.
[planches/ex6710]
[examen/ex3237] mines MP 2025 Soit \((E,\langle\ ,\ \rangle)\) un espace euclidien non réduit à \(\{0\}\). Soit \(u\in\mathscr{L}(E)\) tel que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(u)=0\).
[examen/ex3237]
Montrer qu’il existe \(x\in E\setminus\{0\}\) tel que \(\langle u(x),x\rangle=0\).
Montrer qu’il existe une base orthonormée de \(E\) dans laquelle la matrice de \(u\) est de diagonale nulle.
[oraux/ex8262] mines PSI 2016 Soient \(E\) un espace vectoriel euclidien et \(u\) un endomorphisme de \(E\) symétrique tel que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(u)=0\).
[oraux/ex8262]
Montrer qu’il existe \(x\) non nul dans \(E\) tel que \(\langle x,u(x)\rangle=0\).
Montrer qu’il existe une base orthonormée de \(E\) dans laquelle la matrice de \(u\) a une diagonale nulle.
[concours/ex1738] polytechnique PC 1999 Soit \(M\in\mathscr{M}_n(\mathbf{R})\). Montrer qu’il existe une matrice orthogonale \(Q\) telle que \(Q^{-1}MQ\) ait le même nombre \(\lambda\) sur toute la diagonale.
[concours/ex1738]
[planches/ex6215] escp S 2021 Soit \(n\) un entier supérieur ou égal à \(2\) et \((E,\langle \,\ \rangle\)) un espace euclidien de dimension \(n\). On note \(\mathcal{B}=(e_1,\ldots,e_n)\) une base orthonormale de \(E\). Soit \(u\) un endomorphisme symétrique de \(E\) dont la matrice dans la base \(\mathcal{B}\) est une matrice \(A\).
[planches/ex6215]
On suppose que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=0\) et on se propose de montrer qu’il existe une base orthonormale dans laquelle la matrice associée à \(u\) a tous ses termes diagonaux nuls.
On suppose dans cette question que \(n=2\).
On suppose que \(A\) n’est pas inversible. Montrer le résultat demandé.
On suppose que \(A\) est inversible.
Montrer qu’il existe une base orthonormale \(\mathcal{B}'=(v_1,v_2)\) de \(\mathbf{R}^2\) et un réel \(\alpha\) pour lesquels la matrice de \(u\) dans la base \(\mathcal{B}'\) est \(A'= \left(\begin{array}{cc} \alpha &0\\ 0&-\alpha\end{array}\right)\).
On pose \(w_1=v_1+v_2\) et \(w_2=v_1-v_2\). Calculer \(u(w_1)\) et \(u(w_2)\) et en déduire le résultat demandé.
On revient au cas général où \(n\) est un entier quelconque supérieur ou égal à 2.
Montrer qu’il existe deux indices \(i\) et \(j\) de \([[1,n]]\), \(i\neq j\), tels que : \[\langle e_i,u(e_i)\rangle\times \langle e_j,u(e_j)\rangle \leqslant 0\]
Soit \(\varphi\) la fonction définie sur \([0,1]\) par : \[\forall t\in[0,1],\quad\varphi(t)=\langle u(te_i+(1-t)e_j),te_i+(1-t)e_j\rangle,\] Montrer, en utilisant cette fonction, qu’il existe un vecteur \(x\) non nul tel que \(\langle u(x),x\rangle=0\).
Montrer qu’il existe une base orthonormale de \(E\) dans laquelle la matrice de \(u\) est de la forme : \(\left(\begin{array}{cc|cc} 0& &\ast & \\ \hline \ast & & & \\ \vdots & & C & \\ \ast & & & \end{array}\right)\), où \(C\) est une matrice de \(\mathcal{M}_{n-1}(\mathbf{R})\).
En déduire, par récurrence, la propriété énoncée au début de l’exercice.
[oraux/ex8020] polytechnique MP 2014 Soit \(A\in\mathscr{M}_n(\mathbf{R})\). Montrer qu’il existe \(O\in\mathscr{O}_n(\mathbf{R})\) telle que \(A{}^tA=O({}^tAA)O^{-1}\).
[oraux/ex8020]
[oraux/ex0849] tpe PC 2009 Soient \(A\), \(N\), \(M\) dans \(\mathscr{M}_n(\mathbf{R})\).
[oraux/ex0849]
Montrer que \({}^tAA\) et \(A{}^tA\) sont diagonalisables.
Montrer que \(MN\) et \(NM\) ont les mêmes valeurs propres et que les espaces propres associés à une valeur propre \(\lambda\neq0\) ont même dimension.
Montrer que \({}^tAA\) et \(A{}^tA\) ont les mêmes valeurs propres avec les mêmes multiplicités. En déduire qu’il existe \(U\in\mathscr{O}_n(\mathbf{R})\) telle que \({}^tAA={}^tUA{}^tAU\).
[oraux/ex0594] centrale MP 2006 Soit \(A\) une matrice carrée réelle. Montrer que \({}^tAA\) et \(A{}^tA\) sont semblables.
[oraux/ex0594]
[planches/ex1704] polytechnique MP 2017 Soient \(A\in\mathscr{M}_n(\mathbf{R})\) et \(\lambda\in\mathbf{R}\). Montrer que \(\lambda I_n-{}^tAA\in\mathscr{S}_n^+(\mathbf{R})\) si et seulement si \(\lambda I_n-A{}^tA\in\mathscr{S}_n^+(\mathbf{R})\).
[planches/ex1704]
[planches/ex3463] mines MP 2018 Soit \(A\in\mathscr{M}_n(\mathbf{R})\).
[planches/ex3463]
Montrer que \(A{}^tA\) et \({}^tAA\) ont le même polynôme caractéristique.
Montrer que \(A{}^tA\) et \({}^tAA\) sont semblables.
[examen/ex2074] mines PC 2024 Soit \(M\in\mathscr{M}_n(\mathbb{R})\). Montrer que \(M\) est antisymétrique si et seulement si pour toute \(P\in\mathscr{O}_n(\mathbb{R})\), la matrice \(P^{-1}MP\) est à diagonale nulle.
[examen/ex2074]
[oraux/ex8082] centrale PC 2014 Soient \((E,\langle\ ,\ \rangle)\) un espace euclidien et \(u\in\mathscr{L}(E)\) de trace nulle.
[oraux/ex8082]
On suppose \(u\) symétrique.
Montrer qu’il existe \(x\neq0\) tel que \(\langle u(x),x\rangle=0\).
Montrer, par récurrence, qu’il existe une base orthonormée dans laquelle la matrice de \(u\) a une diagonale nulle.
On ne suppose plus \(u\) symétrique. Montrer que ce dernier résultat est encore vrai.
[concours/ex6500] polytechnique PC 2006 Soit \(M\in\mathscr{M}_n(\mathbf{R})\).
[concours/ex6500]
Montrer qu’il existe une unique matrice \(T\in\mathscr{S}_n(\mathbf{R})\), positive telle que \(T^2={}^tMM\).
Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits M=\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits T\).
On dit que \(U\in\mathscr{M}_n(\mathbf{R})\) est une isométrie partielle s’il existe un sous-espace \(E\) de \(\mathbf{R}^n\) tel que : \(\forall x\in E\), \(\|U(x)\|=\|x\|\) et que : \(\forall x\in E^\perp\), \(U(x)=0\).
Montrer qu’il existe une isométrie partielle \(U\) de \(\mathbf{R}^n\) telle que \(M=UT\).
Montrer qu’il existe une et une seule isométrie partielle \(V\) de \(\mathbf{R}^n\) telle que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits V=\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits M\) et \(M=VT\).
[oraux/ex3613] polytechnique MP 2011 Soient \(Q\) une forme quadratique positive sur \(\mathbf{R}^n\) et \(B\) la forme bilinéaire symétrique polaire. Soit \((a_i)_{1\leqslant i\leqslant p}\) une famille de vecteurs telle que, pour tout \(i\neq j\), \(B(a_i,a_j)<0\).
[oraux/ex3613]
Soit \((c_i)_{1\leqslant i\leqslant p}\in\mathbf{R}^p\) tel que \(Q\left(\displaystyle\sum\limits_{i=1}^pc_ia_i\right)=0\). Montrer que \(Q\left(\displaystyle\sum\limits_{i=1}^p|c_i|a_i\right)=0\).
On suppose maintenant que \((a_i)\) est une base de \(\mathbf{R}^n\). Montrer qu’alors le noyau de \(B\) est de dimension 1 ou 0.
Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{S}_n(\mathbf{R})\) telle que, pour tout \(i\neq j\), \(a_{i,j}<0\). Que peut-on dire de la multiplicité de la plus petite valeurs propre de \(A\) ?
[oraux/ex0820] centrale MP 2009 (avec Maple)
[oraux/ex0820]
Maple
On note \(\varphi\) l’indicatrice d’Euler, et on définit trois matrices \(G_n\), \(A_n\), \(F_n\) de \(\mathscr{M}_n(\mathbf{R})\) par : \([G_n]_{i,j}=\mathop{\mathchoice{\hbox{pgcd}}{\hbox{pgcd}}{\mathrm{pgcd}}{\mathrm{pgcd}}}\nolimits(i,j)\) ; \([A_n]_{i,j}=1\) si \(i\mid j\) et 0 sinon ; \(F_n=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\varphi(1),\ldots,\varphi(n))\). On note \(D_n\) l’ensemble des diviseurs de \(n\).
Soit \(f:\{1,\ldots,n\}\rightarrow D_n\) définie par : \(\forall k\), \(f(k)=\mathop{\mathchoice{\hbox{pgcd}}{\hbox{pgcd}}{\mathrm{pgcd}}{\mathrm{pgcd}}}\nolimits(n,k)\). Montrer que tout \(d\in D_n\) admet exactement \(\varphi(n/d)\) antécédents par \(f\). En déduire que \(\sum\limits_{d\in D_n}\varphi(d)=n\).
Définir sous Maple les matrices \(G_n\), \(A_n\), \(F_n\), et vérifier que \(G_n={}^tA_nF_nA_n\).
Démontrer l’égalité précédente, et en déduire \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(G_n)\).
Déterminer une matrice \(B_n\) triangulaire supérieure à coefficients diagonaux positifs telle que \(G_n={}^tB_nB_n\). Qu’en conclure ?
[planches/ex6889] mines PSI 2021
[planches/ex6889]
Déterminer la borne inférieure des \(\lambda\in\mathbf{R}_+\) tels que : \[\forall A\in\mathscr{M}_2(\mathbf{R}),\quad\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^2)\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AA^T).\]
Déterminer la borne inférieure des \(\lambda\in\mathbf{R}_+\) tels que : \[\forall A\in\mathscr{M}_2(\mathbf{R}),\quad|\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A)|\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AA^T).\]
Généraliser ces résultats à \(\mathscr{M}_n(\mathbf{R})\). Pour le second point, on comparera \(|\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A)|^{2/n}\) à \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AA^T)\).
[concours/ex0926] centrale MP 1997
[concours/ex0926]
Calculer \(\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\{\lambda\in\mathbf{R}_+\mid\forall M\in\mathscr{M}_2(\mathbf{R})\quad\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits M\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)\}\).
Calculer \(\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\{\lambda\in\mathbf{R}_+\mid\forall M\in\mathscr{M}_2(\mathbf{R})\quad\left(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits M\right)^2\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)\}\).
[examen/ex0404] centrale MP 2023
[examen/ex0404]
Rappeler la définition de l’indicatrice d’Euler, exprimer \(\varphi(n)\) en fonction de sa décomposition en facteurs premiers.
Pour \(n\geqslant 2\), calculer \(\displaystyle\sum\limits_{d|n}\varphi(d)\) (la somme étant restreinte aux diviseurs positifs).
En déduire le déterminant de \(A\), où \(A_{i,j}=i\wedge j\).
[planches/ex5219] mines PC 2019 Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{S}_n(\mathbf{R})\). On suppose que \(\chi_A=\displaystyle\mathop{\prod}\limits_{k=1}^n(X-a_{k,k})\). Montrer que \(A\) est diagonale.
[planches/ex5219]
[planches/ex9682] mines MP 2023 Soit \(n\in\mathbf{N}^*\). Calculer \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits((i\wedge j)_{1\leqslant i,j\leqslant n})\).
[planches/ex9682]
Indication : On rappelle que, pour \(N\in\mathbf{N}^*\), \(N=\displaystyle\sum\limits_{d|N}\varphi(d)\) où \(\varphi\) est l’indicatrice d’Euler.
[oraux/ex7899] mines PSI 2013
[oraux/ex7899]
Trouver \(\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\left\{\vphantom{|_|}\smash{\lambda\in\mathbf{R}_+,\ \forall A\in\mathscr{M}_2(\mathbf{R}),\ (\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A)^2\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tAA)}\right\}\).
Trouver \(\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\left\{\vphantom{|_|}\smash{\lambda\in\mathbf{R}_+,\ \forall A\in\mathscr{M}_2(\mathbf{R}),\ \mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tAA)}\right\}\).
Peut-on généraliser à \(A\in\mathscr{M}_n(\mathbf{R})\) les résultats précédents ?
[planches/ex2019] mines MP 2017 Soit \(n\in\mathbf{N}^*\).
[planches/ex2019]
Déterminer \(\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits\{\lambda\in\mathbf{R},\ \forall A\in\mathscr{M}_n(\mathbf{R}),\ (\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A)^2\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits{}^tAA\}\).
Déterminer \(\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits\{\lambda\in\mathbf{R},\ \forall A\in\mathscr{M}_n(\mathbf{R}),\ |\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A|^{2/n}\leqslant\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits{}^tAA\}\).
[planches/ex3926] centrale PSI 2018 Une matrice \(M\in\mathscr{M}_n(\mathbf{R})\) est orthotrigonalisable s’il existe \(P\in\mathscr{O}(n)\) et \(T\) triangulaire telles que \(M={}^tPDP\). On veut déterminer l’ensemble des matrices orthotrigonalisables.
[planches/ex3926]
Déterminer les matrices orthotrigonalisables de la forme \(\pmatrix{\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta&-\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\theta\cr\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\theta&\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta}\).
Soit \(M\in\mathscr{M}_n(\mathbf{R})\). Montrer que si le polynôme caractéristique de \(M\) est scindé dans \(\mathbf{R}\), alors \(M\) est orthotrigonalisable. Conclure.
[ev.bilin/ex0075] Vrai ou faux ?
[ev.bilin/ex0075]
Toute matrice \(A\in\mathscr{M}_n(\mathbf{R})\) dont le polynôme caractéristique est scindé dans \(\mathbf{R}[X]\) est orthogonalement semblable à une matrice triangulaire.
[planches/ex1458] ens paris MP 2017
[planches/ex1458]
Un endomorphisme diagonalisable d’un espace euclidien \(E\) est-il diagonalisable en base orthonormée ?
Même question pour un endomorphisme trigonalisable.
[oraux/ex3853] mines MP 2011 Montrer que si \(u\) est un endomorphisme trigonalisable d’un espace euclidien alors il existe une base orthonormée trigonalisant \(u\).
[oraux/ex3853]
[planches/ex5394] centrale PSI 2019
[planches/ex5394]
Donner une condition nécessaire et suffisante pour qu’une matrice de \(\mathscr{M}_n(\mathbf{R})\) soit diagonalisable dans une base orthonormale.
Une matrice de \(\mathscr{M}_n(\mathbf{R})\) dont le polynôme caractéristique est scindé sur \(\mathbf{R}\) est-elle trigonalisable dans une base orthonormale ?
[planches/ex2028] mines MP 2017 Soit \(n\) dans \(\mathbf{N}^*\). Quel est le minimum de la fonction \(M\in\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_n(\mathbf{R})\longmapsto\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)\) ?
[planches/ex2028]
[oraux/ex0779] mines MP 2009 Soient \((E,\langle\ ,\ \rangle)\) un espace euclidien et \(f\in\mathscr{L}(E)\). Donner une condition nécessaire et suffisante pour qu’il existe une base orthonormée de \(E\) dans laquelle la matrice de \(f\) est triangulaire supérieure.
[oraux/ex0779]
[planches/ex1873] polytechnique, espci PC 2017 Soit \(A\in\mathscr{S}_n(\mathbf{R})\) dont les coefficients diagonaux sont les valeurs propres de \(A\) avec une multiplicité identique. Montrer que \(A\) est diagonale.
[planches/ex1873]
[planches/ex5347] centrale MP 2019 Soit \((E,(\ |\ ))\) un espace euclidien ; soit \(u\in\mathscr{L}(E)\).
[planches/ex5347]
Montrer qu’il existe un unique \(v\in\mathscr{L}(E)\) tel que : \(\forall(x,y)\in E^2\), \((u(x)|y)=(x|v(y))\). On le notera \(u^*\).
Montrer que tout endomorphisme trigonalisable de \(E\) est trigonalisable en base orthonormée.
Trouver une condition nécessaire et suffisante pour que \(u^*\in\mathbf{R}[u]\). Que peut-on dire si \(u^*\not\in\mathbf{R}[u]\) ?
[examen/ex1627] mines MP 2024 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) telle que \(A^TA=A^TA\). Montrer que si \(F\) est un sous-espace de \(\mathbf{R}^n\) stable par \(A\) alors \(F^\perp\) est stable par \(A^T\). On suppose \(n=3\). Montrer que \(A\) est soit diagonalisable, soit semblable à une matrice de la forme \(\pmatrix{\lambda&0&0\cr0&\alpha&\beta\cr0&-\beta&\alpha}\) avec \(\beta\neq0\).
[examen/ex1627]
[examen/ex4305] centrale MP 2025 (avec Python)
[examen/ex4305]
Python
On considère que deux matrices sont égales si leurs coefficients diffèrent de moins de \(\varepsilon=10^{-12}\).
Écrire une fonction Python test_orthogonal(A) qui vérifie si la matrice \(A\) est orthogonale. La tester pour \(M=\frac{1}{9}\pmatrix{7&-4&4\cr4&8&1\cr4&-1&-8}\).
test_orthogonal(A)
Un endomorphisme d’un espace euclidien est normal s’il commute avec son adjoint.
Écrire une fonction Python test_normal(A) qui vérifie si une matrice \(A\) est normale. Vérifier que \(M\) est normale.
test_normal(A)
Écrire une fonction Python genere_ mat_normale(n) qui génère aléatoirement une matrice normale de \(\mathscr{M}_n(\mathbf{R})\) à coefficients dans \([\![-9,9]\!]\), qui ne soit ni symétrique ni antisymétrique. Afficher le nombre de tours de boucle.
genere_ mat_normale(n)
Soient \(E\) un espace euclidien et \(u\in\mathscr{L}(E)\).
Montrer que, si un sous-espace vectoriel \(F\) de \(E\) est stable par \(u\), son orthogonal est stable par \(u^*\).
On suppose que \(u\) est normal. Montrer que, pour \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(u)\), l’orthogonal de l’espace propre \(E_\lambda(u)\) est stable par \(u\).
On veut montrer que si \(u\) est normal, il existe une base \(B\) orthogonale dans laquelle \(u\) a une matrice diagonale par blocs de taille 1 ou 2, les blocs de taille 2 étant de la forme \(\pmatrix{a&b\cr-b&a}\) avec \(b\neq0\).
On procède par récurrence sur la dimension de l’espace \(E\), et on remarque que c’est vrai en dimension 1.
Supposons le résultat acquis jusqu’en dimension \(n\) et soit \(u\) un endomorphisme normal d’un espace euclidien \(E\) de dimension \(n+1\).
Supposons que \(u\) a une valeur propre réelle. Conclure en utilisant l’hypothèse de récurrence sur un endomorphisme d’un espace de dimension strictement inférieure.
On suppose maintenant que \(u\) n’a aucune valeur propre réelle.
Soit \(Q\) un facteur irréductible de \(\pi_u\). Quel est le degré de \(Q\) ?
Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits Q(u)\neq\{0\}\).
Soit \(M\in\mathscr{M}_2(\mathbf{R})\) une matrice normale sans valeur propre réelle.
Montrer l’existence de \(a\), \(b\in\mathbf{R}\) avec \(b\neq0\) tels que \(M=\pmatrix{a&b\cr-b&a}\).
Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits Q(u)\) est stable par \(u\) et \(u^*\).
Conclure.
[planches/ex3206] polytechnique MP 2018 Soit \(A\in\mathscr{M}_n(\mathbf{C})\). On pose \(A^*={}^t\overline A\). Montrer l’équivalence entre les conditions suivantes :
[planches/ex3206]
\(AA^*=A^*A\) ;
il existe \(U\in\mathscr{M}_n(\mathbf{C})\) telle que \(UU^*=I_n\) et \(UAU^*\) diagonale ;
\(A^*\) est un polynôme en \(A\).
[oraux/ex0427] polytechnique 2004 Soit \(\mathscr{H}\) l’ensemble des matrices normales, c’est-à-dire des matrices complexes \(M\) telles que \(MM^*=M^*M\).
[oraux/ex0427]
Montrer que \(M\) est dans \(\mathscr{H}\) si et seulement si existent deux matrices hermitiennes \(H\) et \(K\) commutant entre elles et telles que \(M=H+iK\).
Montrer qu’une matrice normale est diagonalisable.
Montrer que, si \(M\) est normale, il existe \(P\in\mathbf{C}[X]\) tel que \(M^*=P(M)\).
Vérifier que \(\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^*A)}\) définit une norme sur \(\mathscr{M}_n(\mathbf{C})\).
Soit \(C\) une matrice complexe et \(A\), \(B\) des matrices normales telles que \(AC=CB\). Montrer que \(C^*A=BC^*\).
[oraux/ex8167] centrale MP 2015 Soit \(n\in\mathbf{N}^*\).
[oraux/ex8167]
Soit \(M\in\mathscr{M}_n(\mathbf{R})\).
Montrer qu’il existe un unique couple \((A,S)\in\mathscr{M}_n(\mathbf{R})^2\) tel que : \(M=A+S\), \({}^tA=-A\), \({}^tS=S\).
Montrer que \(M\) et \({}^tM\) commutent si et seulement si \(A\) et \(S\) commutent.
Soit \(A\in\mathscr{M}_n(\mathbf{R})\) telle que \({}^tA=-A\). On suppose que \(A\) est inversible. Montrer que \(n\) est pair et qu’il existe \(P\in\mathscr{O}_n(\mathbf{R})\) et \((a_1,\ldots,a_p)\in(\mathbf{R}_+^*)^p\) tels que \(A=PDP^{-1}\) où \(D\) est une matrice diagonale par blocs avec des blocs \(D_1\), … , \(D_p\), où \(D_i=\pmatrix{0&-a_i\cr a_i&0}\).
Énoncer et prouver un théorème de réduction pour les matrices normales de \(\mathscr{M}_n(\mathbf{R})\), c’est-à-dire les matrices \(M\in\mathscr{M}_n(\mathbf{R})\) telles que \(M{}^tM={}^tMM\).
[planches/ex2024] mines MP 2017 Soit \(M\in\mathscr{M}_n(\mathbf{R})\).
[planches/ex2024]
Montrer que \(M\) s’écrit de façon unique sous la forme \(S+A\), avec \(S\) symétrique et \(A\) antisymétrique. Montrer que \(M\) et \({}^tM\) commutent si et seulement si \(S\) et \(A\) commutent.
On suppose dans cette question que \(A\) est inversible. Montrer que \(n\) est pair et qu’il existe \(\alpha_1\), … , \(\alpha_p\) dans \(\mathbf{R}_+^*\) et \(P\in\mathscr{O}_n(\mathbf{R})\) tels que \(A=P^{-1}BP\) avec \(B=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(B_1,\ldots,B_p)\) et \(B_i=\pmatrix{0&-\alpha_i\cr\alpha_i&0}\).
On suppose que \(M{}^tM={}^tMM\). Montrer qu’existent des réels \(\lambda_1\), … , \(\lambda_r\), \(\alpha_1\), … , \(\alpha_s\), des réels strictement positifs \(\beta_1\), … , \(\beta_s\) et \(P\in\mathscr{O}_n(\mathbf{R})\) tels que \(M=P^{-1}CP\) avec : \[C=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(C_1,\ldots,C_s,\lambda_1,\ldots,\lambda_r)\quad\hbox{et}\quad C_i=\pmatrix{\alpha_i&-\beta_i\cr\beta_i&\alpha_i}.\]
[oraux/ex8168] centrale MP 2015 (avec Python)
[oraux/ex8168]
Soient \(n\in\mathbf{N}\) avec \(n\geqslant 2\) et \(A\in\mathscr{M}_n(\mathbf{R})\). On cherche à établir l’existence de \(\Omega\in\mathscr{O}_n(\mathbf{R})\) telle que \({}^t\Omega A\Omega\) ait sa diagonale constante.
Démontrer le résultat pour \(n=2\) et expliciter, en fonction de \(A\), une matrice \(\Omega\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_2(\mathbf{R})\) telle que \({}^t\Omega A\Omega\) ait sa diagonale constante.
On pose \(A=\pmatrix{0&2\cr2&1}\). Donner, à l’aide de Python, \(B\) orthogonalement semblable à \(A\) de diagonale constante.
Soit \(\Gamma=\{ {}^t\Omega A\Omega,\ \Omega\in\mathscr{O}_n(\mathbf{R})\}\). Montrer que \(\Gamma\) est compact.
Soit \(f:M\in\Gamma\mapsto\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{(i,j)\in[[1,n]]^2}|M_{i,i}-M_{j,j}|\). Montrer que \(f\) présente un minimum.
En déduire le résutat annoncé.
[oraux/ex8026] polytechnique MP 2014 Soit \(A\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
[oraux/ex8026]
Montrer qu’il existe \(O\in\mathscr{O}_n(\mathbf{R})\) et \(S\in\mathscr{S}_n^{++}(\mathbf{R})\) telle que \(A=OS\).
Calculer \(\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{O\in\mathscr{O}_n(\mathbf{R})}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(OA)\).
Calculer \(\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{O\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(OA)\).
[oraux/ex4191] centrale MP 2011 (avec Maple)
[oraux/ex4191]
Soit \(A\in\mathscr{M}_2(\mathbf{R})\). Montrer qu’il existe une matrice de rotation \(O\) telle que \({}^tOAO\) ait ses coefficients diagonaux égaux. Donner avec Maple l’angle de la rotation en fonction des coefficients de \(A\).
Pour \(A\in\mathscr{M}_n(\mathbf{R})\), on pose \(f(A)=\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{1\leqslant i,j\leqslant n}|A(i,i)-A(j,j)|\). Soit \(A\in\mathscr{M}_n(\mathbf{R})\). Montrer que l’ensemble \(\{ {}^tOAO,\ O\in\mathscr{O}_n(\mathbf{R})\}\) est compact. En déduire que \(f\) réalise son minimum sur cet ensemble.
Soit \(A\in\mathscr{M}_n(\mathbf{R})\) telle que \(f(A)\) soit non nul, et \(i\), \(j\) tels que \(f(A)=|A(i,i)-A(j,j)|\). Montrer qu’il existe \(A'\) orthogonalement semblable à \(A\) telle que \(A'(i,i)=A'(j,j)\) et telle que, pour tout \(k\) différent de \(i\) et de \(j\), on ait \(A'(k,k)=A(k,k)\) et \(|A'(k,k)-A'(i,i)|<f(A)\).
En déduire que, si \(A\in\mathscr{M}_n(\mathbf{R})\), il existe \(B\) orthogonalement semblable à \(A\) dont les coefficients diagonaux sont égaux.
[oraux/ex7858] polytechnique MP 2013 Soient \(n\) dans \(\mathbf{N}^*\), \(a_1\), … , \(a_n\), \(b_1\), … , \(b_n\) des réels tels que \(a_1\geqslant a_2\geqslant\cdots\geqslant a_n\geqslant 0\) et \(b_1\geqslant b_2\geqslant\cdots\geqslant b_n\geqslant 0\).
[oraux/ex7858]
Soit \(S\) l’application de \(\mathfrak{S}_n\) dans \(\mathbf{R}\) qui à \(\sigma\) associe \(S(\sigma)=\displaystyle\sum\limits_{k=1}^na_kb_{\sigma(k)}\). Déterminer le maximum et le minimum de \(S\).
Soient \(A\) et \(B\) deux matrices diagonales dont les termes diagonaux sont, respectivement et dans cet ordre \(a_1\), … , \(a_n\) et \(b_1\), … , \(b_n\). Pour \(U\) dans \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\), on pose \(f(U)=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AUBU^{-1})\). Déterminer le maximum de \(f\).
Soient \(A_1\), … , \(A_n\), \(B_1\), … , \(B_n\) des points distincts du plan. Existe-t-il une permutation \(\sigma\) de \([[1,n]]\) telle que \(\forall(i,j)\), \(i\neq j\Rightarrow[A_iB_{\sigma(i)}]\cap[A_jB_{\sigma(j)}]=\varnothing\) ?
[oraux/ex0430] centrale 2004 Soient \((E,\langle\ ,\ \rangle)\) un espace euclidien et \(s\) un endomorphisme symétrique de \(E\).
[oraux/ex0430]
Calculer \(\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(us),\ u\in\mathscr{O}(E)\}\).
Calculer \(\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(us),\ u\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits(E)\}\).
[examen/ex1628] mines MP 2024 Soit \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
[examen/ex1628]
Montrer qu’il existe un unique couple \((O,S)\in\mathscr{O}_n(\mathbf{R})\times S_n^{++}(\mathbf{R})\) tel que \(M=OS\).
Déterminer \(\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{A\in\mathscr{O}_n(\mathbf{R})}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AM)\).
[oraux/ex0526] centrale MP 2005 Soient \(S\in\mathscr{M}_n(\mathbf{R})\) symétrique de valeurs propres \(\lambda_1\leqslant\lambda_2\leqslant\ldots\leqslant\lambda_n\), \(g:[\lambda_1,\lambda_n]\rightarrow\mathbf{R}\) une application convexe et \(E=\{OSO^{-1},\ O\in\mathscr{O}_n(\mathbf{R})\}\).
[oraux/ex0526]
Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in E\). Montrer que : \(\forall i\in\{1,\ldots,n\}\), \(\lambda_1\leqslant a_{i,i}\leqslant\lambda_n\). En déduire : \(\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\left\{\sum\limits_{i=1}^ng(a_{i,i}),\ A\in E\right\}=\sum\limits_{k=1}^ng(\lambda_k)\).
Soit \(u\) un endomorphisme autoadjoint d’un espace vectoriel euclidien et \(f:\mathbf{R}\rightarrow\mathbf{R}\) une application convexe. On note \(p_{\lambda,u}\) le projecteur orthogonal sur \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(u-\lambda\mathchoice{\hbox{Id}}{\hbox{Id}}{\mathrm{Id}}{\mathrm{Id}})\), et on pose \(f(u)=\sum\limits_{\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(u)}f(\lambda)p_{\lambda,u}\). Montrer que pour tous \(u\), \(v\) autoadjoints et \(t\) dans \([0,1]\), on a \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(f((1-t)u+tv))\leqslant\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits((1-t)f(u)+tf(v))\).
[oraux/ex3513] ens cachan MP 2011
[oraux/ex3513]
Soit \(A\in\mathscr{M}_p(\mathbf{R})\). Montrer qu’on a, pour \(x\) réel au voisinage de 0 : \[\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_p+xA))=\sum\limits_{n=1}^{+\infty}{(-1)^{n-1}\over n}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^n)x^n.\]
Soient \(A\) et \(B\) dans \(\mathscr{S}_p(\mathbf{R})\). Montrer que les deux propositions suivantes sont équivalentes :
\(AB=0\) ;
\(\forall(x,y)\in\mathbf{R}^2\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_p+xA+yB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_p+xA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_p+yB)\).
Le résultat est-il encore vrai si \(A\) et \(B\) ne sont plus symétriques réelles ?
[oraux/ex0817] centrale MP 2009 (avec Maple)
[oraux/ex0817]
On dit qu’une matrice \(M=(m_{i,j})_{1\leqslant i,j\leqslant n}\) de \(\mathscr{M}_n(\mathbf{R})\) vérifie la propriété \(\mathscr{P}\) si et seulement si le polynôme caractéristique de \(M\) est égal à \(\mathop{\prod}\limits_{i=1}^n(X-m_{i,,i})\).
Trouver les matrices de \(\mathscr{M}_2(\mathbf{R})\) vérifiant \(\mathscr{P}\).
Si \(M\in\mathscr{S}_n(\mathbf{R})\), comparer la somme des carrés des termes diagonaux de \(M\) et la somme des carrés des valeurs propres de \(M\) comptées avec multiplicités. En déduire les matrices symétriques réelles vérifiant \(\mathscr{P}\).
Trouver les matrices antisymétriques réelles vérifiant \(\mathscr{P}\).
[oraux/ex0431] ens paris, ens lyon, ens cachan 2004 Soit \((E,\langle\ ,\ \rangle)\) un espace hermitien et \(\mathscr{H}(E)\) l’espace réel des endomorphismes hermitiens de \(E\). Si \(u\in\mathscr{H}(E)\), on note \(\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits u\) le spectre de \(u\) et, pour \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits u\), \(p_\lambda\) le projecteur orthogonal de \(E\) sur \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(u-\lambda\mathchoice{\hbox{Id}}{\hbox{Id}}{\mathrm{Id}}{\mathrm{Id}})\). Si \(f\) est une application de \(\mathbf{R}\) dans \(\mathbf{R}\), on pose : \(f(u)=\sum\limits_{\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits u}f(\lambda)p_\lambda\).
[oraux/ex0431]
Soit désormais \(f\) une application convexe de \(\mathbf{R}\) dans \(\mathbf{R}\). Pour \(t\in[0,1]\) et \((u,v)\in\mathscr{H}(E)^2\), comparer : \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left(\vphantom{|_|}(1-t)f(u)+tf(v)\right)\) et \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left(\vphantom{|_|}f((1-t)u+tv)\right)\).
[oraux/ex0920] centrale PSI 2010 Soit \(\mathscr{H}\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) constitué de matrices diagonalisables. On veut montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(\mathscr{H}=P\mathscr{S}_2(\mathbf{R})P^{-1}\).
[oraux/ex0920]
Montrer que \(\mathscr{H}\) contient une matrice non inversible non nulle.
Montrer que, par conjugaison, on peut se ramener à \(\mathscr{H}=\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(A,B,C)\) où \(A=\left(\begin{array}{cc}1&0\\0&0\end{array}\right)\), \(B=\left(\begin{array}{cc}1&0\\0&1\end{array}\right)\), \(C=\left(\begin{array}{cc}1&\omega^2\\1&0\end{array}\right)\) avec \(\omega\in\mathbf{R}_+^*\).
En déduire le résultat.
[planches/ex3199] polytechnique MP 2018 Lorsque \(M\in\mathscr{M}_n(\mathbf{R})\) on pose \(N(M)=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)}\).
[planches/ex3199]
Montrer que \(N\) est une norme sous-multiplicative, invariante par la conjugaison des éléments du groupe orthogonal.
Soit \((A,B)\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_3(\mathbf{R})^2\). On note \([A,B]=ABA^{-1}B^{-1}\). On suppose que \(N(B-I_3)<2\) et que \(A\) commute avec \([A,B]\). Montrer que \(A\) et \(B\) commutent.
Soit \((A,B)\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_3(\mathbf{R})^2\). Montrer que \(N(I-[A,B])\leqslant 2N(I-A)\,N(I-B)\).
[planches/ex4589] ens PC 2019 Soit \(V\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) dont tous les éléments sont diagonalisables dans \(\mathbf{R}\).
[planches/ex4589]
Montrer que \(I_2\in V\).
Donner un exemple de tel hyperplan \(V\).
Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(P^{-1}VP\) contienne toutes les matrices diagonales.
Montrer qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(Q^{-1}VQ=\mathscr{S}_2(\mathbf{R})\).
[oraux/ex5025] polytechnique MP 2012
[oraux/ex5025]
Soient \(A\) et \(B\) dans \(S_n^{++}(\mathbf{R})\). Montrer qu’il existe \(P\) inversible telle que \({}^tPAP\) et \({}^tPBP\) soient diagonales.
Le résultat est-il encore vrai si l’on suppose simplement \(A\) et \(B\) dans \(S_n^{+}(\mathbf{R})\) ?
[oraux/ex0471] polytechnique MP 2005 Soit \(A\), \(B\in\mathscr{M}_n(\mathbf{C})\). On suppose que \(\{X\in\mathbf{C}^n\mid X^*AX=X^*BX=0\}=\{0\}\). Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\) telle que \(P^*AP\) et \(P^*BP\) soient triangulaires supérieures.
[oraux/ex0471]
[concours/ex3278] ens lyon M 1993 Sur \(\mathscr{M}_n(\mathbf{C})\), on définit la norme \(\left\|A\right\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^*A)}\). Soit \(\mathscr{U}_n\) l’ensemble des matrices unitaires d’ordre \(n\).
[concours/ex3278]
Montrer que, pour tout \(U\) de \(\mathscr{U}_n\) et tout \(A\) de \(\mathscr{M}_n(\mathbf{C})\), on a : \[\left\|UA\right\|=\left\|AU\right\|=\left\|A\right\|.\] On considère des matrices \(A\) et \(B\) de \(\mathscr{U}_n\) et on pose \(C=ABA^{-1}B^{-1}\). On suppose \(AC=CA\) et \(\left\|I-B\right\|<\sqrt2\). On veut montrer que \(AB=BA\).
Montrer que \(A\) et \(BAB^{-1}\) commutent.
Montrer qu’il existe \(U\) dans \(\mathscr{U}_n\), des complexes \(\lambda_1\), … , \(\lambda_n\) de module \(1\) et une permutation \(\sigma\) de \(\{1,\ldots,n\}\) tels que \(U^*AU=D\) et \(U^*BAB^{-1}U=D'\) avec \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_1,\ldots,\lambda_n)\) et \(D'=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_{\sigma(1)},\ldots,\lambda_{\sigma(n)})\).
[examen/ex3558] mines PSI 2025 Soit \(V\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) dont tous les éléments sont diagonalisables sur \(\mathbf{R}\).
[examen/ex3558]
Donner un exemple de tel hyperplan.
Soit \(F=\left\{\pmatrix{a&b\cr-b&a}\right\}_{(a,b)\in\mathbf{R}^2}\). Montrer que \(F\cap V\neq\{0\}\) et en déduire que \(I_2\in V\).
On munit \(\mathscr{M}_2(\mathbf{R})\) de son produit scalaire canonique. Quelle est la dimension de \(V^\perp\) ?
Montrer qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(QVQ^{-1}=S_2(\mathbf{R})\).
[concours/ex1353] ens paris MP 1998 Soit \(A\), \(B\in\mathscr{M}_n(\mathbf{C})\) deux matrices hermitiennes positives. Montrer qu’il existe \(T\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\) telle que \(T^*AT\) et \(T^*BT\) soient diagonales.
[concours/ex1353]
[concours/ex8869] ens paris MP 2010 Soient \(m\) un entier \(\geqslant 2\), \(A=(a_{i,j})_{1\leqslant i,j\leqslant m}\) dans \(\mathscr{S}_n(\mathbf{R})\) dont tous les coefficients appartiennent à \(\{0,1\}\) et telle qu’il existe \(p\) dans \(\mathbf{N}^*\) tel que tous les coefficients de \(A^p\) soient \(>0\). On note \(F\) l’ensemble des fonctions de \(\mathbf{Z}\) dans \(\{1,\ldots,m\}\), \(\theta\) l’application de \(F\) dans \(F\) qui à la suite \((\omega_n)_{n\in\mathbf{Z}}\) associe la suite \((\omega_{n+1})_{n\in\mathbf{Z}}\). On note enfin \(\Omega\) l’ensemble des suites \((\omega_n)_{n\in\mathbf{Z}}\) appartenant à \(F\) telles que \(\forall n\in\mathbf{Z}\), \(a_{\omega_n,\omega_{n+1}}=1\).
[concours/ex8869]
Vérifier que \(\theta\) est une bijection de \(F\) sur \(F\), que \(\Omega\) est non vide.
Pour \(n\) dans \(\mathbf{N}^*\), soient \(P_n\) l’ensemble des points fixes de \(\theta^n\) appartenant à \(\Omega\), \(\pi_n\) le cardinal de \(P_n\), \(P=\mathop{\bigcup}\limits_{n\in\mathbf{N}^*}P_n\). Montrer qu’existe \(R\) dans \(\mathbf{Q}(X)\) dont 0 n’est pas pôle et \(\eta>0\) tels que, pour \(x\in\left]-\eta,\eta\right[\), on ait : \(\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\sum\limits_{n=1}^{+\infty}{\pi_nx^n\over n}\right)=R(x)\).
Pour \(\omega\) dans \(P\), soit \(p(\omega)\) le plus petit \(n\) de \(\mathbf{N}^*\) tel que \(\omega\) appartienne à \(P_n\). Enfin, pour \(n\) dans \(\mathbf{N}^*\), soit \(Q_n\) l’ensemble des \(\omega\) de \(P\) tels que \(p(\omega)=n\). On définit une relation \(\sim\) sur \(P\) par : \(\omega\sim\omega'\) si et seulement s’il existe \(k\) dans \(\mathbf{Z}\) tel que \(\theta^k(\omega)=\omega'\). Vérifier que c’est une relation d’équivalence sur \(P\), que \(p\) est constante sur les classes de \(\sim\). Si \(\widetilde P\) est l’ensemble des classes d’équivalence de \(\sim\) et \(\tilde p\) la fonction déduite de \(p\) sur \(\widetilde P\), montrer, pour \(x\) réel assez près de 0, l’égalité : \(R(x)=\displaystyle\mathop{\prod}\limits_{u\in\widetilde P}{1\over1-x^{\tilde p(u)}}\).
[planches/ex0497] ens paris, ens lyon, ens cachan, ens rennes MP 2014 Soit \(A\in\mathscr{S}_N(\mathbf{R})\) à coefficients dans \(\{0,1\}\), telle qu’il existe \(n_0\) pour lequel tous les coefficients de \(A^{n_0}\) sont strictement positifs. On note \(\Omega\) l’ensemble des suites \((\omega_k)_{k\in\mathbf{Z}}\) dans \([[1,N]]^2\) telles que, pour tout \(k\in\mathbf{Z}\), \(A_{\omega_k,\omega_{k+1}}=1\).
[planches/ex0497]
Montrer que \(\Omega\) n’est pas vide.
Soit \(\pi_n\) le nombre d’éléments de \(\Omega\) qui sont \(n\)-périodiques. Montrer que le rayon de convergence de \(\displaystyle\sum\limits{\pi_n\over n}x^n\) est strictement positif.
Montrer que \(\xi(x)=\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\sum\limits_{n=1}^{+\infty}{\pi_n\over n}x^n\right)\) est une fraction rationnelle de \(\mathbf{Q}(X)\).
[planches/ex1464] ens paris, ens lyon, ens cachan, ens rennes MP 2017 Soit \(n\in\mathbf{N}^*\). Si \(A\in\mathscr{M}_n(\mathbf{C})\), on pose \(A^*={}^t\overline A\) et on introduit l’ensemble \(U_n(\mathbf{C})\) des matrices unitaires \(A\), matrices de \(\mathscr{M}_n(\mathbf{C})\) telles que \(A^*A=I_n\). On admet que toute matrice unitaire est unitairement semblable à une matrice diagonale.
[planches/ex1464]
On pose, pour \(A\) et \(B\) dans \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\), \([A,B]=ABA^{-1}B^{-1}\) et \(\|A\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A^*A}\).
Soient \(A\) et \(B\) dans \(U_n(\mathbf{C})\). Montrer que \(\|I_n-[A,B]\|\leqslant\sqrt2\|I_n-A\|\times\|I_n-B\|\).
Indication : On pourra montrer que, si \((C,P)\in\mathscr{M}_n(\mathbf{C})\times U_n(\mathbf{C})\), \(\|CP\|=\|PC\|=\|C\|\).
Soient \(A\), \(B\) dans \(U_n(\mathbf{C})\). On suppose que \(A\) commute avec \([A,B]\) et que \(\|I_n-B\|<\sqrt2\). Montrer que \(A\) et \(B\) commutent.
[oraux/ex3512] ens paris MP 2011 Soient \(N\) un entier \(\geqslant 2\) et \(A=(a_{i,j})_{1\leqslant i,j\leqslant N}\in\mathscr{S}_N(\mathbf{R})\) à coefficients dans \(\{0,1\}\). On suppose qu’il existe \(m\in\mathbf{N}\) tel que \(A^m\) a ses coefficients strictement positifs. On note \(\Omega_A=\{\omega\in\{1,\ldots,N\},\ \forall n\in\mathbf{Z},\ a_{\omega_n,\omega_{n+1}}=1\}\).
[oraux/ex3512]
Montrer que \(\Omega_A\) est non vide. Soit \(\Theta:(u_n)_{n\in\mathbf{Z}}\mapsto(u_{n+1})_{n\in\mathbf{Z}}\). Montrer que \(\Theta\) induit une bijection de \(\Omega_A\) sur \(\Omega_A\).
On appelle orbite tout ensemble du type \(\{\Theta^n(\omega),\ n\in\mathbf{N}\}\) avec \(\omega\in\Omega_A\). On note \(\mathscr{O}_f\) l’ensemble des orbites finies. Soit \(g:x\mapsto\displaystyle\mathop{\prod}\limits_{C\in\mathscr{O}_f}{1\over1-x^{\mathop{\mathchoice{\hbox{card}}{\hbox{card}}{\mathrm{card}}{\mathrm{card}}}\nolimits(C)}}\). Montrer que \(g\) est définie au voisinage de 0. Montrer que \(g\) est une fraction rationnelle ; l’exprimer en fonction de \(A\).
[concours/ex0115] polytechnique PC 1996 Soient \(A\) et \(B\) deux matrices symétriques réelles, \(\lambda_1\), … , \(\lambda_n\) les valeurs propres supposées distinctes de \(A\) ; \(x_1\), … , \(x_n\) une base orthonormée de vecteurs propres. Trouver un développement limité en \(0\) des valeurs propres \(\mu_i\) de \(A+\varepsilon B\) sous la forme : \[\mu_i=\lambda_i+\varepsilon\lambda_{i1}+\varepsilon^2\lambda_{i2}+ \cdots+\varepsilon^n\lambda_{in}+o(\varepsilon^n)\,.\] Même question pour les vecteurs propres \(y_i\).
[concours/ex0115]
[oraux/ex6865] ens cachan MP 2013 Soit \(n\in\mathbf{N}^*\).
[oraux/ex6865]
On fixe \(B\in\mathscr{M}_n(\mathbf{R})\). Déterminer le maximum de \(\mathop{\mathchoice{\hbox{deg}}{\hbox{deg}}{\mathrm{deg}}{\mathrm{deg}}}\nolimits(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A+XB))\) pour \(A\in\mathscr{M}_n(\mathbf{R})\).
On se donne \(A\) et \(B\) dans \(\mathscr{S}_n(\mathbf{R})\) et on se place dans \(\mathbf{R}[X,Y]\). Montrer que : \[\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-XA-YB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-XA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-YB)\hbox{ si et seulement si }AB=0.\]
[planches/ex3198] polytechnique MP 2018 Soient \(\lambda_1\), \(\lambda_2\in\mathbf{R}\). Déterminer le lieu \(L\) dans \(\mathbf{R}^2\) de la diagonale des matrices de \(\mathscr{S}_2(\mathbf{R})\) dont les valeurs propres sont \(\lambda_1\) et \(\lambda_2\) c’est-à-dire : \[L=\left\{\vphantom{|_|}(S_{1,1},S_{2,2}),\ S\in\mathscr{S}_2(\mathbf{R})\hbox{ et }\chi_S=(X-\lambda_1)(X-\lambda_2)\right\}.\]
[planches/ex3198]
[oraux/ex0739] ens paris, ens lyon, ens cachan MP 2009
[oraux/ex0739]
Soit \(A\in\mathscr{M}_2(\mathbf{C})\) telle que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A=1\) et \(|\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A|\neq2\). Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{C})\) telle que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits P=1\) et \(P^{-1}AP\) soit diagonale.
Soit \(A\in\mathscr{M}_2(\mathbf{C})\) telle que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A=1\) et \(|\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A|\neq2\) et \(B\in\mathscr{M}_2(\mathbf{C})\) telle que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits B=1\) et \(|\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits B|\neq2\). On suppose de plus que \(A\) et \(B\) n’ont pas de vecteur propre commun. Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{C})\) telle que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits P=1\) et que \(P^{-1}AP\) et \(P^{-1}BP\) soient symétriques.
On fait sur \(A\) les mêmes hypothèses qu’à la question précédente. On suppose qu’il existe \((n_1,\ldots,n_k,m_1,\ldots,m_k)\in\mathbf{Z}^{2k}\) tel que : \(A^{n_1}B^{m_1}\ldots A^{n_k}B^{m_k}=I_2\).
Montrer que \(A^{-n_1}B^{-m_1}\ldots A^{-n_k}B^{-m_k}=I_2\).
[oraux/ex0747] polytechnique MP 2009 Soit \(S\in\mathscr{S}_n(\mathbf{R})\) telle que, pour toute matrice inversible \(P\), \(PS\) soit encore symétrique. Que dire de \(S\) ? Donner deux méthodes.
[oraux/ex0747]
[oraux/ex3600] polytechnique MP 2011 Quelles sont les matrices \(A\in\mathscr{M}_n(\mathbf{R})\) telles que : \(\forall P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\), \(PA\in\mathscr{S}_n(\mathbf{R})\) ?
[oraux/ex3600]
[oraux/ex3507] ens paris, ens lyon, ens cachan MP 2011 Si \(M\in\mathscr{M}_n(\mathbf{R})\), on note \(\mu_M\) le polynôme minimal de \(M\).
[oraux/ex3507]
Soit \(A\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\). Exprimer \(\mu_{A^{-1}}\) en fonction de \(\mu_A\).
Soit \(A\in\mathscr{O}_n(\mathbf{R})\). On suppose que 1 et \(-1\) ne sont pas racines de \(\mu_A\). Montrer que \(\mu_A\) est un polynôme réciproque de degré pair.
Soient \(A\) et \(B\) dans \(\mathscr{O}_n(\mathbf{R})\) tels que : \(\mu_A=\mu_B\) et \(\mu_A\) est irréductible. Montrer que \(A\) et \(B\) sont orthogonalement semblables.
[planches/ex6093] ens saclay, ens rennes MP 2021 Pour \(M\in\mathscr{M}_n(\mathbf{C})\), on pose \(M^*=\overline M^T\).
[planches/ex6093]
Montrer que \(\|A\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^*A)}\) définit une norme sur \(\mathscr{M}_n(\mathbf{C})\).
Montrer que pour tout \(U\in\mathscr{M}_n(\mathbf{C})\) telle que \(U^*U=I_n\) et pour tout \(A\in\mathscr{M}_n(\mathbf{C})\), on a \(\|UA\|=\|AU\|=\|A\|\).
Pour \((p,q)\in[[1,n]]^2\) tel que \(p\neq q\), pour tout \(\theta\in\mathbf{R}\), on note \(G(p,q,\theta)\) la matrice de \(\mathscr{M}_n(\mathbf{R})\) ayant les mêmes coefficients que \(I_n\) sauf éventuellement aux positions suivantes : \(G(p,q,\theta)_{p,p}=\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta\), \(G(p,q,\theta)_{q,q}=\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta\), \(G(p,q,\theta)_{p,q}=-\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\theta\) et \(G(p,q,\theta)_{q,p}=\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\theta\). Montrer que \(\|G(p,q,\theta)^TAG(p,q,\theta)\|=\|A\|\) pour tout \(A\in\mathscr{M}_n(\mathbf{R})\).
Soient \(A\in\mathscr{S}_n(\mathbf{R})\) et \(p<q\) dans \([[1,n]]\) tels que \(a_{p,q}\neq0\). Montrer qu’il existe un unique \(\theta\in\displaystyle\left]-{\pi\over4},0\right[\cup\left]0,{\pi\over4}\right[\) tel que, pour \(B=G(p,q,\theta)^TAG(p,q,\theta)\), on ait \(b_{p,q}=0\) et \(\displaystyle\sum\limits_{i=1}^nb_{i,i}^2=2a_{p,q}^2+\sum\limits_{i=1}^na_{i,i}^2\).
[planches/ex8524] centrale MP 2022 (avec Python)
[planches/ex8524]
Soit \(n\in\mathbf{N}^*\). Pour \(\theta\in\mathbf{R}\) et \((p,q)\in[[1,n]]\) avec \(p\neq q\), on note \(\Omega_{p,q}(\theta)\in\mathscr{M}_n(\mathbf{R})\) la matrice dont les coefficients d’indices \((p,p)\) et \((q,q)\) valent \(\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta\), les autres coefficients diagonaux valant 1, et \([\Omega_{p,q}(\theta)]_{p,q}=-[\Omega_{p,q}(\theta)]_{p,q}=sin\theta\). Tous les autres coefficients sont nuls.
Coder une fonction Python qui renvoie la matrice \(\Omega_{p,q}(\theta)\).
Coder une fonction Python qui, pour une matrice \(A\in\mathscr{S}_n(\mathbf{R})\), renvoie un couple \((p,q)\in[[1,n]]^2\) avec \(p<q\) tel que \(|a_{p,q}|=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits_{1\leqslant i<j\leqslant n}|a_{i,j}|\).
Coder une fonction Python prenant en argument \(A\in\mathscr{S}_n(\mathbf{R})\), et qui renvoie la matrice \(B=\Omega_{p,q}(\theta)^TA\Omega_{p,q}(\theta)\) où \((p,q)\) est défini comme précédemment et \(\theta\in\left[\displaystyle-{\pi\over4},{\pi\over4}\right]\) vérifie \(\mathop{\mathchoice{\hbox{cotan}}{\hbox{cotan}}{\mathrm{cotan}}{\mathrm{cotan}}}\nolimits(2\theta)=\displaystyle{a_{p,p}-a_{q,q}\over2a_{p,q}}\).
Avec les notations précédentes, montrer que \(B\) est symétrique et de même norme euclidienne canonique que \(A\).
[examen/ex3073] polytechnique, espci PC 2025 Soient \(M_1\), … , \(M_n\in\mathscr{M}_p(\mathbf{R})\) telles que \(\displaystyle\sum\limits_{i=1}^nM_i^TM_i=I_p\).
[examen/ex3073]
Pour \(X\in\mathscr{M}_p(\mathbf{R})\), on pose \(L(X)=\displaystyle\sum\limits_{i=1}^nM_i^TXM_i\).
On écrit \(M\geqslant N\) pour signifier \(M-N\in\mathscr{S}_n^+(\mathbf{R})\). Montrer que \(L(X^TX)\geqslant L(X^T)L(X)\).
[planches/ex6087] ens saclay, ens rennes MP 2021
[planches/ex6087]
Pour \(A\), \(B\), \(C\) dans \(\mathscr{M}_n(\mathbf{R})\), montrer que : \[\left|\matrix{A&B\cr0&C}\right|=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(C),\quad\left|\matrix{A&B\cr B&A}\right|=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A-B)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A+B),\quad\left|\matrix{A&-B\cr B&A}\right|\geqslant 0.\]
Le but de l’exercice est de démontrer que, pour \(A\) et \(B\) dans \(\mathscr{S}_n(\mathbf{R})\), on a \(AB=0\) si et seulement si, pour tout \((x,y)\in\mathbf{R}^2\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA-yB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-yB)\).
Montrer le sens direct.
Soient \(M\in\mathscr{S}_n^+(\mathbf{R})\) et \(N\in\mathscr{S}_n(\mathbf{R})\) telles que, pour tout \(t\in\mathbf{R}\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(M-tN)=0\). Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(M)\cap\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(N)\neq\{0\}\).
En déduire que si \(A\) et \(B\) sont deux éléments de \(\mathscr{S}_n(\mathbf{R})\) tels que, pour tout \((x,y)\in\mathbf{R}^2\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA-yB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-yB)\), alors il existe un vecteur propre de \(A\) appartenant au noyau de \(B\).
[oraux/ex0464] centrale 2004 Soit \(D\) une matrice diagonale réelle de taille \(n\), de valeurs propres notées \(\lambda_1<\ldots<\lambda_n\). On se donne une matrice symétrique réelle \(V\), et pour \(\varepsilon>0\), on note \(\mu_1\leqslant\ldots\leqslant\mu_n\) les valeurs propres de \(M(\varepsilon)=D+\varepsilon V\) ; montrer que, pour tout \(i\), \(\mu_i\) admet un développement limité à tous ordres en \(\varepsilon\) lorsque ce dernier tend vers 0. Déterminer les deux premiers termes du développement.
[oraux/ex0464]
[oraux/ex5300] mines MP 2012 Soit \(A=(a_{i,j})\in {\cal S}_n(\mathbf{R})\) telle que, pour tout \(i\in\{1,\nobreak\ldots\unskip\nobreak ,n\}\), \(a_{i,i}=1\) et \(\sum\limits_{j=1}^n|a_{i,j}|\leqslant 2\). Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A\in[0,1]\).
[oraux/ex5300]
[examen/ex3263] mines MP 2025 Soit \(A\in\mathscr{S}_n(\mathbf{R})\). Déterminer le nombre de matrices \(B\in\mathscr{M}_n(\mathbf{R})\) telles que \(A=B^2\).
[examen/ex3263]
[concours/ex3599] mines M 1992 Soit \(E\) un espace euclidien de dimension \(n\), \(f\) et \(g\) deux éléments de \(O(E)\).
[concours/ex3599]
On suppose \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(f+I)\) paire. Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits f=1\).
On suppose que \(f^2=-\mathchoice{\hbox{Id}}{\hbox{Id}}{\mathrm{Id}}{\mathrm{Id}}\) et \(fg=gf\). Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits g=1\).
[oraux/ex8834] ens PC 2014 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) de spectre réel. On suppose que, pour tout \(i\in[[1,n]]\), \(a_{i,i}=1\) et \(\displaystyle\sum\limits_{j\neq i}a_{i,j}\leqslant 1\). Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A)\) appartient à \([0,1]\).
[oraux/ex8834]
[concours/ex6253] ens MP 2006 Soit \(E\) un espace euclidien de dimension \(2n\) et de norme \(\|\ \|\), \(F\) un sous-espace de \(E\) de dimension \(n\), \(u\in\mathscr{L}(F)\) et \(p\) la projection orthogonale de \(E\) sur \(F\). Montrer l’équivalence entre :
[concours/ex6253]
\(\forall x\in F\), \(\|u(x)\|\leqslant\|x\|\) ;
\(\exists v\in\mathscr{O}(E)\), \(u=p\mathbin{\circ} v_{|F}\).
[planches/ex1711] polytechnique MP 2017 Soient \(n\) et \(d\) dans \(\mathbf{N}^*\). Soient \(M_1\), … , \(M_n\) dans \(\mathscr{M}_d(\mathbf{R})\) telles que \(\displaystyle\sum\limits_{k=1}^n{}^tM_kM_k=I_d\). On définit l’endomorphisme \(L\), de l’espace vectoriel \(\mathscr{M}_d(\mathbf{R})\) dans lui-même, par l’égalité \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(L(X)=\displaystyle\sum\limits_{k=1}^n{}^tM_kXM_k\).
[planches/ex1711]
Enfin, si \(X\in\mathscr{M}_d(\mathbf{R})\), on écrit \(X\geqslant 0\) lorsque, pour tout \(Y\in\mathscr{M}_{d,1}(\mathbf{R})\), \({}^tYXY\geqslant 0\).
Soit \(X\in\mathscr{M}_d(\mathbf{R})\). Montrer que, si \(X\geqslant 0\), alors \(L(X)\geqslant 0\).
Montrer l’existence de \(p\in\mathbf{N}^*\), de \(V\in\mathscr{M}_{p,d}(\mathbf{R})\) vérifiant \({}^tVV=I_d\), et d’un morphisme d’algèbres \(\pi\), de \(\mathscr{M}_d(\mathbf{R})\) vers \(\mathscr{M}_p(\mathbf{R})\), tel que \(\pi({}^tX)={}^t(\pi(X))\) et \(L(X)={}^tV\pi(X)V\), pour tout \(X\in\mathscr{M}_d(\mathbf{R})\).
Montrer que \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(L({}^tXX)-{}^t(L(X))L(X)\geqslant 0\).
[oraux/ex8218] polytechnique MP 2016 Soient \(n\in\mathbf{N}^*\), \(A\in\mathscr{M}_n(\mathbf{R})\) de déterminant 1.
[oraux/ex8218]
Notant \(\|\ \|\) la norme euclidienne canonique sur \(\mathbf{R}^n\), montrer qu’il existe \(u\in\mathbf{R}^n\) tel que \(\|u\|=\|Au\|=1\).
Établir l’existence de \(\Omega\) et \(\Omega'\) dans \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\) et de \(T\) triangulaire supérieure dont la diagonale ne comporte que des 1 telles que \(A=\Omega T\Omega'\).
[oraux/ex0483] polytechnique MP 2005 Soit \(E\) un espace vectoriel réel de dimension finie muni d’une base \(\mathscr{B}\).
[oraux/ex0483]
Soit \(\varphi\) et \(\psi\) des formes bilinéaires symétriques positives sur \(E\). Montrer que si, pour tout \(x\in E\), \(\varphi(x,x)\leqslant\psi(x,x)\) alors \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}\varphi\leqslant\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}\psi\).
Soit \(\varphi\) une forme bilinéaire symétrique positive sur \(E\). On pose, pour \((z_1,\ldots,z_m)\in E^m\) : \(G(z_1,\ldots,z_m)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(\varphi(z_i,z_j))_{1\leqslant i,j\leqslant m}\). Soit \((x_1,\ldots,x_p,y_1,\ldots,y_q)\in E^{p+q}\). Montrer que \[G(x_1,\ldots,x_p,y_1,\ldots,y_q)\leqslant G(x_1,\ldots,x_p)G(y_1,\ldots,y_q).\]
[oraux/ex8165] centrale MP 2015
[oraux/ex8165]
Soit \(G\) un groupe fini et \(g\in G\). Montrer que \(x\mapsto xg\) est une bijection de \(G\) dans lui-même.
Soit \(U\) une partie de \(\mathscr{M}_n(\mathbf{C})\) irréductible, c’est-à-dire telle que les seuls sous-espaces vectoriels de \(\mathbf{C}^n\) stables par tous les éléments de \(U\) soient \(\{0\}\) et \(\mathbf{C}^n\). Soit \(M\in\mathscr{M}_n(\mathbf{R})\) telle que : \(\forall A\in U\), \(\exists B\in\mathscr{M}_n(\mathbf{C})\), \(MA=BM\). Montrer que \(M\) est nulle ou inversible.
Soient \(G\) un groupe fini, \(\phi_1\) et \(\phi_2\) deux morphismes de groupes de \(G\) dans \(\mathscr{O}_n(\mathbf{R})\) tels que \(\phi_1(G)\) et \(\phi_2(G)\) soient irréductibles. Soit \(M\in\mathscr{M}_n(\mathbf{R})\). Appliquer ce qui précède à \(P=\displaystyle\sum\limits_{g\in G}\phi_2(g)^{-1}M\phi_1(g)\). Que dire de \(\displaystyle\sum\limits_{g\in G}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(\phi_2(g)^{-1})\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(\phi_1(g))\) ?
[planches/ex8754] centrale PC 2022 Pour \(S\in\mathscr{S}_n^{++}(\mathbf{R})\), on note \(O_S=\{M\in\mathscr{M}_n(\mathbf{R})\ :\ M^TSM=S\}\). On pose \(E=\displaystyle\mathop{\bigcap}\limits_{S\in\mathscr{S}_n^{++}(\mathbf{R})}O_S\).
[planches/ex8754]
Montrer que \(O_S\) est borné dans \(\mathscr{M}_n(\mathbf{R})\) pour tout \(S\in\mathscr{S}_n^{++}(\mathbf{R})\). Qu’en déduire sur \(E\) ?
Montrer que \(PMP^{-1}\in E\) pour tout \(M\in E\) et tout \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
Déterminer les matrices \(M\in\mathscr{M}_n(\mathbf{R})\) telles que \(\{PMP^{-1},\ P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\}\) soit bornée.
En déduire que \(E=\{I_n,-I_n\}\).
[concours/ex1348] ens paris MP 1998 Caractériser les applications \(f\) de \(\mathbf{R}^n\) dans \(\mathscr{M}_n(\mathbf{R})\) telles que : \[\forall X\in\mathbf{R}^n\quad\forall O\in\mathscr{O}_n(\mathbf{R})\quad f(OX)=Of(X){}^tO.\]
[concours/ex1348]
[planches/ex7558] ens paris, ens lyon, ens saclay, ens rennes MP 2022 Soient \(A_1\) et \(A_2\) dans \(\mathscr{M}_2(\mathbf{R})\). Montrer l’équivalence entre les conditions suivantes :
[planches/ex7558]
Toute combinaison linéaire de \(A_1\) et \(A_2\) est diagonalisable ;
une, et une seule, des propriétés suivantes est vraie :
toute combinaison linéaire non nulle de \(A_1\) et \(A_2\) admet deux valeurs propres réelles distinctes ;
les matrices \(A_1\) et \(A_2\) sont codiagonalisables ;
il existe \(S\in\mathscr{S}_2^{++}(\mathbf{R})\) telle que, pour toute combinaison linéaire \(A\) de \(A_1\) et \(A_2\), on ait \(SA\in\mathscr{S}_2(\mathbf{R})\).
[oraux/ex0388] mines 2003 Soient \(H_n=\left\{\vphantom{|_|}A\in\mathscr{M}_n(\mathbf{R}),\ {}^tAA=nI_n\hbox{ et }\forall i,j,\ a_{i,j}\in\{-1,1\}\right\}\), \[\widetilde U=\left(\begin{array}{c}1\\\vdots\\1\end{array}\right)\quad\hbox{et} \quad\widetilde V=\sum\limits_{k=1}^nV_k,\] où les \(V_k\) sont les colonnes de \(A\).
[oraux/ex0388]
On note \(\|\ \|\) la norme euclidienne canonique de \(\mathbf{R}^n\).
Calculer \(\langle V_{k_1},V_{k_2}\rangle={}^tV_{k_1}V_{k_2}\), \(\|\widetilde V\|^2\) et \(\|\widetilde U\|^2\). En déduire l’existence de \(\xi\) tel que \(\|\widetilde V\|\times\|\widetilde U\|=n^\xi\).
Soit : \[\begin{array}{rcl}\phi:\mathscr{M}_n(\mathbf{R})&\longrightarrow\mathbf{R}\\ A&\longmapsto&\sum\limits_{i,j}a_{i,j}.\end{array}\] Montrer que \(|\phi(A)|\leqslant n^\xi\).
Montrer que, si \(n\) n’est pas un carré, que l’on n’a jamais égalité.
Dans \(\mathscr{M}_4(\mathbf{R})\), trouver \(A\) telle que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=-4\) et \(\phi(A)=4^\xi\).
Montrer que pour tout \(A\) de \(h_n\) il existe \(\Delta\) et \(\Delta'\) diagonales à coefficients diagonaux dans \(\{-1,1\}\) telles que \(B=\Delta A\Delta'\) soit de la forme : \[\left(\begin{array}{cccc}1&1&\cdots&1\\ 1&*&\cdots&*\\\vdots&\vdots&&\vdots\\1&*&\cdots&*\end{array}\right).\]
[oraux/ex8222] polytechnique, ens cachan PSI 2016
[oraux/ex8222]
Soit \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(d_1,\ldots,d_n)\). Étudier l’image de \(f:X\in\mathscr{M}_n(\mathbf{R})\mapsto DX-XD\).
Soit \((u,v,w)\in\mathbf{R}^3\). Montrer qu’il existe \(x\in\mathbf{R}\) tel que : \[u\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits^2(x)+v\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits^2(x)+w\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(x)\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(x)={u+v\over2}.\]
Soit \((x,y,z)\in\mathbf{R}^3\). Montrer que : \(\left|z-\displaystyle{x+y\over2}\right|\leqslant\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits(|z-x|,|z-y|)\).
On admet la propriété : pour toute \(A\in\mathscr{M}_n(\mathbf{R})\), il existe \(P\) orthogonale telle que \(PAP^{-1}\) ait tous ses coefficients diagonaux égaux. Démontrer l’équivalence entre :
il existe \(X\), \(Y\in\mathscr{M}_n(\mathbf{R})\) telles que \(A=XY-YX\) ;
\(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=0\).
On se propose de démontrer la propriété admise plus haut.
Examiner le cas \(n=2\).
Soit \(\delta:M\in\mathscr{M}_n(\mathbf{R})\mapsto\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits_{1\leqslant i,j\leqslant n}(|m_{i,i}-m_{i,j}|)\). Montrer que \(P\in\mathscr{O}_n(\mathbf{R})\mapsto\delta(PAP^{-1})\) possède un maximum.
Supposons que \(\delta(A)>0\). Montrer qu’il existe \(P\in\mathscr{O}_n(\mathbf{R})\) telle que \(\delta(PAP^{-1})<\delta(A)\). Conclure.
[examen/ex0195] mines PC 2023 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) une matrice trigonalisable.
[examen/ex0195]
Montrer qu’il existe une matrice orthogonale \(\Omega\) et une matrice triangulaire supérieure \(B\) telles que \(A=\Omega B\Omega^T\).
On suppose que \(AA^T=A^TA\). Montrer que \(A\) est diagonalisable.
La réciproque de la question précédente est-elle vraie ?
[examen/ex3864] centrale MP 2025 On pose, pour \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\), \(N(A)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits_{1\leqslant i,j\leqslant n}\left(\displaystyle\frac{|a_{i,j}|+|a_{j,i}|}{2}\right)\).
[examen/ex3864]
Démontrer l’inégalité de Cauchy-Schwarz.
L’application \(N\) est-elle une norme sur \(\mathscr{M}_n(\mathbf{R})\) ?
Soient \(A\in\mathscr{M}_n(\mathbf{R})\) et \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(A)\). Montrer que \(|\lambda|\leqslant nN(A)\).
[examen/ex1088] ens lyon MP 2024 Soient \(X\) un ensemble et \(K:X\times X\to \mathbb{R}\). On suppose que, pour tous \(n\geqslant 1\) et \(x_1\), … , \(x_n\in X\), \((K(x_i,x_j))_{1\leqslant i,j\leqslant n}\in \mathcal{S}_n^+(\mathbb{R})\). Pour \(x\in X\), on note \(K_x:y\mapsto K(x,y)\). Soit \(E\) le sous-espace de \(\mathbb{R}^{X}\) engendré par les fonctions \((K_x)_{x\in X}\).
[examen/ex1088]
Soit \(a\), \(b\in E\). Par définition de \(E\), il existe \((\lambda_x)_{x\in X}\) et \((\mu_x)_{x\in X}\) dans \(\mathbb{R}^X\) n’admettant qu’un nombre fini de coefficients non nuls tels que \(a=\displaystyle\sum\limits_{x\in X}^{}\lambda_xK_x\) et \(b=\displaystyle\sum\limits_{x\in X}^{}\mu_xK_x,\) et on pose \[\langle a,b\rangle=\sum\limits_{x,y\in X}^{}\lambda_x\mu_yK(x,y).\]
Montrer que cela définit bien un produit scalaire sur \(E\).
Montrer qu’il existe \(f:X\to E\) telle que \(\forall x\), \(y\in X\), \(K(x,y)=\langle f(x), f(y) \rangle\).
[oraux/ex8193] ens paris MP 2016 Soient \(n\in\mathbf{N}\) avec \(n\geqslant 2\) et \(\mathscr{L}\) un endomorphisme de \(\mathscr{S}_n(\mathbf{R})\). On suppose que : \(\forall O\in\mathscr{O}_n(\mathbf{R})\), \(\forall S\in\mathscr{S}_n(\mathbf{R})\), \(\mathscr{L}({}^tOSO)={}^tO\mathscr{L}(S)O\). Montrer qu’il existe \(\lambda\) et \(\mu\) dans \(\mathbf{R}\) tels que : \(\forall S\in\mathscr{S}_n(\mathbf{R})\), \(\mathscr{L}(S)=\mu S+\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(S)I_n\).
[oraux/ex8193]
[examen/ex1633] mines MP 2024 Soit \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
[examen/ex1633]
Montrer qu’il existe \(P\in\mathscr{O}_n(\mathbf{R})\) et \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_1,\ldots,\lambda_n)\) avec \(\lambda_i>0\) pour tout \(i\) telles que \(P^TM^TMP=D^2\).
On note \(V_1\), … , \(V_n\) les colonnes de \(MP\).
Soit \(Q\) la matrice dont les colonnes sont \(\displaystyle\frac{1}{\lambda_1}V_1\), … , \(\displaystyle\frac{1}{\lambda_n}V_n\). Montrer que \(Q\in\mathscr{O}_n(\mathbf{R})\).
Montrer qu’il existe \(O\), \(O'\) dans \(\mathscr{O}_n(\mathbf{R})\) telles que \(M=ODO'\).
Montrer le même résultat si \(M\) est non inversible.
[oraux/ex8136] polytechnique, ens cachan PSI 2015
[oraux/ex8136]
Montrer que toute matrice symétrique définie positive est le carré d’une matrice symétrique définie positive.
Montrer que toute matrice \(A\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) peut s’écrire \(A=OS\) avec une matrice \(O\) orthogonale et une matrice \(S\) symétrique définie positive.
Soient \(E\) un espace euclidien de dimension \(n\) et \(d\in[[1,n]]\). Pour tout \((x_1,\ldots,x_d)\in E^d\), on pose \(m(x_1,\ldots,x_d)=|\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}(x_1,\ldots,x_d)|\) si \((x_1,\ldots,x_d)\) est libre, où \(\mathscr{B}\) est une base orthonormale du sous-espace \(\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(x_1,\ldots,x_d)\), et \(m(x_1,\ldots,x_d)=0\) si \((x_1,\ldots,x_d)\) est liée.
On note \(X_d=\left\{\vphantom{|_|}\smash{f\in\mathscr{L}(E),\ \forall(x_1,\ldots,x_d)\in E^d,\ m(f(x_1),\ldots,f(x_d))=m(x_1,\ldots,x_d)}\right\}\).
Justifier la définition de \(m\).
Montrer que les éléments de \(X_d\) sont des automorphismes et que \(X_d\) contient les isométries vectorielles.
On suppose \(d<n\). Quels sont les endomorphismes symétriques de \(X_d\) ? En déduire que \(X_d\) est l’ensemble des isométries vectorielles.
[concours/ex5946] centrale MP 2007
[concours/ex5946]
Soit \(U\in\mathscr{O}_n(\mathbf{R})\) tel qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) et \(p\geqslant 2\) dans \(\mathbf{N}\) tel que \(PUP^{-1}=U^p\). Montrer que toutes les valeurs propres de \(U\) sont des racines de l’unité. En déduire qu’il existe \(m\in\mathbf{N}^*\) tel que \(U^m=I_n\).
Montrer que tout morphisme du groupe \(\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_2(\mathbf{R})\) dans \(\mathscr{O}_n(\mathbf{R})\) est trivial.
[examen/ex1090] ens paris, ens lyon, ens saclay, ens rennes MP 2024 Si \(G\) est un groupe, on note \(Z(G)\) son centre.
[examen/ex1090]
On pose \(\mathscr{U}_n(\mathbf{C})=\{A\in\mathcal M_n(\mathbf{C})\,,\, A^*A=I_n\}\) où \(A^*=\overline{A}^T\), l’ensemble des matrices unitaires.
Montrer que \(Z(G)\) est un sous-groupe de \(G\) et que \(\mathscr{U}_n(\mathbf{C})\) est un sous-groupe de \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\).
Soit \(A\in\mathscr{M}_n(\mathbf{C})\) hermitienne, c’est-à-dire telle que \(A^*=A\). Démontrer qu’il existe \(P\in\mathscr{U}_n(\mathbf{C})\) telle que \(P^*AP\) soit diagonale.
Démontrer que toute matrice \(M\in\mathscr{M}_n(\mathbf{C})\) s’écrit comme combinaison linéaire d’au plus quatre matrices unitaires.
Déterminer \(Z\left(\mathscr{U}_n(\mathbf{C})\right)\).
[examen/ex1083] ens paris, ens lyon, ens saclay, ens rennes MP 2024
[examen/ex1083]
Soit \(A\in\mathscr{S}_n(\mathbf{R})\) à coefficients strictement positifs. Montrer qu’il existe un vecteur propre de \(A\) dont tous les coefficients sont \(>0\).
Soit \(A\in\mathscr{M}_2(\mathbf{R})\) à coefficients \(>0\). Montrer que \(A\) possède un vecteur propre à coefficients \(>0\).
Soient \(a_1\), … , \(a_n\in\mathbf{N}^*\), \(M_i=\pmatrix{a_i& 1\cr1&0}\) pour \(1\leqslant i\leqslant n\). Montrer que \(M_1\times \cdots\times M_n\) est à spectre inclus dans \(\mathbf{R}\setminus \mathbf{Q}\).
[oraux/ex0490] polytechnique PC 2005 Soient \(u\) un vecteur unitaire de l’espace euclidien \(\mathbf{R}^n\) et \(P_u\) le projecteur orthogonal sur \(\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(u)\).
[oraux/ex0490]
Montrer que \(P_u\) est symétrique positif et que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(P_u)=1\).
Soit \(A\in\mathscr{L}(\mathbf{R}^n)\). Calculer \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AP_u)\).
Soient \(A\in\mathscr{S}^+(\mathbf{R}^n)\) telle que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A=1\) et \(x\in\mathbf{R}^n\) unitaire. Montrer que \(\langle x,Ax\rangle\in[0,1]\).
Soient \(A\), \(B\in\mathscr{S}^+(\mathbf{R}^n)\) telles que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits B=1\), et \(c\in\left]0,1\right[\) tel que \(P_u=cA+(1-c)B\). Montrer que \(A=B=P_u\).
[examen/ex2719] ens paris MP 2025 Déterminer l’ensemble des symétries linéaires sur \(\mathscr{S}_n(\mathbf{R})\) qui fixent un hyperplan et stabilisent l’ensemble \(\mathscr{S}_n^{++}(\mathbf{R})\).
[examen/ex2719]
[planches/ex8523] centrale MP 2022 (avec Python)
[planches/ex8523]
Soit \(A\in\mathscr{S}_n(\mathbf{R})\). Pour \(k\in[[1,n]]\), on note \(A_k\) la matrice extraite de \(A\) constituée de ses \(k\) premières lignes et \(k\) premières colonnes, et on pose \(\Delta_k=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A_k)\).
Écrire une fonction qui renvoie une matrice symétrique de taille \(n\), à coefficients aléatoirement choisis dans l’intervalle \([[-20,20]]\).
Écrire une fonction, prenant une matrice carrée \(M\in\mathscr{M}_n(\mathbf{R})\) en argument, et qui renvoie le couple \((\ell_1,\ell_2)\) où \(\ell_1=[\Delta_1,\Delta_2/\Delta_1,\ldots,\Delta_n/\Delta_{n-1}]\) et \(\ell_2\) est la liste des valeurs propres de \(M\).
Tester la fonction précédente sur différentes matrices symétriques. Que constate-t-on ?
Soit \(D_p\in\mathscr{M}_n(\mathbf{R})\) la matrice diagonale dont les \(p\) premiers coefficients sont égaux à 1, et les suivants, égaux à \(-1\). On note \(\mathscr{O}_p=\{P^TD_pP,\ P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\}\).
Montrer que la relation \(\mathscr{R}\), définie par \(A\mathscr{R} B\) s’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) telle que \(A=P^TBP\), est une relation d’équivalence sur \(\mathscr{M}_n(\mathbf{R})\).
Soit \(A\in\mathscr{S}_n(\mathbf{R})\cap\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\). Montrer qu’il existe \(p\in[[0,n]]\) tel que \(A\in\mathscr{O}_p\).
Soient \(p\), \(q\in[[0,n]]\). On suppose qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) telle que \(D_p=Q^TD_qQ\) et on pose \(f:X\in\mathscr{M}_{n,1}(\mathbf{R})\longmapsto X^TD_pX\).
Montrer qu’il existe deux sous-espaces vectoriels de \(\mathscr{M}_{n,1}(\mathbf{R})\) tels que \(\forall X\in F\setminus\{0\}\) (resp. \(G\setminus\{0\}\)), \(f(X)>0\) (resp. \(f(X)<0\)).
En déduire que \(p\leqslant q\), puis que \(p=q\).
Montrer que \((\mathscr{O}_p)_{0\leqslant p\leqslant n}\) est une partition de \(\mathscr{S}_n(\mathbf{R})\cap\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
On suppose que les \(\Delta_k\) sont non nuls et qu’il existe \(Q\in\mathscr{M}_{n-1}(\mathbf{R})\) triangulaire supérieure avec une diagonale de 1 telle que \(Q^TA_n^{-1}Q=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\Delta_1,\Delta_2/\Delta_1,\ldots,\Delta_{n-1}/\Delta_{n-2})\).
Montrer l’existence d’une matrice \(P\in\mathscr{M}_n(\mathbf{R})\) triangulaire supérieure à diagonale de 1 telle que \(P^TAP=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\Delta_1,\Delta_2/\Delta_1,\ldots,\Delta_n/\Delta_{n-1})\).
[oraux/ex7849] polytechnique MP 2013 Soit \(m\in\mathbf{N}\) avec \(m\geqslant 2\). On note \(\omega_1\), … , \(\omega_m\) les racines \(m\)-ièmes de l’unuté. Soit \(A\in\mathscr{M}_n(\mathbf{C})\).
[oraux/ex7849]
Montrer que, pour tout \(z\in\mathbf{C}\) : \(\displaystyle{1\over m}\sum\limits_{j=1}^m\mathop{\prod}\limits_{k\neq j}(1-\omega_kz)=1\).
Montrer que \(\displaystyle{1\over m}\sum\limits_{j=1}^m\mathop{\prod}\limits_{k\neq j}(I_n-\omega_kA)=I_n\).
Soit \(X\in\mathbf{C}^n\) tel que \(X^*X=1\) où \(X^*={}^t\overline X\). Montrer l’existence de \(Z_1\), … , \(Z_m\) dans \(\mathbf{C}^n\) tels que \(1-X^*A^mX=\displaystyle{1\over m}\sum\limits_{j=1}^m(Z_j^*Z_j-\omega_jZ_j^*AZ_j)\).
En déduire que si \(A\) vérifie \(X^*X\leqslant 1\Longrightarrow|X^*AX|\leqslant 1\), alors les puissances de \(A\) aussi.
[planches/ex9198] ens saclay, ens rennes MP 2023 Soit \(n \in \mathbf{N}^*\). On pose \(J=\pmatrix{0_n & -I_n \cr I_n & 0_n}\).
[planches/ex9198]
Déterminer les valeurs propres de \(J\) et leur multiplicité.
Soit \(A \in\mathscr{S}_n^{++}(\mathbf{R})\). Montrer qu’il existe une matrice \(B \in\mathscr{S}_n^{++}(\mathbf{R})\) telle que \(B^2=A\).
Que peut-on dire de la matrice \(BJB\) ?
Lorsque \(A\) est diagonale, calculer les valeurs propres de \(JA\).
Montrer plus généralement que toute valeur propre d’une matrice antisymétrique réelle est imaginaire pure.
[examen/ex1323] polytechnique MP 2024 Pour \(n\in\mathbf{N}^*\), soit \(H_n=\{M\in \mathscr{M}_n(\{-1,1\})\;;\; M^TM=nI_n\}\).
[examen/ex1323]
Déterminer \(H_1\), \(H_2\) et \(H_3\).
Soit \(n\geqslant 4\) tel que \(H_n\neq \varnothing\). Montrer que \(4\) divise \(n\).
À l’aide de \(A\in{H}_n\), construire une matrice \(B\in{H}_{2n}\).
Soit \(p\) un nombre premier tel que \(p\equiv 3\, [4]\). Montrer que \(H_{p+1}\) n’est pas vide.
[concours/ex7801] ens cachan MP 2008 Soit \(M=\left(\begin{array}{cccccc} 2&-1&0&\cdots&0&-1\\ -1&2&-1&0&&0\\ 0&-1&2&\ddots&\ddots&\vdots\\ \vdots&0&\ddots&\ddots&\ddots&0\\ 0&&\ddots&\ddots&\ddots&-1\\ -1&0&\cdots&0&-1&2\end{array}\right)\).
[concours/ex7801]
Montrer que \(M\) est une matrice symétrique positive mais pas strictement positive.
Soit \(f\in C^3(\mathbf{R},\mathbf{C})\), 1-périodique. On pose \(F_n={}^t\left(\vphantom{|_|}f(1/n),f(2/n),\ldots,f(n/n)\right)\). On pose \(N(X)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\{|x_k|,\ 1\leqslant k\leqslant n\}\) lorsque \(X={}^t(x_1,\ldots,x_n)\).
On suppose que \(N(n^2MF_n+F_n)\rightarrow0\). Que dire de \(f\) ?
[planches/ex1462] ens paris MP 2017 Soient \(n\in\mathbf{N}^*\), \(A\) et \(B\) dans \(\mathscr{S}_n(\mathbf{R})\) telles que \(\forall k\in\mathbf{N}^*\), \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A+B)^k=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^k)+\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(B^k)\). Montrer \(AB=0\).
[planches/ex1462]
[oraux/ex0823] centrale PSI 2009 Soient \(E=\mathscr{S}_2(\mathbf{R})\), \(A=\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\in\mathscr{M}_2(\mathbf{R})\) et \(\Phi:S\in E\mapsto AS+S{}^tA\in E\).
[oraux/ex0823]
Donner la matrice de \(\Phi\) dans une base de \(E\).
Quelle relation existe-t-il entre \(\chi_A\) et \(\chi_\Phi\) ?
Si \(\Phi\) est diagonalisable, la matrice \(A\) est-elle diagonalisable ?
Si \(A\) est diagonalisable, l’endomorphisme \(\Phi\) est-il diagonalisable ?
[oraux/ex6649] ens lyon MP 2013 On fixe \(p\) un nombre premier impair. On admet que le groupe multiplicatif \((\mathbf{Z}/p\mathbf{Z})^*\) est cyclique. On note \(E\) le \(\mathbf{C}\)-espace vectoriel des fonctions de \(\mathbf{Z}/p\mathbf{Z}\) dans \(\mathbf{C}\). On munit \(E\) du produit hermitien défini par \((f,g)\mapsto\displaystyle\sum\limits_{x\in\mathbf{Z}/p\mathbf{Z}}\overline{f(x)}g(x)\). On choisit un générateur \(y\) de \((\mathbf{Z}/p\mathbf{Z})^*\). Pour \(j\) dans \(\{0,\ldots,p-2\}\), on définit \(\chi_j\in E\) par \(\chi_j(0)=0\) et \(\chi_j(y^s)=e^{i\textstyle{2\pi js\over p-1}}\) pour tout \(s\in\{0,\ldots,p-2\}\).
[oraux/ex6649]
Montrer que \(\chi_j\) induit un morphisme de groupes de \((\mathbf{Z}/p\mathbf{Z})^*\) dans \(\mathbf{C}^*\).
Pour \(j\in\{0,\ldots,p-2\}\), calculer \(\displaystyle\sum\limits_{x\in\mathbf{Z}/p\mathbf{Z}}\chi_j(x)\).
Que vaut \(\chi_j(-1)\) ?
On note \(e_0\) l’élément de \(E\) défini par \(x\mapsto\delta_{x,0}\). Trouver un complexe \(\lambda\) tel que : \((e_0,\lambda\chi_0,\lambda\chi_2,\ldots,\lambda\chi_{p-2})\) soit une base orthonormée de \(E\).
On fixe un générateur \(\zeta\) du groupe des racines \(p\)-ièmes de l’unité. On note \(\Phi\) l’endomorphisme de \(\mathbf{C}^n\) représenté dans la base canonique par la matrice \((\zeta^{(i-1)(j-1)})_{1\leqslant i,j\leqslant p}\). Calculer \(\Phi^2\), déterminer ses éléments propres. Calculer \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits\Phi\).
[examen/ex4282] ccinp PC 2025 Soit \(n\geqslant 2\). Une matrice \(M\in\mathscr{M}_n(\mathbf{R})\) est dite orthodiagonalisable (resp. orthotrigonalisable) s’il existe une matrice orthogonale \(P\) telle que \(P^TMP\) est diagonale (resp. triangulaire supérieure). Soit \(A\in\mathscr{M}_n(\mathbf{R})\).
[examen/ex4282]
Montrer que si \(A\) est orthodiagonalisable, alors \(A\) est diagonalisable.
Montrer que \(A\) est orthodiagonalisable si et seulement si \(A\) est symétrique.
Donner un exemple de matrice de \(\mathscr{M} _n(\mathbf{R})\) diagonalisable et non symétrique.
Soit \(M\in\mathscr{M} _n(\mathbf{R})\) inversible. On note \((u_1,\dots,u_n)\) le système de ses vecteurs colonnes. On munit \(\mathscr{M}_{n,1}(\mathbf{R})\) de son produit scalaire usuel.
Montrer qu’il existe une base orthonormée \((v_1,\ldots,v_n)\) telle que \[\forall j\in\{1,\dots,n\},\quad u_j=\sum\limits_{i=1}^j\langle u_j,v_i\rangle v_i.\]
Montrer qu’il existe \(Q\) orthogonale et \(R\) triangulaire supérieure telles que \(M=QR\).
Soit \(A\in\mathscr{M} _n(\mathbf{R})\). Montrer que \(A\) est orthotrigonalisable si et seulement si \(A\) est trigonalisable.
Que dire d’une matrice antisymétrique et trigonalisable ?
[oraux/ex8025] polytechnique MP 2014 On munit \(\mathbf{C}^n\) de sa norme hermitienne canonique. Soit \(A\in\mathscr{M}_n(\mathbf{R})\).Montrer que : \[\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{X\in\mathbf{R}^n\setminus\{0\}}{\|AX\|\over\|X\|}=\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{X\in\mathbf{C}^n\setminus\{0\}}{\|AX\|\over\|X\|}.\]
[oraux/ex8025]
[planches/ex5069] mines PSI 2019 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) une matrice symétrique. On pose \(\rho(A)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\{|\lambda|,\ \lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(A)\}\) et on note \(E\) l’ensemble des vecteurs propres de \(A\) de norme 1 (pour la norme euclidienne canonique de \(\mathscr{M}_{n,1}(\mathbf{R})\)). Pour \(X\in E\), on pose \(F(A,X)=\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\left\{\vphantom{|_|}\smash{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left((A-uX{}^tX)^2\right)},\ u\in\mathbf{R}\right\}\) puis \(m(A)=\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\{F(A,X),\ X\in E\}\). Montrer que \(m(A)=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^2)-\rho(A^2)\).
[planches/ex5069]
[concours/ex1061] polytechnique MP 1998
[concours/ex1061]
Soit \(\phi\) une forme bilinéaire sur un espace vectoriel réel \(E\) de dimension finie. On suppose que \(a\) est un élément de \(E\) tel que \(\phi(a,a)\neq0\). On note \(A=\mathbf{R} a\), et \(B=\{y\in E\mid\phi(a,y)=0\}\).
Montrer : \(E=A\oplus B\).
On note \(G\) l’ensemble des endomorphismes \(u\) tels que : \[\forall(x,y)\in E^2\quad\phi(u(x),u(y))=\phi(x,y)\,.\] Montrer que la symétrie par rapport à \(A\) parallèlement à \(B\) est dans \(G\).
Soit \(G'\) le commutant de \(G\). Montrer que, si \(v\in G'\), \(v(a)\) est de la forme \(\lambda_aa\).
Soit \(b\) tel que \(\phi(b,b)\neq0\). Montrer que \(\lambda_a=\lambda_b\). Qu’en déduire sur \(v\) ?
Déterminer \(G'\).
[oraux/ex8295] centrale PSI 2016 Soit \(U\in\mathscr{S}_n(\mathbf{R})\). On cherche une condition nécessaire et suffisante pour qu’il existe une matrice antisymétrique \(V\) telle que \(U+V\) soit orthogonale.
[oraux/ex8295]
On suppose que \(U\) convient. Montrer que \(UV=VU\) et \(I_n=U^2-V^2\). Montrer que si \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(U)\) alors \(\lambda\in[-1,1]\) et si \(\lambda\in\left]-1,1\right[\), alors \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(U-\lambda I_n)\) est de dimension paire.
[oraux/ex5027] polytechnique MP 2012 Soient \(A\) et \(B\) dans \({\cal S}_n(\mathbf{R})\).
[oraux/ex5027]
Soit \(k\in\mathbf{N}\) impair tel que \(A^k+B^k=2I_n\). Montrer que \(2I_n-A-B\in S_n^+(\mathbf{R})\).
Soit \(j\in\mathbf{N}\) tel que \(2I_n-A^{2j}-B^{2j}\in S_n^+(\mathbf{R})\). Montrer que \(2I_n-A^j-B^j\in S_n^+(\mathbf{R})\).
[planches/ex7573] ens lyon MP 2022 Une matrice \(H\) de \(\mathscr{M}_n(\mathbf{C})\) est dite hermitienne lorsque, pour tout \((i,j)\in[[1,n]]^2\), \(h_{i,j}=\overline{h_{j,i}}\) et une telle matrice est dite positive (resp. définie positive) lorsque toutes ses valeurs propres sont réelles positives (resp. réelles strictement positives).
[planches/ex7573]
Déterminer les formes linéaires \(f\) sur \(\mathscr{M}_n(\mathbf{C})\) telles que \(f(I_n)=1\) et \(f(H)\in\mathbf{R}_+\) pour toute \(H\in\mathscr{M}_n(\mathbf{C})\) hermitienne positive.
Déterminer les formes linéaires \(f\) sur \(\mathscr{M}_n(\mathbf{C})\) telles que \(f(I_n)=1\) et \(f(H)\in\mathbf{R}_+^*\) pour toute \(H\in\mathscr{M}_n(\mathbf{C})\) hermitienne définie positive.
[examen/ex1224] ens PC 2024
[examen/ex1224]
Soit \(S\in \mathscr{S}_{n}(\mathbb{R)}\) inversible. Montrer que les assertions sont équivalentes :
\(S\) admet \(k\) valeurs propres positives (comptées avec multiplicité),
il existe des sous-espaces vectoriels \(F\) et \(G\) de \(E\) tels que \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits F=k\), \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits G=n-k\) et \(\forall X\in F\), \(X^{T}SX\geqslant 0\) et \(\forall Y\in G\), \(Y^{T}SY\leqslant 0\).
Soit \(S\in \mathscr{S}_{n}(\mathbb{R)}\) inversible. Soit \(P\in \mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_{n}(\mathbb{R)}\). Montrer que \(P^{T}SP\) et \(S\) ont le même nombre de valeurs propres positives.
[planches/ex4921] mines MP 2019 Soient \(n\in\mathbf{N}^*\), \(\mathscr{U}_n(\mathbf{C})\) l’ensemble des matrices \(M\in\mathscr{M}_n(\mathbf{C})\) telles que \({}^t\overline MM=I_n\).
[planches/ex4921]
Soit \(A\in\mathscr{U}_n(\mathbf{C})\) symétrique. En considérant les parties réelle et imaginaire de \(A\), montrer que \(A\) s’écrit \(e^{iS}\) où \(S\in\mathscr{S}_n(\mathbf{R})\). Réciproque ?
Soit \(A\in\mathscr{M}_n(\mathbf{C})\). Montrer que \(A\in\mathscr{U}_n(\mathbf{C})\) si et seulement si \(A\) s’écrit \(Oe^{iS}\) avec \(O\in\mathscr{O}_n(\mathbf{R})\) et \(S\in\mathscr{S}_n(\mathbf{R})\).
[concours/ex2145] polytechnique M 1995 Soit \(n\in\mathbf{N}^*\) et \((x,y,z)\in\mathbf{R}\times\mathbf{R}^n\times\mathbf{R}^n\). On pose \[M(x,y,z)=\left|\begin{array}{cccccc} x&y_1&y_2&\cdots&\cdots&y_n\\ y_1&z_1&0&\cdots&\cdots&0\\ y_2&0&z_2&0&\cdots&0\\ \vdots&\vdots&\ddots&\ddots&\ddots&\vdots\\ y_{n-1}&0&\cdots&0&z_{n-1}&0\\ y_n&0&\cdots&\cdots&0&z_n \end{array}\right|.\]
[concours/ex2145]
Calculer \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits M(x,y,z)\).
On pose \(S=\{M(x,y,z)\ \hbox{positive}\}\), \(S_0=\{M(x,0,0)\mid x\geqslant 0\}\) et, pour \(1\leqslant i\leqslant n\), \[S_i=\{M\bigl(x,(0,\ldots,y_i,\ldots,0),(0,\ldots,z_i,\ldots,0)\bigr)\mid x\geqslant 0,\ z_i\geqslant 0,\ xz_i=y_i^2\}.\] Montrer que \(S=S_0+S_1+\cdots+S_n\).
[planches/ex1710] polytechnique MP 2017 Soit \(n\in\mathbf{N}^*\). Si \(S\in\mathscr{S}_n(\mathbf{R})\), on appelle espace associé de \(S\) le sous-espace engendré par les sous-espaces propres de \(S\) associés à des valeurs propres non nulles.
[planches/ex1710]
Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Montrer que l’on peut écrire \(S=S^+-S^-\) où \(S^+\) et \(S^-\) sont dans \(\mathscr{S}_n^+(\mathbf{R})\) et où les espaces associés de \(S^+\) et \(S^-\) sont orthogonaux.
Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Montrer qu’il existe un unique \(C\in\mathscr{S}_n^+(\mathbf{R})\) tel que \(C^2=S^2\). On note \(C=|S|\).
Montrer que si \(S=S^+-S^-\) est une décomposition de \(S\) comme en 1), alors \(|S|=S^++S^-\).
Soit \(E_n=\{M\in\mathscr{S}_n^+(\mathbf{R}),\ \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(M)=1\}\). Pour \((S,T)\in E_n^2\), soit \(d(S,T)=\displaystyle{1\over2}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(|T-S|)\).
Indiquer la forme des éléments de \(E_2\). Calculer \(d(S,T)\) pour \(S\) et \(T\) dans \(E_2\).
Montrer, pour \(S\) et \(T\) dans \(E_n\), \(d(S,T)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(R(T-S)),\ R\in P_n\}\) où \(P_n\) désigne l’ensemble des matrices de projecteurs orthogonaux de \(\mathscr{M}_n(\mathbf{R})\).
[concours/ex0351] ens lyon MP 1996 Soit \(A\in\mathscr{M}_{2n}(\mathbf{Z})\) antisymétrique de déterminant non nul. Montrer qu’il existe une matrice \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_{2n}(\mathbf{Z})\) et des entiers uniques \(d_1\), … , \(d_n\) tels que \(d_i\mid d_{i+1}\) pour \(1\leqslant i\leqslant n-1\) et \[{}^tPAP=\pmatrix{ &&&d_1&&0\cr &0&&&\ddots\cr &&&0&&d_n\cr -d_1&&0\cr &\ddots&&&0\cr 0&&-d_n}\]
[concours/ex0351]
[examen/ex2720] ens paris MP 2025 Soit \(H=(H_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{S}_n^{++}(\mathbf{R})\). On suppose que, pour tous \(i\neq j\), \(H_{i,j}\leqslant 0\). Si \((i,j)\in[\![1,n]\!]^2\), on dit que \(i\) et \(j\) sont connectés s’il existe \(m\in\mathbf{N}^*\), \(k_1,\ldots,k_m\in[\![1,n]\!]\) tels que \(k_1=i\), \(k_m=j\) et, pour tout \(\ell\in[\![1,m-1]\!]\), \(H_{k_\ell,k_{\ell+1}}\neq0\).
[examen/ex2720]
Montrer que \(i\) et \(j\) sont connectés si et seulement si \(H^{-1}_{i,j}>0\), où \(H^{-1}_{i,j}\) est le coefficient d’indice \((i,j)\) de \(H^{-1}\).
[concours/ex1956] centrale MP 1999 Soit \(M\) une matrice carrée réelle d’ordre deux de déterminant \(1\) et de trace strictement comprise entre \(-2\) et \(2\). Montrer qu’il existe une matrice \(U\) de déterminant \(1\) et une matrice \(R\) orthogonale directe telle que \(U^{-1}MU=R\).
[concours/ex1956]
[oraux/ex8209] polytechnique MP 2016 Soient \(m\) et \(n\) dans \(\mathbf{N}^*\), \(M\) dans \(\mathscr{M}_{m,n}(\mathbf{R})\). On munit \(\mathbf{R}^m\) et \(\mathbf{R}^n\) de leur structure euclidienne canonique. On note \(S^{n-1}\) (resp. \(S^{m-1}\)) la sphère unité de \(\mathbf{R}^n\) (resp. \(\mathbf{R}^m\)). On note \(\sigma_1=\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\langle u,Mv\rangle,\ u\in S^{m-1},\ v\in S^{n-1}\}\).
[oraux/ex8209]
Montrer qu’il existe \(u_1\) dans \(S^{m-1}\) et \(v_1\) dans \(S^{n-1}\) tels que \(\sigma_1=\langle u_1,Mv_1\rangle\) et que, si \(M\neq0\), \(\sigma_1>0\).
Montrer que \(Mv_1=\sigma_1u_1\) et que \({}^tMu_1=\sigma_1v_1\).
reprendre ces questions avec \(\sigma_2=\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\langle u,Mv\rangle,\ u\in S^{m-1}\cap u_1^\perp,\ v\in S^{n-1}\cap v_1^\perp\}\).
Montrer qu’il existe \(U\) dans \(\mathscr{O}_m(\mathbf{R})\), \(V\) dans \(\mathscr{O}_n(\mathbf{R})\) et \(\Sigma\) dans \(\mathscr{M}_{m,n}(\mathbf{R})\) telles que \(M=U\Sigma V\) et que les seuls coefficients non nuls de \(\Sigma\) soient \(\Sigma_{i,i}\) pour \(1\leqslant i\leqslant r\), tous strictement positifs. Interpréter ces coefficients à l’aide de la matrice \({}^tMM\).
[concours/ex5247] ens MP 2007 Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Donner une condition nécessaire et suffisante sur \(S\) pour qu’il existe \(A\in\mathscr{M}_n(\mathbf{R})\) antisymétrique telle que \(SA\) soit orthogonale.
[concours/ex5247]
[oraux/ex0696] centrale MP 2008 (avec Maple)
[oraux/ex0696]
Déterminer toutes les matrices \(A=(a_{i,j})_{1\leqslant i,j\leqslant 2}\in\mathscr{S}_2(\mathbf{R})\) telles que \(a_{1,1}\) soit égal à la plus petite valeur propre de \(A\).
Déterminer toutes les matrices \(A=(a_{i,j})_{1\leqslant i,j\leqslant 3}\in\mathscr{S}_3(\mathbf{R})\) telles que \(a_{1,1}\) soit égal à la plus petite valeur propre de \(A\) et \(a_{3,3}\) à la plus grande.
[planches/ex9197] ens paris, ens lyon, ens saclay, ens rennes MP 2023 Soient \(A\), \(B\) deux matrices de \(\mathscr{O}_n(\mathbf{R})\) qui n’ont pas \(-1\) pour valeur propre et telles que \(AB\) n’ait pas \(1\) pour valeur propre.
[planches/ex9197]
Montrer que \((A-I_n)(BA-I_n)^{-1}(B-I_n)\) est antisymétrique.
[planches/ex8603] centrale PSI 2022 Pour \(M\in\mathscr{M}_2(\mathbf{C})\), on pose \(M^*=\overline M^T\).
[planches/ex8603]
Soient \(A=\{M\in\mathscr{M}_2(\mathbf{C})\ ;\ M^*=-M,\ \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(M)=0\}\) et \(G=\{M\in\mathscr{M}_2(\mathbf{C})\ ;\ M^*M=I_2,\ \mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(M)=1\}\).
Montrer que \(A\) est un \(\mathbf{R}\)-espace vectoriel et préciser sa dimension.
L’ensemble \(A\) est-il un \(\mathbf{C}\)-espace vectoriel ?
Caractériser \(A\cap G\).
Une matrice appartenant à \(G\) est-elle diagonalisable ?
[planches/ex2978] ens paris MP 2018 Pour \(M\in\mathscr{M}_n(\mathbf{R})\), on pose \(\|M\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)}\). Pour \(r\in\{1,\ldots,n\}\), on note \(E_r\) l’ensemble des matrices de rang \(r\) de \(\mathscr{M}_n(\mathbf{R})\).
[planches/ex2978]
Soit \(A\in\mathscr{M}_n(\mathbf{R})\) et \(\Phi:M\mapsto\|A-M\|\). Montrer qu’il existe une matrice \(A_r\) minimisant \(\Phi\) sur \(E_r\).
Soit \(A\in\mathscr{M}_n(\mathbf{R})\). Montrer qu’il existe \(O\), \(O'\) dans \(\mathscr{O}_n(\mathbf{R})\) et \(\Delta\) diagonale telles que \(A=O\Delta O'\).
[oraux/ex8003] ens lyon MP 2014 Soit \(k\in\mathbf{N}^*\). On note \(N=(n_{i,j})\in\mathscr{M}_k(\mathbf{C})\) définie par \(n_{i,j}=\delta_{i+1,j}\). On fixe \(c\), \(c_1\) et \(c_2\) dans \(\mathbf{R}_+^*\). Montrer qu’il existe une matrice hermitienne \(H\in\mathscr{M}_k(\mathbf{C})\) telle que : \[\forall W\in\mathbf{C}^k,\ W^*HW\geqslant c\sum\limits_{j=1}^k|w_j|^2\hbox{ et }\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(W^*HNW)\leqslant c_1|w_1|^2-c_2\sum\limits_{j=2}^k|w_j|^2.\] Indication : On cherchera \(H\) sous la forme d’une matrice tridiagonale à coefficients hors-diagonale imaginaire purs.
[oraux/ex8003]
[oraux/ex8194] ens paris, ens lyon, ens cachan, ens rennes MP 2016 Soit un entier \(n\) au moins égal à 3. On munit \(\mathbf{R}^n\) de sa structure euclidienne canonique. On note \(E\) l’espace des formes bilinéaires symétriques sur \(\mathbf{R}^n\).
[oraux/ex8194]
Dans \(\mathbf{R}^n\) on donne des vecteurs unitaires \(X\), \(Y\), \(V\), \(W\) tels que \(X\) et \(V\) d’une part, \(Y\) et \(W\) d’autre art, sont orthogonaux. Montrer l’existence de \(G\) dans \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\) tel que \(GX=Y\) et \(GV=W\).
Soit \(B\) un élément de \(E\) tel que \(B(GX,GY)=B(X,Y)\) pour tous \(X\), \(Y\) de \(\mathbf{R}^n\) et \(G\) de \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\). Que peut-on dire de \(B\) ?
Un sous-espace vectoriel \(F\) de \(E\) est dit stable si, pour tout \(B\) de \(F\) et tout \(G\) de \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\), \((X,Y)\mapsto B(GX,GY)\) est dans \(F\). Décrire les sous-espaces stables de \(E\).
[examen/ex2729] ens paris MP 2025 Soit \(n\in\mathbf{N}^*\). On appelle forme quadratique sur \(\mathbf{R}^n\) toute application \(q:\mathbf{R}^n\to\mathbf{R}\) telle qu’il existe \((a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\) telle que \(q(x)=\sum\limits_{1\leqslant i,j\leqslant n}a_{i,j}x_ix_j\) pour tout \(x=(x_1,\ldots,x_n)\in\mathbf{R}^n\). Soit \(G\) un sous-groupe fini de \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) tels que \(\{0\}\) et \(\mathbf{R}^n\) sont les seuls sous-espaces de \(\mathbf{R}^n\) stables par tous les éléments de \(G\). Montrer que les formes quadratiques invariantes par \(G\) constituent une droite vectorielle.
[examen/ex2729]
[oraux/ex7878] mines MP 2013 Soit \(M\in\mathscr{M}_n(\mathbf{R})\) qui commute avec sa transposée. Montrer que \(M\) est orthogonalement semblable à une matrice diagonale par blocs, dont les blocs diagonaux sont de taille 1, ou de taille 2 de la forme \(\pmatrix{\alpha&\beta\cr-\beta&\alpha}\).
[oraux/ex7878]
[planches/ex8748] centrale PC 2022 On munit \(\mathscr{M}_n(\mathbf{R})\) de sa norme euclidienne usuelle : \(\|M\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(M^TM)}\). On considère \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
[planches/ex8748]
Montrer qu’il existe \((S,\Omega)\in\mathscr{S}_n^{++}(\mathbf{R})\times\mathscr{O}_n(\mathbf{R})\) tel que \(M=\Omega S\).
Calculer \(d(M,\mathscr{O}_n(\mathbf{R}))=\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits_{V\in\mathscr{O}_n(\mathbf{R})}\|M-V\|\).
Indication : Montrer que, pour \(V\in\mathscr{O}_n(\mathbf{R})\), \(\|MV\|=\|VM\|=\|M\|\).
[concours/ex3317] centrale M 1993 Soit \(E\) un espace euclidien de dimension \(n\). On considère \(n\) vecteurs \(u_1\), … , \(u_n\) de \(E\) et on note \(G\) la matrice \(\left((u_i\mid u_j)\right)\). Montrer l’équivalence des deux conditions suivantes :
[concours/ex3317]
il existe un projecteur orthogonal \(p\) et une base orthonormale \((e_i)\) tels que \(p(e_i)=u_i\) pour tout \(i\) de \(\{1,\ldots,n\}\) ;
\(\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits G\subset\{0,1\}\).
[planches/ex7568] ens paris, ens lyon, ens saclay, ens rennes MP 2022 Soit \(A\), \(B\) dans \(\mathscr{S}_n(\mathbf{R})\), et \(k\in\mathbf{N}^*\).
[planches/ex7568]
Montrer que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left((AB)^{2^k}\right)\leqslant\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left((A^2B^2)^{2^{k-1}}\right)\).
[planches/ex7560] ens paris MP 2022 Soient \(A\), \(B\in\mathscr{M}_n(\mathbf{R})\) telles qu’il existe \(U\in\mathscr{M}_n(\mathbf{C})\) telle que \(U\overline U^T=I_n\) et \(A=UB\overline U^T\). Montrer qu’il existe \(O\in\mathscr{O}_n(\mathbf{R})\) telle que \(A=OBO^T\).
[planches/ex7560]
[concours/ex1875] ens paris MP 1999 Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\) telle que : \[\forall(i,j)\in\{1,\ldots,n\}^2\quad a_{i,j}\geqslant 0,\quad\sum\limits_{k=1}^na_{i,k}=1,\quad\sum\limits_{k=1}^na_{k,j}=1.\] Soient \(X=(x_i)_{1\leqslant i\leqslant n}\) et \(Y=(y_i)_{1\leqslant i\leqslant n}\) tels que \(0\leqslant x_n\leqslant x_{n-1}\leqslant\cdots\leqslant x_1\) et \(0\leqslant y_n\leqslant y_{n-1}\leqslant\cdots\leqslant y_1\). Montrer que \({}^tXAY\leqslant{}^tXY\).
[concours/ex1875]
Indication : on pourra introduire les suites \((a_i)\) et \((b_i)\) telles que \(x_n=a_n\), \(x_{n-1}=a_n+a_{n-1}\), … , \(x_1=a_n+\cdots+a_1\) et \(y_n=b_n\), \(y_{n-1}=b_n+b_{n-1}\), … , \(y_1=b_n+\cdots+b_1\).
[planches/ex9445] polytechnique MP 2023 On considère dans \(\mathscr{M}_{2n}(\mathbf{R})\) les matrices \(J=\pmatrix{0 & -I_n \cr I_n & 0}\) et \(I=\pmatrix{I_n & 0 \cr0 & I_n}\).
[planches/ex9445]
Soit \(K\in\mathscr{M}_{2n}(\mathbf{R})\) tel que \(K^2=-I\). Montrer que \(K^TJ\in\mathscr{S}_{2n}(\mathbf{R})\) si et seulement si \(J=K^TJK\).
On note \(\mathscr{C}\) l’ensemble des \(K\in\mathscr{M}_{2n}(\mathbf{R})\) telles que \(K^2=-I\) et \(K^TJ\in\mathscr{S}_n^{++}(\mathbf{R})\).
Soit \(K\in\mathscr{C}\). Montrer que \(K+J\) est inversible et que \((K+J)^{-1}(K-J)\) est symétrique.
Soit \(K\in\mathscr{C}\). On pose \(S=(K+J)^{-1}(K-J)\). Montrer que \(SJ+JS=0\).
[planches/ex2022] mines MP 2017 Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Donner une condition nécessaire et suffisante pour qu’il existe \(A\) antisymétrique telle que \(S+A\) soit orthogonale.
[planches/ex2022]
[concours/ex0028] polytechnique MP 1996 Soit \(S=(a_{ij})\) une matrice symétrique réelle dont tous les mineurs principaux sont non nuls. Montrer qu’il existe une matrice \(T\) triangulaire supérieure avec des \(1\) sur la diagonale et une matrice diagonale \(\Delta\) telle que \(S={}^tT\Delta T\) et calculer les termes de \(\Delta\).
[concours/ex0028]
Indication : traiter le cas d’une matrice \((2,2)\) puis le cas général.
[oraux/ex3511] ens lyon MP 2011
[oraux/ex3511]
Déterminer les couples \((A,B)\) de \(\mathscr{S}_n(\mathbf{R})^2\) tels que l’application \(t\mapsto e^{tA}-e^{tB}\) soit bornée sur \(\mathbf{R}\).
Soient \(A\in\mathscr{S}_n(\mathbf{R})\) et \(H=\{P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R}),\ \mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits_{t\in\mathbf{R}}\|Pe^{tA}-e^{tA}\|<{+\infty}\}\). Montrer que \(H\) est un sous-groupe de \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) ; trouver la forme de ses éléments.
[planches/ex7574] ens saclay, ens rennes MP 2022 Soit \(A\in\mathscr{M}_{n,p}(\mathbf{R})\).
[planches/ex7574]
Justifier que \(AA^T\) est diagonalisable à valeurs propres positives.
On note \(\sigma_1\geqslant\cdots\geqslant\sigma_r>0\) ses valeurs propres non nulles (avec multiplicité), et \(S(A)=(\sqrt{\sigma_1},\ldots,\sqrt{\sigma_r})\).
Comparer \(S(A)\) à \(S(A^T)\).
Montrer qu’il existe \(U\) dans \(\mathscr{O}_n(\mathbf{R})\) et \(V\) dans \(\mathscr{O}_p(\mathbf{R})\) telles que \(U^TAV=R=\pmatrix{D&0\cr0&0}\), avec \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\sigma_1,\ldots,\sigma_r)\), où \(S(A)=(\sigma_1,\ldots,\sigma_r)\).
On considère \(A^*=VR^*U^T\), avec \(R^*=\pmatrix{D^{-1}&0\cr0&0}\in\mathscr{M}_{p,n}(\mathbf{R})\). Interpréter géométriquement les matrices \(AA^*\) et \(A^*A\), en commençant par examiner le cas particulier où \(A\) est inversible.
[oraux/ex8267] mines PSI 2016 Soient \(S\in\mathscr{S}_n(\mathbf{R})\) et \(M\in\mathscr{M}_n(\mathbf{R})\). Montrer qu’il existe \(\Omega\in\mathscr{O}_n(\mathbf{R})\) telle que \(\Omega S=M\Omega\) si et seulement si \(M\in\mathscr{S}_n(\mathbf{R})\) et \(\chi_S=\chi_M\).
[oraux/ex8267]
[planches/ex7572] ens paris, ens lyon, ens saclay, ens rennes MP 2022 Pour \(A\in\mathscr{M}_n(\mathbf{R})\), on note \(C(A)\) sa comatrice. Soit \(U\), \(V\) deux vecteurs unitaires de \(\mathbf{R}^n\). On note \(P\) et \(Q\) les matrices canoniquement associées aux projections orthogonales sur \(\{U\}^\perp\) et \(\{V\}^\perp\), respectivement. Montrer que \(C(P)C(Q)C(P)=\langle U,V\rangle^2C(P)\).
[planches/ex7572]
[concours/ex2430] ens paris M 1995 Soit \(G=O_2(\mathbf{R})\) le groupe des matrices orthogonales de \(\mathscr{M}_2(\mathbf{R})\). Soit \(F\in\mathbf{R}[x_1,x_2,x_3,x_4]\). Si \(x=(x_1,x_2)\) et \(y=(y_1,y_2)\) sont dans \(\mathbf{R}^2\), on note \(F(x,y)=F(x_1,x_2,y_1,y_2)\). On fait agir \(G\) sur \(\mathbf{R}[x_1,x_2,x_3,x_4]\) par \(gF(x,y)=F(gx,gy)\). On suppose enfin que, pour tout \(g\) de \(G\), on a \(gF=F\).
[concours/ex2430]
Soit \(K(a,b,c)=F(a,0,b,c)\). Montrer que \(K\) est un polynôme en \(a^2\), \(b^2\), \(c^2\), \(ab\).
Montrer qu’il existe \(N\in\mathbf{R}[u,v,w]\) et \(\alpha\in\mathbf{N}\) tels que, pour tout \(x\), \(y\) de \(\mathbf{R}^2\) : \[F(x,y)={N\left((x|x),(y|y),(x|y)\right)\over(x|x)^\alpha}.\]
Soit \(R\in\mathbf{R}[u,v,w]\) tel que, pour tout \(x\), \(y\) de \(\mathbf{R}^2\), on ait : \[R\left((x|x),(y|y),(x|y)\right)=0.\] Montrer que \(R=0\).
En déduire que \(F\) est de la forme \(H\left((x|x),(y|y),(x|y)\right)\) où \(H\in\mathbf{R}[u,v,w]\).
[oraux/ex5581] centrale MP 2012 On note \({\cal S}_n(\mathbf{R}^+)\) l’ensemble des matrices réelles symétriques de taille \(n\) à coefficients positifs.
[oraux/ex5581]
Une matrice de \({\cal S}_n(\mathbf{R}^+)\) peut-elle avoir une valeur propre strictement négative ? Que des valeurs propres strictement négatives ?
Soient \(A\in {\cal S}_n(\mathbf{R}^+)\), \(\lambda_1\leqslant\cdots\leqslant\lambda_n\) ses valeurs propres, \((X_1,\ldots ,X_n)\) une base orthonormée telle que \(\forall i\in\{1,\ldots ,n\}\,\;A\,X_i=\lambda_i\,X_i\).
Pour \(\alpha\in\mathbf{R}\), on pose \(B(\alpha)=\left( \begin{array}{c|c} A&\alpha\,X_n\\ \hline \alpha\,{}^t\; X_n&0 \end{array}\right)\).
Montrer que \(\lambda_1\),…, \(\lambda_{n-1}\) sont des valeurs propres de \(B(\alpha)\).
On note \(\beta\) et \(\gamma\) les deux autres valeurs propres de \(B(\alpha)\). Exprimer \(\beta+\gamma\) et \(\beta\,\gamma\) en fonction de \(\lambda_n\) et \(\alpha\).
Trouver \(A\in {\cal S}_2(\mathbf{R}^+)\) de valeurs propres \(-1\) et \(2\), et \(\alpha\in\mathbf{R}\) tels que \(B(\alpha)\) ait pour valeurs propres \(-1\), \(-2\) et \(4\).
[oraux/ex8157] mines PC 2015 Soient \((E,\langle\ ,\ \rangle)\) un espace euclidien et \(u\in\mathscr{O}(E)\). Soit \(\lambda\in\mathbf{R}\) une valeur propre de \(u\). Montrer que la dimension de l’espace propre associé à la valeur propre \(\lambda\) est égal à la multiplicité de cette valeur propre dans le polynôme caractéristique.
[oraux/ex8157]
[examen/ex3257] mines MP 2025 Soient \(n\), \(m\in\mathbf{N}^*\), \(S\in\mathscr{S}_m(\mathbf{R})\). On pose \(A=\left(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(S^{i+j-2})\right)_{1\leqslant i,j\leqslant n}\). Montrer que \(\mathop{\mathchoice{\hbox{rg}}{\hbox{rg}}{\mathrm{rg}}{\mathrm{rg}}}\nolimits(A)=\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits(n,\mathop{\mathchoice{\hbox{deg}}{\hbox{deg}}{\mathrm{deg}}{\mathrm{deg}}}\nolimits(\pi_S))\), où l’on a noté \(\pi_S\) le polynôme minimal de \(S\).
[examen/ex3257]
[oraux/ex0929] centrale PC 2010 Soit \(A\in\mathscr{S}_n(\mathbf{R})\). On cherche à écrire \(A={}^tLL\) où \(L\) est triangulaire inférieure à coefficients diagonaux strictement positifs.
[oraux/ex0929]
Étudier l’existence de \(L\) pour \(A=\left(\begin{array}{cc}8&5\\5&4\end{array}\right)\), \(A=\left(\begin{array}{cc}4&6\\6&1\end{array}\right)\), \(A=\left(\begin{array}{cccc}1&2&3&4\\2&4&10&12\\3&10&25&14\\ 4&12&14&35\end{array}\right)\).
Trouver une relation entre \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A\) et \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits L\).
Si \(L\) existe, montrer que : \(\forall i\in\{1,\ldots,n\}\), \(a_{i,,i}>0\). Est-ce suffisant ?
[oraux/ex0635] ens lyon PC 2008 On se place dans \(\mathbf{R}^{2n}\) muni du produit scalaire canonique. Soit \(E\) le sous-espace vectoriel engendré par les \(n\) premiers vecteurs de la base canonique. On appelle \(\pi\) la projection orthogonale sur \(E\). Soit \(\varphi\in\mathscr{L}(E)\) telle que \(\forall x\in E\), \(\|\varphi(x)\|\leqslant\|x\|\). Montrer qu’il existe \(\sigma\in\mathscr{O}(\mathbf{R}^{2n})\) tel que \(\varphi=\pi\mathbin{\circ}\sigma_{|E}\).
[oraux/ex0635]
[oraux/ex0874] polytechnique, ens cachan PSI 2010 Soient \(\Omega=\{\omega_1,\ldots,\omega_N\}\) un ensemble à \(N\geqslant 1\) éléments, \(A_1\), … , \(A_p\) des parties de \(\Omega\). Pour \((i,j)\in\{1,\ldots,p\}^2\), on pose \(B_{i,j}=(A_i\cup A_j)\setminus(A_i\cap A_j)\), et on note \(b_{i,j}\) la cardinal de \(b_{i,j}\). Soit \((n_1,\ldots,n_p)\in\mathbf{Z}^p\) tel que \(n_1+\cdots+n_p=1\). On veut montrer que \(\displaystyle\sum\limits_{1\le qi,j\leqslant p}n_in_jb_{i,j}\leqslant 0\).
[oraux/ex0874]
Soit \(E=(e_{i,j})_{1\leqslant i\leqslant p,\ 1\leqslant j\leqslant N}\in\mathscr{M}_{N,p}(\mathbf{R})\) où \(e_{i,j}=1\) si \(\omega_i\in A_j\) et \(e_{i,j}=0\) sinon. Soit \(F={}^tEE\). On pose \(F=(f_{i,j})_{1\leqslant i,j\leqslant p}\). Exprimer \(f_{i,j}\) en fonction de \(a_{i,j}=\mathop{\mathchoice{\hbox{card}}{\hbox{card}}{\mathrm{card}}{\mathrm{card}}}\nolimits(A_i\cap A_j)\).
Montrer qu’il existe \(X\in\mathbf{Z}^p\) que l’on déterminera tel que \({}^tXX=\displaystyle\sum\limits_{1\leqslant i,j\leqslant p}n_in_ja_{i,j}\).
Montrer que : \(\displaystyle\sum\limits_{1\leqslant i,j\leqslant p}n_in_ja_{i,j}\geqslant\displaystyle\sum\limits_{i=1}^pn_ia_{i,i}\). En déduire l’inégalité souhaitée.
[examen/ex2235] centrale MP 2024
[examen/ex2235]
Soit \(M\in\mathscr{S}_d(\mathbb{R})\). Montrer que le spectre de \(M\) est inclus dans \(\mathbf{R}^+\) si et seulement si \(\forall x\in\mathbb{R}^d\), \(\langle Mx,x\rangle\geqslant 0\).
Soient \(M_1\), … , \(M_n\in\mathscr{M}_d(\mathbb{R})\) telles que \(\displaystyle\sum\limits_{i=1}^nM_i^TM_i=I_d\). On pose, pour \(X\in\mathscr{S}_d(\mathbf{R})\), \(\mathscr{L}(X)=\displaystyle\sum\limits_{i=1}^nM_i^TXM_i\). Montrer que \(\mathscr{L}\) préserve le caractère symétrique positif.
Donner \(p\in\mathbb{N}\), \(\Pi:\mathscr{M}_d(\mathbb{R})\rightarrow\mathscr{M}_p(\mathbb{R})\) morphisme d’algèbre vérifiant \(\Pi(X^T)=\Pi(X)^T\) et \(V\in\mathscr{M}_{p,d}(\mathbb{R})\) vérifiant \(V^TV=I_d\) tels que \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(\mathscr{L}(X)=V^T\Pi(X)V\).
Pour \(M\), \(N\in\mathscr{M}_d(\mathbb{R})\), on note \(M\geqslant N\) si et seulement si \(M-N\) est symétrique positive.
Montrer \(\mathscr{L}(X^TX)\geqslant\mathscr{L}(X^T)\mathscr{L}(X)\).
On suppose qu’il existe \(\mathscr{K}\) du même type que \(\mathscr{L}\) tel que \(\mathscr{L}\mathbin{\circ}\mathscr{K}=\mathscr{K}\mathbin{\circ}\mathscr{L}=\mathscr{I}\). Montrer que : \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(\mathscr{L}(X^TX)=\mathscr{L}(X^T)\mathscr{L}(X)\).
[oraux/ex0850] ens MP 2010 Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\) à coefficients positifs. On suppose que : \(\forall i\in\{1,\ldots,n\}\), \(a_{i,1}+a_{i,2}+\cdots+a_{i,n}=1\), qu’il existe \(n_0\in\mathbf{N}^*\) tel que \(A^{n_0}\) ait tous ses coefficients strictement positifs, et qu’il existe \((u_1,\ldots,u_n)\in(\mathbf{R}_+^*)^n\) tel que : \(\forall(i,j)\in\{1,\ldots,n\}^2\), \(u_ia_{i,j}=u_ja_{j,i}\).
[oraux/ex0850]
On pose, pour \(x\) et \(y\) dans \(\mathscr{M}_{n,1}(\mathbf{R})\), \(\phi(x,y)=\sum\limits_{i=1}^nu_ix_iy_i\). Montrer que \(\phi\) est un produit scalaire.
Montrer que toutes les valeurs propres complexes de \(A\) sont dans l’intervalle \(\left]-1,1\right]\).
Montrer que 1 est racine simple du polynôme caractéristique de \(A\).
[planches/ex7569] ens saclay, ens rennes MP 2022 Soit \(A\in\mathscr{S}_n(\mathbf{R})\) et \(X_0\in\mathbf{R}^n\setminus\{0\}\). Pour \(k\in\mathbf{N}\), on pose \(V_k:=\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(A^iX0)_{0\leqslant i\leqslant k}\).
[planches/ex7569]
Montrer qu’il existe \(k_0\in\mathbf{N}\) tel que \(\forall k\in[[0,k_0]]\), \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits V_k=k+1\) et \(\forall k>k_0\), \(V_k=V_{k_0}\).
On définit par récurrence \((v_i)_{0\leqslant i\leqslant k_0}\) par \(v_0=\displaystyle{1\over\|X_0\|}X0\), \(\widetilde v_j:=Av_{j-1}-\displaystyle\sum\limits_{i=0}^{j-1}\langle Av_{j-1},v_i\rangle v_i\) pour tout \(j\in[[1,k_0]]\), \(v_j=\displaystyle{1\over\|\widetilde v_j\|}\widetilde v_j\). Montrer que cette famille est bien définie et est une base orthonormale de \(V_{k_0}\).
Montrer que \(\widetilde v_j-Av_{j-1}\in\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(v_{j-1},v_{j-2})\) pour tout \(j\in[[1,k_0]]\), où \(v_{-1}:=0\).
On définit la matrice \(T\in\mathscr{S}_{k_0+1}(\mathbf{R})\) par \(t_{i,i}=\langle Av_i,v_i\rangle\), \(t_{i,i+1}=t_{i+1,i}=\|\widetilde v_{i+1}\|\) et \(t_{i,j}=0\) pour tout couple \((i,j)\in[[0,k0]]^2\) tel que \(|i-j|>1\). Montrer que \(T\) a le même spectre que l’endomorphisme induit par \(X\longmapsto AX\) sur \(V_{k_0}\).
[oraux/ex0633] polytechnique, ens cachan PSI 2008 Soit \((E,\langle\ ,\ \rangle)\) un espace euclidien. Si \(v\in E\setminus\{0\}\), soit \(\varphi_v:x\in E\mapsto2\displaystyle{\langle v,x\rangle\over\langle u,v\rangle}\) et \(I_v=\{w\in E,\ \varphi_v(w)\in\mathbf{Z}\}\).
[oraux/ex0633]
Déterminer \(I_v\).
Deux vecteurs non colinéaires \(v\) et \(w\) sont dits en position radicielle si \(v\in I_w\) et \(w\in I_v\). Montrer que l’ensemble des vecteurs en position radicielle avec \(v\) est stable par toute transformation orthogonale dont \(v\) est vecteurs propre. Montrer que si \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits E=2\) cet ensemble est la réunion de \(v^\perp\setminus\{0\}\) et d’un ensemble fini à préciser. Généraliser en dimension quelconque.
[planches/ex5862] polytechnique MP 2020 Soient \(n\) et \(p\) deux éléments de \(\mathbf{N}^*\) tels que \(n\geqslant p\), \(A\in\mathscr{S}_n(\mathbf{R})\), \(B\in\mathscr{M}_{n,p}(\mathbf{R})\) et \[S=\pmatrix{A&B\cr B^T&0}.\] Montrer que \(S\) est inversible si et seulement s’il existe \(C\in\mathscr{M}_{n,n-p}(\mathbf{R})\) de rang \(n-p\) telle que \(C^TB=0\) et \(C^TAC\) soit inversible.
[planches/ex5862]
[oraux/ex0909] centrale MP 2010 Soient \(n\in\mathbf{N}^*\) et \(U\in\mathscr{S}_n(\mathbf{R})\). On cherche une condition nécessaire et suffisante sur \(U\) pour qu’il existe \(V\in\mathscr{A}_n(\mathbf{R})\) telle que \(U+V\) soit dans \(\mathscr{O}_n(\mathbf{R})\).
[oraux/ex0909]
On suppose dans cette question qu’une telle matrice \(V\) existe.
Montrer que \(UV=VU\) et que \(U^2-V^2=I_n\).
En déduire que toute valeur propre \(\lambda\) de \(U\) est dans \([-1,1]\) et que, si \(|\lambda|<1\), alors \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits\left(\vphantom{|_|}\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(U-\lambda I_n)\right)\) est paire.
Réciproquement, soit \(U\in\mathscr{S}_n(\mathbf{R})\) telle que \(\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(U)\subset[-1,1]\) et que, pour tout \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(U)\cap\left]-1,1\right[\), la dimension de \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(U-\lambda I_n)\) est paire. Établir l’existence de \(V\in\mathscr{A}_n(\mathbf{R})\) telle que \(U+V\in\mathscr{O}_n(\mathbf{R})\).
[examen/ex1220] ens PC 2024 Soit \(n\in\mathbf{N}\) et \(M\in\mathscr{S}_n(\mathbf{R})\). En notant \((s_1,\ldots ,s_n)\) les valeurs propres de \(M\), on pose \(N_p(M) = \left(\displaystyle\sum\limits_{i=1}^n |s_i|^p\right)^{1/p}\).
[examen/ex1220]
Montrer que \((A,B)\mapsto \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AB)\) est un produit scalaire sur \(\mathscr{S}_n(\mathbf{R})\). En déduire que \(N_2\) est une norme sur \(\mathscr{S}_n(\mathbf{R})\).
Montrer que \(N_1(M) = \mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{|\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits (MO)|,\; O\in \mathscr{O}_n(\mathbf{R})\}\). En déduire que \(N_1\) est une norme sur \(\mathscr{S}_n(\mathbf{R})\).
[planches/ex5863] polytechnique MP 2020 Soient \(M\in\mathscr{S}_n(\mathbf{R})\), \(P\in\mathscr{O}_n(\mathbf{R})\) et \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_1,\ldots,\lambda_n)\) telles que \(M=P^{-1}DP\). Pour \(j\in\{1,\ldots,n\}\), on note \(M_j\) la sous-matrice de \(M\) obtenue en retirant les \(j\)-èmes ligne et colonne, et \(\lambda_1(M_j)\), … , \(\lambda_{n-1}(M_j)\) ses valeurs propres.
[planches/ex5863]
Montrer que pour tout \((i,j)\in\{1,\ldots,n\}^2\), \[p_{i,j}^2\mathop{\prod}\limits_{k\in\{1,\ldots,n\}\setminus\{j\}}(\lambda_j-\lambda_k)=\mathop{\prod}\limits_{\ell=1}^{n-1}(\lambda_j-\lambda_\ell(M_i)).\]
[oraux/ex0753] polytechnique MP 2009 Soient \(n\) dans \(\mathbf{N}^*\), \(A\) et \(B\) dans \(\mathscr{M}_{2n}(\mathbf{R})\) antisymétriques. Montrer que le polynôme caractéristique de \(AB\) est scindé sur \(\mathbf{R}\) et que ses racines sont d’ordre pair.
[oraux/ex0753]
[examen/ex1617] mines MP 2024 Soit \(E\) un espace réel de dimension \(n\geqslant 2\). Lorsque \(\Phi\) est un produit scalaire sur \(E\), on note \(\mathscr{O}_{\Phi}(E)\) le groupe des isométries pour \(\Phi\), et \(\mathscr{S}_{\Phi}^{++}(E)\) l’ensemble des endomorphismes autoadjoints définis positifs pour \(\Phi\).
[examen/ex1617]
On fixe un produit scalaire \(\Phi\). Montrer que les propositions suivantes sont équivalentes :
\(\Psi\) est un produit scalaire,
\(\exists a\in\mathscr{S}_{\Phi}^{++}(E)\), \(\Psi(x,y)=\Phi(a(x),y)\).
Soit \(u\in\mathscr{O}_{\Phi}(E)\). Déterminer une condition nécessaire et suffisante pour que \(u\in\mathscr{O}_{\Psi}(E)\) (on utilisera l’endomorphisme \(a\) de la question précédente).
Soit \(P\) l’ensemble des produits scalaires sur \(E\). Déterminer \(\mathop{\bigcap}\limits\limits_{\Psi \in P}\mathscr{O}_{\Psi}(E)\).
Vous pouvez pré-filtrer l'affichage des exercices, en imposant par exemple uniquement des exercices posés aux concours