[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/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\}\).
[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/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]
[oraux/ex0696] centrale MP 2008 (avec Maple)
[oraux/ex0696]
Maple
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.
[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/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]
[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)\).
[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]
[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/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/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.
[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\).
[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/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\).
[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)\).
[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]
[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 ?
[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/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.
Vous pouvez choisir d'afficher ou non des icônes pour savoir si les exercices possèdent une solution