E3A Maths B PSI 2010 -- Corrigé
Ce corrigé est proposé par Silvère Gangloff (ENS Ulm), il a été relu par Jules
Svartz (ENS Cachan) et Gilbert Monna (Professeur en CPGE).
Ce sujet comporte deux exercices indépendants.
Le premier, consacré à l'algèbre linéaire, établit une classification des
matrices
dites « q-commutantes », c'est-à-dire les matrices A de M2 (C) telles qu'il
existe
B M2 (C) et q C\{0, 1} vérifiant AB = qBA. Il est constitué de deux parties.
· La première propose de démontrer le lemme suivant sur le calcul par blocs
de déterminants : pour quatre matrices complexes A, B, C et D, carrées et de
même taille où DC = CD,
A B
det
= det(AD - CB)
C D
· La deuxième partie peut être traitée seule, en admettant le lemme précédent.
Elle nécessite de maîtriser les notions de base d'algèbre linéaire comme le lien
entre matrice carrée et endomorphisme. Quelques réductions de matrices
interviennent à la dernière question.
Le second exercice, consacré à l'analyse, étudie la régularité d'une fonction
définie
comme une limite de suites de fonctions.
· La première partie porte sur l'étude de deux suites réelles interdépendantes
(an )nN et (bn )nN définies par
an+1 =
an + b n
2
et
bn+1 =
an b n
À l'aide de raisonnements usuels sur les suites numériques, on montre qu'elles
convergent vers une même limite définie comme la moyenne
arithmético-géométrique (ou moyenne de Gauss) de a0 et b0 .
· Dans la deuxième partie, la construction précédente est étendue à des suites
de
fonctions. On établit que la moyenne arithmético-géométrique f des fonctions
identité et constante égale à 1 sur [ 0 ; + [ est continue sur [ 0 ; + [.
· La troisième partie est indépendante des deux précédentes. On y étudie une
fonction g définie par une intégrale à paramètre sur un intervalle non borné.
· Dans la quatrième partie, les résultats de l'exercice sont utilisés pour
démontrer
l'égalité 2f g = et conclure que f est de classe C 1 sur [ 0 ; + [.
Ce sujet, assez classique, est un bon support de révision, autant pour les bases
d'algèbre linéaire (déterminant, écriture matricielle) que pour les gros
théorèmes
d'analyse (convergence uniforme, régularité sous le signe intégrale,
convergence dominée, changement de variable).
Indications
Exercice I
I.A.1.a Penser au développement par rapport aux colonnes/lignes.
A B
I.A.1.b Montrer que la matrice
peut se décomposer comme un produit
On D
des trois matrices évoquées dans la question I.A.1.a.
I.A.1.c Utiliser l'invariance du déterminant par transposition.
I.A.3.a Considérer pour S le spectre de D.
I.A.3.b Utiliser la densité de C - S dans C.
I.B.3.a Commencer par utiliser le résultat de la partie A. Montrer que
e = det(A)I2
AA
I.B.4.a Utiliser les expressions de det(A) et de Tr(A) en fonction de et .
I.B.4.b Interpréter l'égalité AB = qBA en la liant à MA . Se servir de
l'expression
démontrée dans la question I.B.4.b.
Exercice II
II.A.1.a Raisonner par récurrence sur n.
II.A.2 Utiliser les relations de récurrence de l'énoncé et l'égalité démontrée
dans la
question II.A.1.b.
II.A.3 Développer le carré et s'appuyer sur les inégalités de la question
II.A.2.
Pour la seconde inégalité, lier la première au résultat de la question II.A.1.b.
II.A.4 Se rappeler du théorème des suites adjacentes.
II.B.2.a Montrer par récurrence que (bn (0))nN est nulle à partir du rang 1 et
que
les suites (bn (1))nN et (an (1))nN sont constantes égales à 1.
II.B.2.b Utiliser les inégalités de la question II.A.2.
II.B.4 Se rappeler le théorème de continuité d'une limite uniforme de fonctions
continues sur tout intervalle de la forme [ 0 ; A ] avec A > 0.
II.C.3.c Se servir d'un argument de parité.
II.D.1 Raisonner par récurrence en s'appuyant sur l'égalité intégrale de la
question II.C.3.c.
II.D.2.b Utiliser une des inégalités de la question II.B.2.b.
II.D.2.c Penser au théorème de convergence dominée.
Les conseils du jury
Le jury déplore certaines « escroqueries au calcul » et conseille de rédiger
clairement et explicitement tous les calculs. En outre, le jury a relevé « les
carences de nombreuses copies lorsqu'il faut faire appel au raisonnement »,
notamment le « peu de rigueur dans la rédaction des raisonnements par
récurrence ». De manière générale, il faut convaincre le correcteur que tous les
points d'une démonstration ont été compris, et pour cela mettre en évidence
les outils employés à chaque étape de calcul ou de raisonnement.
Exercice I
Partie A
I.A.1.a La relation
det
In
On
On
D
= det(D)
est obtenue en développant le premier déterminant successivement n fois par
rapport
à la première colonne. Il en est de même pour la relation
In B
det
=1
O n In
Quant à la relation
det
A
On
On
In
= det(A)
on l'obtient en développant successivement n fois par rapport à la dernière
colonne.
I.A.1.b Remarquons que la matrice par blocs de l'énoncé s'écrit comme le produit
des trois matrices par blocs de la question précédente :
A B
In O n
In B
A On
=
On D
On D
O n In
O n In
Comme le déterminant est multiplicatif (c'est-à-dire que pour tout couple de
matrices
(H, K) M2n (C)2 on a det(HK) = det(H) det(K)),
A B
In O n
In B
A On
det
= det
det
det
On D
On D
O n In
O n In
En utilisant les résultats énoncés dans la question I.A.1.a, on obtient
A B
det
= det(A) det(D)
On D
I.A.1.c On déduit de la question I.A.1.b la relation
t
t
A
C
= det( t A) det( t D)
det
t
D
On
Comme le déterminant d'une matrice est égal à celui de sa transposée, on a de
plus
t
A tC
A On
= det
det
t
C D
On
D
t
t
Du même argument il ressort det( A) det( D) = det(A) det(D), et finalement
A On
det
= det(A) det(D)
C D
I.A.2 Le produit donné par l'énoncé se calcule par produit de matrices par
blocs,
en utilisant le fait que les matrices D et C commutent :
A B
D On
AD - BC B
AD - BC B
=
=
C D
-C In
CD - DC D
On
D
Par multiplicativité du déterminant et en utilisant les résultats des questions
I.A.1.b
et I.A.1.c, il s'ensuit :
det(M) det(D) = det(AD - BC) det(D)
Par conséquent, comme D est inversible, det(D) 6= 0, d'où
Si D est inversible, det(M) = det(AD - BC).
I.A.3.a Comme Dx commute avec C, d'après le résultat de la question I.A.2,
l'inversibilité de Dx implique l'égalité det(Mx ) = det(ADx - BC). Définissons
S comme
le spectre de D. D'après le cours, S est bien fini, et pour x
/ S, Dx est inversible.
On en déduit directement :
Il existe un ensemble fini S tel que pour tout x
/ S, det(Mx ) = det(ADx - BC).
I.A.3.b L'ensemble S étant fini, =
inf
xS | x6=0
|x|
> 0 donc
2
{x C | 0 < |x| < } C - S
et pour tout x C tel que 0 < |x| < , det(Mx ) = det(ADx - BC). Faisons tendre x
vers 0 dans cette égalité. Considérons la norme N sur l'ensemble des matrices n
× n
définie pour toute matrice M = (mi,j ) par N(M) = max |mi,j |. Comme
16i,j6n
On
N(Mx - M) = N
On
on en déduit que
On
Dx - D
Dx --- D
x0
= N(Dx - D) = N(-xIn ) = |x|N(I2 ) = |x|
et
Mx --- M
x0
Puisque l'application déterminant est continue sur M2n (C) (en effet, si on
note
l'application linéaire qui à une matrice associe ses coefficients det -1 est
une
application polynomiale), on obtient
det(Mx ) --- det(M)
x0
Par unicité de la limite,
et
det(ADx - BC) --- det(AD - BC)
x0
det(AD - BC) = det(M)
Une autre démonstration, consiste à dire que d'après la question I.A.3.a,
les applications polynomiales x 7 det(Mx ) et x 7 det(ADx -BC) sont égales
en tout point d'un ensemble infini (C - S) et donc sont égales sur tout C.
Leurs valeurs en 0 sont donc égales, ce qui termine la démonstration.
Le jury remarque que les termes « en toute généralité » ont été mal
interprétés. Ici certains candidats ont pu penser que l'on demandait de
démontrer
le lemme pour une matrice D ne commutant pas nécessairement avec C.
S'il est vrai que cette formulation de la question peut être mal interprétée,
il est important de comprendre pourquoi les différentes hypothèses de l'énoncé
sont formulées, à quel moment on les utilise, et par conséquent à quel moment
on peut supprimer certaines de ces hypothèses. Ici il est bien nécessaire
que D commute avec C, il suffit de considérer le contre-exemple suivant :
0 1
0 0
D=A=
et
C=B=
0 0
1 0
