Édition de feuilles d'exercices

[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.

[concours/ex3599] mines M 1992 Soit \(E\) un espace euclidien de dimension \(n\), \(f\) et \(g\) deux éléments de \(O(E)\).

1. 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\).

2. 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\).

[planches/ex6087] ens saclay, ens rennes MP 2021

1. 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)\).

2. Montrer le sens direct.

3. 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\}\).

4. 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\).

5. Conclure.

[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.

[planches/ex8524] centrale MP 2022 (avec Python)

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.

1. 1. Coder une fonction Python qui renvoie la matrice \(\Omega_{p,q}(\theta)\).

   2. 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}|\).

   3. 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}}\).

2. Avec les notations précédentes, montrer que \(B\) est symétrique et de même norme euclidienne canonique que \(A\).