Édition de feuilles d'exercices

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

[planches/ex2978] ens paris MP 2018 Pour \(M\in\mathscr{M}_n(\mathbf{R})\), on pose \(\|M\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)}\). Pour \(r\in\{1,\ldots,n\}\), on note \(E_r\) l’ensemble des matrices de rang \(r\) de \(\mathscr{M}_n(\mathbf{R})\).

1. Soit \(A\in\mathscr{M}_n(\mathbf{R})\) et \(\Phi:M\mapsto\|A-M\|\). Montrer qu’il existe une matrice \(A_r\) minimisant \(\Phi\) sur \(E_r\).

2. Soit \(A\in\mathscr{M}_n(\mathbf{R})\). Montrer qu’il existe \(O\), \(O'\) dans \(\mathscr{O}_n(\mathbf{R})\) et \(\Delta\) diagonale telles que \(A=O\Delta O'\).

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

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

2. Montrer que \(\displaystyle{1\over m}\sum\limits_{j=1}^m\mathop{\prod}\limits_{k\neq j}(I_n-\omega_kA)=I_n\).

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

4. En déduire que si \(A\) vérifie \(X^*X\leqslant 1\Longrightarrow|X^*AX|\leqslant 1\), alors les puissances de \(A\) aussi.

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

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