[examen/ex3271] mines MP 2025 Soit \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
[examen/ex3271]
Montrer qu’il existe un unique couple \((O,S)\in\mathscr{O}_n(\mathbf{R})\times\mathscr{S}_n^{++}(\mathbf{R})\) tel que \(M=OS\).
Calculer \(\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AM),\ A\in\mathscr{O}_n(\mathbf{R})\}\).
[planches/ex2469] centrale MP 2017
[planches/ex2469]
Soit \(S\in\mathscr{S}_n(\mathbf{R})\). On note \(\lambda_1\leqslant\cdots\leqslant\lambda_n\) les valeurs propres de \(S\).
On pose \(\Omega=\{PSP^{-1},\ P\in\mathscr{O}_n(\mathbf{R})\}\). Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\Omega\).
Montrer que, pour \(k\in[[1,n]]\), \(a_{k,k}\in[\lambda_1,\lambda_n]\).
Soit \(\varphi:\mathbf{R}\rightarrow\mathbf{R}\) convexe. Montrer \(\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\left\{\displaystyle\sum\limits_{k=1}^n\varphi(a_{k,k}),\ A\in\Omega\right\}=\displaystyle\sum\limits_{k=1}^n\varphi(\lambda_k)\).
Soient \((E,\langle\ ,\ \rangle)\) un espace euclidien et \(f:\mathbf{R}\rightarrow\mathbf{R}\) convexe. Si \(u\in\mathscr{S}(E)\) et si \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(u)\), 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}})\). On pose \(f(u)=\displaystyle\sum\limits_{\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(u)}f(\lambda)p_{\lambda,u}\).
Soient \(v\), \(w\in\mathscr{S}(E)\) et \(t\in[0,1]\).
Montrer \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left(\vphantom{|_|}f((1-t)v+tw)\right)\leqslant(1-t)\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(f(v))+t\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(f(w))\).
[oraux/ex8168] centrale MP 2015 (avec Python)
[oraux/ex8168]
Python
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]
Maple
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.
Vous pouvez paramétrer ce qui s'affiche lorsque vous survolez un énoncé, voire ne rien afficher