ECOLE DES PONTS PARITECH,
SUPAERO (ISAE), ENSTA PARISTECH,
TELECOM PARISTECH, MINES PARITECH,
MINES DE SAINT-ETIENNE, MINES DE NANCY,
TELECOM BRETAGNE, ENSAE PARISTECH (filière MP),
ECOLE POLYTECHNIQUE (filière TSI).
CONCOURS 2013
Deuxième épreuve
Filière MP
(Durée de l'épreuve : 4 heures)
L'usage d'ordinateur ou de calculette est interdit.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.
Quelques propriétés géométriques du groupe orthogonal
Notations et définitions
Soit
![E](https://latex.ilemaths.net/latex-0.tex?E)
un espace vectoriel euclidien (préhilbertien réel de dimension finie). On note
![<,>](https://latex.ilemaths.net/latex-0.tex?<,>)
le produit scalaire de
![E](https://latex.ilemaths.net/latex-0.tex?E)
et
![|\hspace{-1pt}|\,|\hspace{-1pt}|](https://latex.ilemaths.net/latex-0.tex?|\hspace{-1pt}|\,|\hspace{-1pt}|)
la norme euclidienne associée. Si
![H](https://latex.ilemaths.net/latex-0.tex?H)
est une partie de
![E](https://latex.ilemaths.net/latex-0.tex?E)
, on appelle
enveloppe convexe de ![H](https://latex.ilemaths.net/latex-0.tex?H)
, notée
![\text{conv}(H)](https://latex.ilemaths.net/latex-0.tex?\text{conv}(H))
, la plus petite partie convexe
de
![E](https://latex.ilemaths.net/latex-0.tex?E)
contenant
![H](https://latex.ilemaths.net/latex-0.tex?H)
, c'est-à-dire l'intersection de tous les convexes de
![E](https://latex.ilemaths.net/latex-0.tex?E)
contenant
Soit
![n](https://latex.ilemaths.net/latex-0.tex?n)
un entier naturel
![\ge 2](https://latex.ilemaths.net/latex-0.tex?\ge 2)
. On désigne par
![\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_n(\mathbb{R}))
l'espace vectoriel des matrices carrées d'ordre
![n](https://latex.ilemaths.net/latex-0.tex?n)
à
coefficients réels. On note
![I](https://latex.ilemaths.net/latex-0.tex?I)
la matrice identité de
![\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_n(\mathbb{R}))
et si
![A\in\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?A\in\mathcal{M}_n(\mathbb{R}))
, on note
![^t\hspace{-2pt}A](https://latex.ilemaths.net/latex-0.tex?^t\hspace{-2pt}A)
la matrice transposée de
![A](https://latex.ilemaths.net/latex-0.tex?A)
et
![\text{tr}(A)](https://latex.ilemaths.net/latex-0.tex?\text{tr}(A))
la trace de
![A](https://latex.ilemaths.net/latex-0.tex?A)
. On rappelle que le
groupe orthogonal ![O_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?O_n(\mathbb{R}))
de
![\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_n(\mathbb{R}))
est l'ensemble des matrices
![U](https://latex.ilemaths.net/latex-0.tex?U)
de
![\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_n(\mathbb{R}))
telles que
![U{}^tU=I](https://latex.ilemaths.net/latex-0.tex?U{}^tU=I)
. On
rappelle également qu'une matrice symétrique réelle est dite
positive si ses valeurs propres sont positives ou nulles.
On pourra identifier
![\mathbb{R}^n](https://latex.ilemaths.net/latex-0.tex?\mathbb{R}^n)
et l'ensemble des matrices colonnes
![\mathcal{M}_{n,1}(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_{n,1}(\mathbb{R}))
, que l'on suppose muni du produit scalaire
canonique, pour lequel la base canonique de
![\mathbb{R}^n](https://latex.ilemaths.net/latex-0.tex?\mathbb{R}^n)
est orthonormée. On note
![|\hspace{-1pt}|\ |\hspace{-1pt}|_2](https://latex.ilemaths.net/latex-0.tex?|\hspace{-1pt}|\ |\hspace{-1pt}|_2)
la norme sur
![\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_n(\mathbb{R}))
subordonnée à la norme euclidienne de
![\mathbb{R}^n](https://latex.ilemaths.net/latex-0.tex?\mathbb{R}^n)
: pour tout
![A\in\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?A\in\mathcal{M}_n(\mathbb{R}))
,
Les parties A, B, C et D sont indépendantes.
A. Produit scalaire de matrices
On rappelle que
![\text{tr}(A)](https://latex.ilemaths.net/latex-0.tex?\text{tr}(A))
désigne la trace de la matrice
![A\in\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?A\in\mathcal{M}_n(\mathbb{R}))
.
1) Monter que pour toute base orthonormée
![(e_1,e_2,\dots,e_n)](https://latex.ilemaths.net/latex-0.tex?(e_1,e_2,\dots,e_n))
de
![\mathbb{R}^n](https://latex.ilemaths.net/latex-0.tex?\mathbb{R}^n)
, on a la formule
2) Monter que l'application
![(A,B)\mapsto\text{tr}({}^t\hspace{-2pt}AB)](https://latex.ilemaths.net/latex-0.tex?(A,B)\mapsto\text{tr}({}^t\hspace{-2pt}AB))
définit un produit scalaire sur
![\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?\mathcal{M}_n(\mathbb{R}))
, noté
On note
![|\hspace{-1pt}|\ |\hspace{-1pt}|_1](https://latex.ilemaths.net/latex-0.tex?|\hspace{-1pt}|\ |\hspace{-1pt}|_1)
la norme euclidienne associée à ce produit scalaire.
L'attention du candidat est attirée sur le fait que
est désormais muni de deux normes différentes
et
.
3)Si
![A](https://latex.ilemaths.net/latex-0.tex?A)
et
![B](https://latex.ilemaths.net/latex-0.tex?B)
sont symétriques réelles positives, montrer que
![<A,B>\ge0](https://latex.ilemaths.net/latex-0.tex?<A,B>\ge0)
. On pourra utiliser une base orthonormée de vecteurs
propres de
B. Décomposition polaire
Soit
![f](https://latex.ilemaths.net/latex-0.tex?f)
un endomorphisme de
![E](https://latex.ilemaths.net/latex-0.tex?E)
. On note
![A](https://latex.ilemaths.net/latex-0.tex?A)
la matrice de
![f](https://latex.ilemaths.net/latex-0.tex?f)
dans une base orthonormée de
![E](https://latex.ilemaths.net/latex-0.tex?E)
, et on note
![f^*](https://latex.ilemaths.net/latex-0.tex?f^*)
l'adjoint de
4) Montrer que
![^t\hspace{-2pt}AA](https://latex.ilemaths.net/latex-0.tex?^t\hspace{-2pt}AA)
est une matrice symétrique réelle positive. Exprimer
![|\hspace{-1pt}|A|\hspace{-1pt}|_2](https://latex.ilemaths.net/latex-0.tex?|\hspace{-1pt}|A|\hspace{-1pt}|_2)
en fonction
des valeurs propres de
5) Montrer qu'il existe un endomorphisme auto-adjoint positif
![h](https://latex.ilemaths.net/latex-0.tex?h)
de
![E](https://latex.ilemaths.net/latex-0.tex?E)
tel que
6) Montrer que la restriction de
![h](https://latex.ilemaths.net/latex-0.tex?h)
à
![\text{Im}\ h](https://latex.ilemaths.net/latex-0.tex?\text{Im}\ h)
induit un automorphisme de
![\text{Im}\ h](https://latex.ilemaths.net/latex-0.tex?\text{Im}\ h)
. On notera cet automorphisme
7) Montrer que
![|\hspace{-1pt}|h(x)|\hspace{-1pt}|=|\hspace{-1pt}|f(x)|\hspace{-1pt}|](https://latex.ilemaths.net/latex-0.tex?|\hspace{-1pt}|h(x)|\hspace{-1pt}|=|\hspace{-1pt}|f(x)|\hspace{-1pt}|)
pour tout
![x\in E](https://latex.ilemaths.net/latex-0.tex?x\in E)
. En déduire que
![\text{Ker}\ h](https://latex.ilemaths.net/latex-0.tex?\text{Ker}\ h)
et
![(\text{Im}\ f)^{\bot}](https://latex.ilemaths.net/latex-0.tex?(\text{Im}\ f)^{\bot})
ont même dimension et qu'il existe un isomorphisme
![v](https://latex.ilemaths.net/latex-0.tex?v)
de
![\text{Ker}\ h](https://latex.ilemaths.net/latex-0.tex?\text{Ker}\ h)
sur
![(\text{Im}\ f)^{\bot}](https://latex.ilemaths.net/latex-0.tex?(\text{Im}\ f)^{\bot})
qui conserve la norme.
8) À l'aide de
![\tilde{h}](https://latex.ilemaths.net/latex-0.tex?\tilde{h})
et
![v](https://latex.ilemaths.net/latex-0.tex?v)
, construire un automorphisme orthogonal
![u](https://latex.ilemaths.net/latex-0.tex?u)
de
![E](https://latex.ilemaths.net/latex-0.tex?E)
tel que
9) En déduire que toute matrice
![A\in\mathcal{M}_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?A\in\mathcal{M}_n(\mathbb{R}))
s'écrit sous la forme
![A=US](https://latex.ilemaths.net/latex-0.tex?A=US)
, où
![U\in O_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?U\in O_n(\mathbb{R}))
et
![S](https://latex.ilemaths.net/latex-0.tex?S)
est une matrice symétrique positive.
On admet que si
![A](https://latex.ilemaths.net/latex-0.tex?A)
est inversible, cette écriture est unique.
C. Projeté sur un convexe compact
Soit
![H](https://latex.ilemaths.net/latex-0.tex?H)
une partie de
![E](https://latex.ilemaths.net/latex-0.tex?E)
, convexe et compacte, et soit
![x\in E](https://latex.ilemaths.net/latex-0.tex?x\in E)
. On note
10) Montrer qu'il existe un unique
![h_0\in H](https://latex.ilemaths.net/latex-0.tex?h_0\in H)
tel que
![d(x,H)= \| x - h_0|\hspace{-1pt}|](https://latex.ilemaths.net/latex-0.tex?d(x,H)= \| x - h_0|\hspace{-1pt}|)
. On pourra utiliser pour
![h_0,h_1](https://latex.ilemaths.net/latex-0.tex?h_0,h_1)
dans
![H](https://latex.ilemaths.net/latex-0.tex?H)
la fonction définie pour tout
![t\in\mathbb{R}](https://latex.ilemaths.net/latex-0.tex?t\in\mathbb{R})
par la formule
11) Montrer que
![h_0](https://latex.ilemaths.net/latex-0.tex?h_0)
est caractérisé par la condition
![<x-h_0,h-h_0>\le0](https://latex.ilemaths.net/latex-0.tex?<x-h_0,h-h_0>\le0)
pour tout
![h\in H](https://latex.ilemaths.net/latex-0.tex?h\in H)
. On pourra utiliser la même fonction
![q(t)](https://latex.ilemaths.net/latex-0.tex?q(t))
qu'à la question précédente.
Le vecteur
![h_0](https://latex.ilemaths.net/latex-0.tex?h_0)
s'appelle
projeté de
![x](https://latex.ilemaths.net/latex-0.tex?x)
sur
D. Théorème de Carathéodory et compacité
Dans cette partie, on suppose que
![E](https://latex.ilemaths.net/latex-0.tex?E)
est de dimension
![n](https://latex.ilemaths.net/latex-0.tex?n)
. On dit que
![x\in E](https://latex.ilemaths.net/latex-0.tex?x\in E)
est une
combinaison convexe des
![p](https://latex.ilemaths.net/latex-0.tex?p)
éléments
![x_1,x_2,\dots,x_p\in E](https://latex.ilemaths.net/latex-0.tex?x_1,x_2,\dots,x_p\in E)
, s'il existe des réels
![\lambda_1,\lambda_2,\dots,\lambda_p](https://latex.ilemaths.net/latex-0.tex?\lambda_1,\lambda_2,\dots,\lambda_p)
positifs ou nuls tels que
12)Montrer que l'enveloppe convexe
![\text{conv}(H)](https://latex.ilemaths.net/latex-0.tex?\text{conv}(H))
d'une partie
![H](https://latex.ilemaths.net/latex-0.tex?H)
de
![E](https://latex.ilemaths.net/latex-0.tex?E)
est constituée des combinaisons convexes d'éléments
de
On souhaite montrer que l'enveloppe convexe
![\text{conv}(H)](https://latex.ilemaths.net/latex-0.tex?\text{conv}(H))
est constituée des combinaisons convexes d'
au plus ![n+1](https://latex.ilemaths.net/latex-0.tex?n+1)
éléments de
Soit
![x=\displaystyle\sum_{i=1}^p\lambda_ix_i](https://latex.ilemaths.net/latex-0.tex?x=\displaystyle\sum_{i=1}^p\lambda_ix_i)
une combinaison convexe de
![x_1,x_2,\dots,x_p\in H](https://latex.ilemaths.net/latex-0.tex?x_1,x_2,\dots,x_p\in H)
avec
13) Montrer qu'il existe
![p](https://latex.ilemaths.net/latex-0.tex?p)
réels non tous nuls
![\mu_1,\mu_2,\dots,\mu_p](https://latex.ilemaths.net/latex-0.tex?\mu_1,\mu_2,\dots,\mu_p)
tels que
![\displaystyle\sum_{i=1}^p\mu_ix_i=0\qquad\text{et}\qquad\sum_{i=1}^p\mu_i=0.](https://latex.ilemaths.net/latex-0.tex?\displaystyle\sum_{i=1}^p\mu_ix_i=0\qquad\text{et}\qquad\sum_{i=1}^p\mu_i=0.)
On pourra considérer la famille
14) En déduire que
![x](https://latex.ilemaths.net/latex-0.tex?x)
s'écrit comme combinaison convexe d'au plus
![p-1](https://latex.ilemaths.net/latex-0.tex?p-1)
éléments de
![H](https://latex.ilemaths.net/latex-0.tex?H)
et conclure que
![\text{conv}(H)](https://latex.ilemaths.net/latex-0.tex?\text{conv}(H))
est constituée des combinaisons convexes d'au plus
![n+1](https://latex.ilemaths.net/latex-0.tex?n+1)
éléments de
On pourra considérer une suite de coefficients de la forme
![\lambda_i-\theta\mu_i\ge0,\ i\in\lbrace1,2,\dots,p\rbrace](https://latex.ilemaths.net/latex-0.tex?\lambda_i-\theta\mu_i\ge0,\ i\in\lbrace1,2,\dots,p\rbrace)
pour un réel
![\theta](https://latex.ilemaths.net/latex-0.tex?\theta)
bien
choisi.
15) Si
![H](https://latex.ilemaths.net/latex-0.tex?H)
est une partie compacte de
![E](https://latex.ilemaths.net/latex-0.tex?E)
, montrer que
![\text{conv}(H)](https://latex.ilemaths.net/latex-0.tex?\text{conv}(H))
est compacte.
On pourra introduire l'ensemble compact de
![\mathbb{R}^{n+1}](https://latex.ilemaths.net/latex-0.tex?\mathbb{R}^{n+1})
défini par
E. Enveloppe convexe de ![O_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?O_n(\mathbb{R}))
16) Monter que l'enveloppe convexe
![\text{conv}(O_n(\mathbb{R}))](https://latex.ilemaths.net/latex-0.tex?\text{conv}(O_n(\mathbb{R})))
est compacte.
On note
![\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?\mathcal{B})
la boule unité fermée de
17) Montrer que
![\text{conv}(O_n(\mathbb{R}))](https://latex.ilemaths.net/latex-0.tex?\text{conv}(O_n(\mathbb{R})))
est contenue dans
On suppose qu'il existe
![M\in\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?M\in\mathcal{B})
telle que
![M](https://latex.ilemaths.net/latex-0.tex?M)
n'appartient pas à
![\text{conv}(O_n(\mathbb{R}))](https://latex.ilemaths.net/latex-0.tex?\text{conv}(O_n(\mathbb{R})))
. On note
![N](https://latex.ilemaths.net/latex-0.tex?N)
le projeté de
![M](https://latex.ilemaths.net/latex-0.tex?M)
sur
![\text{conv}(O_n(\mathbb{R}))](https://latex.ilemaths.net/latex-0.tex?\text{conv}(O_n(\mathbb{R})))
défini à la partie C pour la norme
![|\hspace{-1pt}|\ |\hspace{-1pt}|_1](https://latex.ilemaths.net/latex-0.tex?|\hspace{-1pt}|\ |\hspace{-1pt}|_1)
, et on pose
![A={}^t\hspace{-2pt} (M-N)](https://latex.ilemaths.net/latex-0.tex?A={}^t\hspace{-2pt} (M-N))
. On écrit enfin
![A=US](https://latex.ilemaths.net/latex-0.tex?A=US)
, avec
![U\in O_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?U\in O_n(\mathbb{R}))
et
![S](https://latex.ilemaths.net/latex-0.tex?S)
symétrique réelle positive (question 9).
18) Montrer que pour tout
![V\in\text{conv}(O_n(\mathbb{R})),\ \text{tr}(AV)\le\text{tr}(AN)<\text{tr}(AM).](https://latex.ilemaths.net/latex-0.tex?V\in\text{conv}(O_n(\mathbb{R})),\ \text{tr}(AV)\le\text{tr}(AN)<\text{tr}(AM).)
En déduire que
19) Montrer que
![\text{tr}(MUS)\le\text{tr}(S)](https://latex.ilemaths.net/latex-0.tex?\text{tr}(MUS)\le\text{tr}(S))
. On pourra appliquer le résultat de la question 1).
20) Conclure : déterminer
F. Points extrémaux
Un élément
![A\in\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?A\in\mathcal{B})
est dit
extrémal dans
![\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?\mathcal{B})
si l'écriture
![A=\cfrac{1}{2}(B+C)](https://latex.ilemaths.net/latex-0.tex?A=\cfrac{1}{2}(B+C))
, avec
![B,C](https://latex.ilemaths.net/latex-0.tex?B,C)
appartenant à
![\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?\mathcal{B})
, entraîne
![A=B=C.](https://latex.ilemaths.net/latex-0.tex?A=B=C.)
Dans cette partie, on cherche à déterminer l'ensemble des points extrémaux de
21) On suppose que
![U\in O_n(\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?U\in O_n(\mathbb{R}))
s'écrit sous la forme
![U=\cfrac{1}{2}(V+W)](https://latex.ilemaths.net/latex-0.tex?U=\cfrac{1}{2}(V+W))
, avec
![V,W](https://latex.ilemaths.net/latex-0.tex?V,W)
appartenant à
![\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?\mathcal{B})
.
Montrer que pour tout
![X\in\mathbb{R}^n](https://latex.ilemaths.net/latex-0.tex?X\in\mathbb{R}^n)
, les vecteurs
![VX](https://latex.ilemaths.net/latex-0.tex?VX)
et
![WX](https://latex.ilemaths.net/latex-0.tex?WX)
sont liés. En déduire que
![U](https://latex.ilemaths.net/latex-0.tex?U)
est extrémal dans
Soit
![A](https://latex.ilemaths.net/latex-0.tex?A)
appartenant à
![\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?\mathcal{B})
mais n'appartenant pas à
22) Montrer que l'on peut écrire
![A](https://latex.ilemaths.net/latex-0.tex?A)
sous la forme
![A=PDQ](https://latex.ilemaths.net/latex-0.tex?A=PDQ)
, où
![P](https://latex.ilemaths.net/latex-0.tex?P)
et
![Q](https://latex.ilemaths.net/latex-0.tex?Q)
sont deux matrices orthogonales et où
![D](https://latex.ilemaths.net/latex-0.tex?D)
est une matrice diagonale dont les éléments diagonaux
![d_1,d_2,\dots,d_n](https://latex.ilemaths.net/latex-0.tex?d_1,d_2,\dots,d_n)
sont positifs ou nuls.
23) Montrer que
![d_i\le1](https://latex.ilemaths.net/latex-0.tex?d_i\le1)
pour tout
![i\in\lbrace{1,2,\dots,n\rbrace](https://latex.ilemaths.net/latex-0.tex?i\in\lbrace{1,2,\dots,n\rbrace)
, et qu'il existe
![j\in\lbrace1,2,\dots,n\rbrace](https://latex.ilemaths.net/latex-0.tex?j\in\lbrace1,2,\dots,n\rbrace)
tel que
24) En déduire qu'il existe deux matrices
![A_{\alpha}](https://latex.ilemaths.net/latex-0.tex?A_{\alpha})
et
![A_{-\alpha}](https://latex.ilemaths.net/latex-0.tex?A_{-\alpha})
appartenant à
![\mathcal{B}](https://latex.ilemaths.net/latex-0.tex?\mathcal{B})
telles que
![A=\cfrac{1}{2} (A_{\alpha}+A_{-\alpha})](https://latex.ilemaths.net/latex-0.tex?A=\cfrac{1}{2} (A_{\alpha}+A_{-\alpha}))
. Conclure.