Édition de feuilles d'exercices

[oraux/ex8218] polytechnique MP 2016 Soient \(n\in\mathbf{N}^*\), \(A\in\mathscr{M}_n(\mathbf{R})\) de déterminant 1.

1. Notant \(\|\ \|\) la norme euclidienne canonique sur \(\mathbf{R}^n\), montrer qu’il existe \(u\in\mathbf{R}^n\) tel que \(\|u\|=\|Au\|=1\).

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

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

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

3. Montrer que, si \(n\) n’est pas un carré, que l’on n’a jamais égalité.

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

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

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

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

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

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

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