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