2026-Mines-PCPsi1-Corrigé

Mines-Ponts 2026 — Mathématiques I — PC

Sommes d’endomorphismes de carré nul

Le fichier fourni est nommé PC-PSI ; sa couverture indique PC. Tous les espaces vectoriels du problème sont complexes et de dimension finie. On pose {\begin{array}{l}\mathcal C(E)=\{u\in\mathcal L(E):u^2=0\},\\[8pt]\Sigma_p\mathcal C(E)=\{u_1+\cdots+u_p:u_i\in\mathcal C(E)\}.\end{array}}Enfin, {\Sigma_\infty\mathcal C(E)} est la réunion de ces ensembles pour {p\geq1}.

A — Réduction des endomorphismes de carré nul

On suppose {\dim E=n>0}, {u^2=0}, {u\ne0} et {r=\operatorname{rg}u}.

1. Déterminer les valeurs propres possibles de {u} et en déduire {\operatorname{tr}u=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. En comparant noyau et image, montrer que {r\leq n/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. Justifier l’existence d’une famille libre {(e_1,\ldots,e_r)} telle que {E=\ker u\oplus\operatorname{Vect}(e_1,\ldots,e_r)}, puis montrer que {(u(e_1),\ldots,u(e_r))} est libre.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. En déduire une base dans laquelle la matrice de {u} est {\begin{pmatrix}0_r&0_r&0\\[8pt]I_r&0_r&0\\[8pt]0&0&0_{n-2r}\end{pmatrix}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5. Montrer qu’il existe un unique entier {m>0} permettant une représentation de cette forme, avec des blocs de tailles {m,m,n-2m}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

B — Somme d’un nombre arbitraire d’endomorphismes de carré nul

On suppose {n\geq2} et on pose {\mathcal H(E)=\{u:\operatorname{tr}u=0\}}. Les matrices élémentaires sont notées {E_{i,j}}. Pour {i\ne j}, on pose {F_{i,j}=E_{i,i}-E_{j,j}+E_{i,j}-E_{j,i}}.

6. Quelles matrices {E_{i,j}} sont de carré nul ? Calculer {F_{i,j}^2} pour {i\ne j}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
7. Montrer que toute matrice de trace nulle est combinaison linéaire de matrices {E_{i,j}} avec {i\ne j} et de matrices {F_{i,n}} avec {1\leq i\lt n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8. Conclure que {\Sigma_\infty\mathcal C(E)=\mathcal H(E)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

C — Somme de trois endomorphismes de carré nul

On suppose {n\geq5}. Dans cette partie seulement, on admet le théorème de Wang et Wu : {v\in\Sigma_2\mathcal C(E)} si et seulement si {v} est semblable à {-v}.

On considère {u} de trace nulle tel que {1} soit valeur propre et {d=\dim\ker(u-I)>3n/4}.

9. Montrer qu’il existe un endomorphisme satisfaisant ces contraintes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

On pose {w=u-I} et on prend un endomorphisme quelconque {v\in\mathcal C(E)}.

10. En développant {(w-v)^2}, montrer que son rang est strictement inférieur à {n/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
11. En utilisant la stabilité de {\ker(w-v)^2} par {w-v}, montrer que {1} est valeur propre de {u-v}, de multiplicité au moins {n-\operatorname{rg}(w-v)^2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
12. Si {u-v} est semblable à {-(u-v)}, montrer que {1} et {-1} sont valeurs propres de {u-v} de multiplicités strictement supérieures à {n/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
13. Conclure que {u\notin\Sigma_3\mathcal C(E)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

D — Matrices de Hessenberg

Pour {n\geq2}, une matrice {A=(a_{ij})} est de Hessenberg si {a_{ij}=0} lorsque {i>j+1}. Elle est régulière si, de plus, {a_{i+1,i}\ne0} pour {1\leq i\lt n}.

Pour {C\in\mathbb C^{n-1}}, on pose {E_C=\begin{pmatrix}0_{n-1}&C\\[8pt]0&0\end{pmatrix}}. La notation {\widetilde B(k,l)} désigne la matrice obtenue en retirant la ligne {k} et la colonne {l} de {B}. Enfin, {J_n} est la matrice ayant des {1} juste sous la diagonale et des {0} ailleurs. Elle est de Hessenberg régulière.

14. Pour {A} de Hessenberg régulière, montrer que {\det(\widetilde{(xI_n-A)}(k,n))=P_k(x)} pour un unique polynôme {P_k} de degré {k-1}. Préciser son coefficient dominant.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
15. Si {P} est unitaire de degré {n} et de coefficient {-\operatorname{tr}A} devant {X^{n-1}}, montrer qu’il existe un unique {C\in\mathbb C^{n-1}} tel que {A+E_C} ait pour polynôme caractéristique {P}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
16. Déterminer l’unique {C} tel que {J_n+E_C} ait pour polynôme caractéristique {X^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
17. Si la matrice de {u} dans {(e_1,\ldots,e_n)} est de Hessenberg régulière, montrer que {(u^k(e_1))_{0\leq k\leq n-1}} est une base.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
18. Si {A} est de Hessenberg régulière et {\chi_A=X^n}, montrer que {A} est semblable à {J_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

E — Somme de quatre endomorphismes de carré nul

Une matrice est dite presque triangulaire supérieure si tous ses coefficients sous la diagonale sont nuls, sauf {a_{n,n-1}}, qui est non nul. On note {V} la matrice obtenue à partir de {J_n} en annulant sa dernière ligne.

19. Si {A} est presque triangulaire supérieure et de trace nulle, montrer qu’il existe {C_0\in\mathbb C^{n-1}} tel que {A+V+E_{C_0}} soit semblable à {J_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
20. Montrer que {J_n} est somme de deux matrices de carré nul. On pourra répartir ses coefficients non nuls entre les deux matrices.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
21. Pour {C\in\mathbb C^{n-1}}, construire {B_1,B_2} de carré nul tels que {V+E_C=B_1+B_2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
22. Si {v\in\mathcal L(\mathbb C^n)} n’est pas une homothétie, montrer qu’il existe un plan stable par {v} contenant un vecteur non nul qui n’est pas propre.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
23. En déduire que toute matrice non scalaire est semblable à {\begin{pmatrix}B&*\\[8pt]0&C\end{pmatrix}}, avec {B\in\mathcal M_2(\mathbb C)} vérifiant {b_{2,1}\ne0} et {C} triangulaire supérieure.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
24. Montrer que toute matrice non scalaire est semblable à une matrice presque triangulaire supérieure.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
25. Pour tout espace complexe de dimension finie et tout endomorphisme {u} de trace nulle, montrer que {u\in\Sigma_4\mathcal C(E)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :