Édition de feuilles d'exercices

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

1. Montrer que \(P_u\) est symétrique positif et que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(P_u)=1\).

2. Soit \(A\in\mathscr{L}(\mathbf{R}^n)\). Calculer \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AP_u)\).

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

4. 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/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}^*\).

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

[planches/ex9197] ens paris, ens lyon, ens saclay, ens rennes MP 2023 Soient \(A\), \(B\) deux matrices de \(\mathscr{O}_n(\mathbf{R})\) qui n’ont pas \(-1\) pour valeur propre et telles que \(AB\) n’ait pas \(1\) pour valeur propre.

Montrer que \((A-I_n)(BA-I_n)^{-1}(B-I_n)\) est antisymétrique.

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

1. Montrer que \(\chi_j\) induit un morphisme de groupes de \((\mathbf{Z}/p\mathbf{Z})^*\) dans \(\mathbf{C}^*\).

2. Pour \(j\in\{0,\ldots,p-2\}\), calculer \(\displaystyle\sum\limits_{x\in\mathbf{Z}/p\mathbf{Z}}\chi_j(x)\).

3. Que vaut \(\chi_j(-1)\) ?

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

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

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

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

[examen/ex1633] mines MP 2024 Soit \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).

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

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

3. Montrer qu’il existe \(O\), \(O'\) dans \(\mathscr{O}_n(\mathbf{R})\) telles que \(M=ODO'\).

4. Montrer le même résultat si \(M\) est non inversible.

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

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

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

3. Soit \(K\in\mathscr{C}\). On pose \(S=(K+J)^{-1}(K-J)\). Montrer que \(SJ+JS=0\).

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

1. Calculer \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits M(x,y,z)\).

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

1. Montrer que \(M\) est une matrice symétrique positive mais pas strictement positive.

2. 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/ex0483] polytechnique MP 2005 Soit \(E\) un espace vectoriel réel de dimension finie muni d’une base \(\mathscr{B}\).

1. Soit \(\varphi\) et \(\psi\) des formes bilinéaires symétriques positives sur \(E\). Montrer que si, pour tout \(x\in E\), \(\varphi(x,x)\leqslant\psi(x,x)\) alors \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}\varphi\leqslant\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}\psi\).

2. Soit \(\varphi\) une forme bilinéaire symétrique positive sur \(E\). On pose, pour \((z_1,\ldots,z_m)\in E^m\) : \(G(z_1,\ldots,z_m)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(\varphi(z_i,z_j))_{1\leqslant i,j\leqslant m}\). Soit \((x_1,\ldots,x_p,y_1,\ldots,y_q)\in E^{p+q}\). Montrer que \[G(x_1,\ldots,x_p,y_1,\ldots,y_q)\leqslant G(x_1,\ldots,x_p)G(y_1,\ldots,y_q).\]