[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/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.
[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\).
[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 ?
[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/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.
[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)\).
[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))\) ?
[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/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\).
[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.
[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]
[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/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\).
[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]
[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\) ?
[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.
[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.
[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]
[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/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})\).
[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})\).
[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]
[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]\).
[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]
[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]
[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}\).
[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/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.
[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]
[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.
Conclure.
[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/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})\).
[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.
[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/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.
[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\|\).
[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/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/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]
[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.
[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/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]
[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/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\).
[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]
[planches/ex8523] centrale MP 2022 (avec Python)
[planches/ex8523]
Python
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})\).
[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'\).
[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\).
[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]
Le clic droit sur un énoncé ou sur une référence d'exercice permet d'examiner cet exercice sur une page dédiée