2025-Cnm-Mp2-Corrigé

Concours national commun 2025 — Mathématiques 2 — MP

Le sujet comporte un exercice et un problème indépendants.

Exercice

On considère

{A=\begin{pmatrix}1&-1&1\\[8pt]-1&1&1\\[8pt]-1&-1&3\end{pmatrix},}et l’on note {I_3} la matrice identité. Pour {u,v\in\mathbb R^3}, {\operatorname{Vect}(u,v)} désigne le sous-espace qu’ils engendrent.

1. On pose {f_1=(1,1,1)} et {F=\{(x,y,z)\in\mathbb R^3:x+y-z=0\}}.

1. a) Déterminer {f_2=(a,0,b)} et {f_3=(0,c,d)} tels que {F=\operatorname{Vect}(f_2,f_3)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. b) Montrer que {(f_1,f_2,f_3)} est une base de {\mathbb R^3}.
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. a) Vérifier que {A^2-3A+2I_3=O_3}, où {O_3} est la matrice nulle.
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. b) En déduire que {A} est inversible et déterminer {A^{-1}}.
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. a) Déterminer les réels {\alpha,\beta} tels que {Af_1=\alpha f_1}, {Af_2=\beta f_2} et {Af_3=\beta f_3}, les vecteurs étant identifiés à leurs colonnes.
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. b) Déterminer une matrice diagonale {D} et une matrice inversible {P} telles que {A=PDP^{-1}}.
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. c) Montrer par récurrence que {A^n=PD^nP^{-1}} pour tout {n\in\mathbb 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 :

Problème

On fixe {n\geq1} et {\mathbb K=\mathbb R} ou {\mathbb C}. On note {\mathcal M_n(\mathbb K)} l’espace des matrices carrées d’ordre {n}, {I_n} sa matrice identité et {\mathcal M_{n,1}(\mathbb K)} l’espace des colonnes à {n} lignes.

On utilise les notations {\chi_M(X)=\det(XI_n-M)}, {M^{\mathsf T}} pour la transposée et {\operatorname{Tr}(M)=\sum\limits_{i=1}^nm_{ii}} pour la trace. La matrice {\operatorname{Diag}(a_1,\ldots,a_n)} est diagonale, de coefficients indiqués dans cet ordre.

On note {\mathcal S_n(\mathbb R)} l’ensemble des matrices réelles symétriques et {\mathcal S_n^+(\mathbb R)} celui des matrices {S} symétriques telles que {X^{\mathsf T}SX\geq0} pour toute colonne réelle {X}. Les ensembles {\mathbb R_+} et {\mathbb R_+^*} désignent les réels positifs et strictement positifs.

Le problème porte sur des propriétés et applications de la trace.

Partie 1 — Préliminaires

1. Montrer que {\operatorname{Tr}:\mathcal M_n(\mathbb R)\to\mathbb R} est linéaire.
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. Soient {M=(m_{ij})} et {N=(n_{ij})} deux matrices de {\mathcal M_n(\mathbb R)}.

2. a) Montrer que {\operatorname{Tr}(MN)=\sum\limits_{l=1}^n\sum\limits_{k=1}^nm_{lk}n_{kl}}.
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. b) Montrer que {\operatorname{Tr}(MN)=\operatorname{Tr}(NM)}.
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. c) Montrer que deux matrices semblables ont même trace.
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. On pose {F=\!\{M\in\mathcal M_n(\mathbb R),\;M\text{ diagonale et }\operatorname{Tr}(M)=0\}}

3. a) Montrer que {F} est un sous-espace vectoriel de {\mathcal M_n(\mathbb R)}.
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. b) Déterminer la dimension de {F}.
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. c) En déduire la dimension de {G=PFP^{-1}}, pour toute matrice inversible {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 :

4. Soit {A\in\mathcal M_n(\mathbb R)}. On considère

{\Phi_A(X)=X+\operatorname{Tr}(X)A.}

4. a) Vérifier que {\Phi_A} est linéaire.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Soit {B\in\mathcal M_n(\mathbb R)}. On étudie l’équation {(*)\colon\Phi_A(X)=B}.

4. b) On suppose {\operatorname{Tr}(A)\ne-1}.

4. b) i) Si {M} est solution de {(*)}, déterminer {\operatorname{Tr}(M)} en fonction des traces de {A} et {B}.
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. b) ii) Résoudre {(*)} dans {\mathcal M_n(\mathbb R)}.
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. b) iii) En déduire que {\Phi_A} est un automorphisme d’espaces vectoriels.
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. c) On suppose maintenant {\operatorname{Tr}(A)=-1}.

4. c) i) Résoudre {(*)} selon la valeur de {\operatorname{Tr}(B)}.
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. c) ii) Montrer que {\Phi_A} est un projecteur sur un sous-espace {F_1}, parallèlement à un sous-espace {F_2}, et déterminer ces deux espaces.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie 2 — La valeur absolue de la trace comme « fonction génératrice »

On note {E=\mathcal M_n(\mathbb K)}, de dimension {n^2}, et {(E_{ij})} sa base canonique : {E_{ij}} a pour seul coefficient non nul un {1} en position {(i,j)}.

Le symbole de Kronecker {\delta_{hk}} vaut {1} si {h=k} et {0} sinon. On rappelle que {E_{ij}E_{kl}=\delta_{jk}E_{il}}.

Une application {q:E\to\mathbb R_+} est une semi-norme si

{q(\lambda M)=|\lambda|q(M),\quad q(M+N)\leq q(M)+q(N).}On dit qu’elle vérifie {(P)} si {q(MN)=q(NM)} pour toutes matrices {M,N\in E}.

1. Soit {q} une semi-norme sur {E}.

