Édition de feuilles d'exercices

[oraux/ex5027] polytechnique MP 2012 Soient \(A\) et \(B\) dans \({\cal S}_n(\mathbf{R})\).

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

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

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

[examen/ex1083] ens paris, ens lyon, ens saclay, ens rennes MP 2024

1. Soit \(A\in\mathscr{S}_n(\mathbf{R})\) à coefficients strictement positifs. Montrer qu’il existe un vecteur propre de \(A\) dont tous les coefficients sont \(>0\).

2. Soit \(A\in\mathscr{M}_2(\mathbf{R})\) à coefficients \(>0\). Montrer que \(A\) possède un vecteur propre à coefficients \(>0\).

3. Soient \(a_1\), … , \(a_n\in\mathbf{N}^*\), \(M_i=\pmatrix{a_i& 1\cr1&0}\) pour \(1\leqslant i\leqslant n\). Montrer que \(M_1\times \cdots\times M_n\) est à spectre inclus dans \(\mathbf{R}\setminus \mathbf{Q}\).

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

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