[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.
[planches/ex5065] mines PSI 2019 Soit \(E\) un espace euclidien et \(u\) un endomorphisme symétrique de \(E\) de trace nulle. Montrer qu’il existe une base orthonormée dans laquelle la matrice de \(u\) est à diagonale nulle.
[planches/ex5065]
[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]
[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.
[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.
[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/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/ex7853] polytechnique MP 2013 Soient \(n\in\mathbf{N}^*\) et \(A\in\mathscr{M}_n(\mathbf{R})\). Montrer qu’il existe \(P\in\mathscr{O}_n(\mathbf{R})\) telle que \({}^tAA=P(A{}^tA)P^{-1}\).
[oraux/ex7853]
[examen/ex3714] mines PC 2025 Soit \(A\in\mathscr{M}_n(\mathbf{R})\). Montrer que les matrices \(AA^T\) et \(A^TA\) sont semblables.
[examen/ex3714]
[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\) ?
[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/ex3166] mines MP 2025
[examen/ex3166]
Définir la fonction indicatrice d’Euler puis exprimer \(\varphi(n)\) en fonction de la décomposition primaire de \(n\in\mathbf{N}^*\).
Montrer que, pour tout \(n\in\mathbf{N}^*\), \(n=\displaystyle\sum\limits_{d|n}\varphi(d)\).
En déduire le déterminant de la matrice \((i\wedge j)_{0\leqslant i,j\leqslant n}\in\mathscr{M}_{n+1}(\mathbf{R})\).
[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\}\).
Sur les pages de résultats, vous pouvez modifier l'ordre des énoncés