1. a) Montrer que {q(O_n)=0} et {q(-M)=q(M)} pour tout {M\in 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 :
1. b) Montrer que {|q(M)-q(N)|\leq q(M+N)} pour tous {M,N\in 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 :
1. c) Montrer que, si {q(N)=0}, alors {q(M+N)=q(M)}.
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. Montrer que {f(M)=|\operatorname{Tr}(M)|} est une semi-norme sur {E} vérifiant {(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 :

Dans les questions 3 et 4, on suppose {n\geq2}.

3. Soient {\alpha_1,\ldots,\alpha_n\in\mathbb K} et

{A=\sum_{j=1}^nE_{1j}+\sum_{i=2}^nE_{ii},\quad B=\sum_{h=1}^n\alpha_hE_{h1}.}

3. a) Montrer que

{AB=\left(\sum_{j=1}^n\alpha_j\right)E_{11}+\sum_{i=2}^n\alpha_iE_{i1}.}

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. b) Montrer que

{BA=\sum_{h=1}^n\left(\alpha_h\sum_{j=1}^nE_{hj}\right).}

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. Soit {q} une semi-norme vérifiant {(P)}, et {M=(m_{ij})\in E}.

4. a) Montrer que {q(E_{ij})=0} pour {i\ne j}. On pourra utiliser {E_{ij}=E_{ii}E_{ij}}.
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. b) En déduire que {q(\sum\limits_{i=2}^nm_{i1}E_{i1})=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 :
4. c) Vérifier que {q(M)=q(\sum\limits_{i=1}^nm_{ii}E_{ii})}.
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. d) Choisir les {\alpha_k} définissant {B} de manière à obtenir {q(M)=q(BA)}.
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. e) Montrer qu’il existe {\alpha\geq0} tel que {q=\alpha f}.
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. Le résultat reste-t-il valable pour {n=1} ? Justifier.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie 3 — Caractérisation d’une matrice de {\mathcal S_n^+(\mathbb R)} par la trace

On note {O(n)} le groupe des matrices orthogonales, vérifiant {U^{\mathsf T}U=I_n}.

1. Soit {S\in\mathcal S_n^+(\mathbb R)}.

1. a) Soient {D=\operatorname{Diag}(\lambda_1,\ldots,\lambda_n)} avec {\lambda_k\geq0}, et {U=(u_{kj})\in O(n)}.

1. a) i) Montrer que {|u_{ki}|\leq1} pour tous {k,i}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. a) ii) Vérifier que {DU=(\lambda_ku_{kj})_{k,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 :
1. a) iii) En déduire que {\operatorname{Tr}(DU)\leq\operatorname{Tr}(D)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

1. b) Soit {U\in O(n)}.

1. b) i) Montrer qu’il existe {P\in O(n)} et {D=\operatorname{Diag}(\alpha_1,\ldots,\alpha_n)}, avec {\alpha_i\geq0}, tels que {S=PDP^{\mathsf T}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. b) ii) En posant {V=P^{\mathsf T}UP}, montrer que {SU=P(DV)P^{\mathsf T}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
1. b) iii) En déduire que {\operatorname{Tr}(SU)\leq\operatorname{Tr}(S)}.
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. Réciproquement, soit {A=(a_{ij})\in\mathcal M_n(\mathbb R)} telle que

{\forall U\in O(n),\quad\operatorname{Tr}(AU)\leq\operatorname{Tr}(A).}

2. a) i) Montrer que, pour tous réels {a,b,\alpha}, il existe {\varphi\in\mathbb R} tel que

{a\cos\alpha+b\sin\alpha=\sqrt{a^2+b^2}\sin(\alpha+\varphi).}

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. a) ii) En déduire que, si {a\cos\alpha+b\sin\alpha\leq a} pour tout réel {\alpha}, alors {b=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. b) Soit {\mathcal B=(e_1,\ldots,e_n)} une base orthonormée de {\mathbb R^n}. Pour {1\leq p\lt q\leq n}, on note {\Pi_{p,q}=\operatorname{Vect}(e_p,e_q)}.

L’endomorphisme {u_{p,q}} est la rotation d’angle {\alpha} sur ce plan orienté par {(e_p,e_q)}, et l’identité sur son orthogonal. Sa matrice dans {\mathcal B} est notée {U_{p,q}}.

2. b) i) Écrire {U_{1,2}} et montrer qu’elle est orthogonale.
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. b) ii) Calculer {\operatorname{Tr}(AU_{1,2})} en fonction de {a_{12},a_{21}}, des coefficients diagonaux et de {\alpha}.
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. b) iii) En déduire que {a_{12}=a_{21}}.
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. b) iv) Écrire {U_{p,q}} dans le cas général.
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. b) v) Calculer {\operatorname{Tr}(AU_{p,q})} en fonction de {a_{pq},a_{qp}}, des coefficients diagonaux et de {\alpha}.
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. b) vi) En déduire que {A} est symétrique.
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. c) i) Justifier qu’il existe une base orthonormée {\mathcal V=(v_1,\ldots,v_n)} formée de vecteurs propres de l’endomorphisme {g} canoniquement associé à {A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Pour {1\leq i\leq n}, on note {\gamma_i} la valeur propre associée à {v_i}.

2. c) ii) Pour {1\leq j\leq n}, on définit {w_j(v_j)=-v_j} et {w_j(v_k)=v_k} si {k\ne j}. Soit {W_j} sa matrice dans {\mathcal B}.

Vérifier que {W_j} est orthogonale, déterminer {\operatorname{Tr}(AW_j)} en fonction de {\operatorname{Tr}(A)} et {\gamma_j}, puis montrer que {\gamma_j\geq0}.

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. d) En déduire que {A\in\mathcal S_n^+(\mathbb R)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :