MPSI Schweitzer Programme de colle no 20 : semaine du 11 au 15 mars 2024
Programme de colle.
1 Développements limités.
• Développement limité d'une fonction en un point, unicité, troncature, opérations (somme à tout
ordre, produit et composée pour un ordre faible, primitivation).
• Formule de Taylor-Young.
• Développements limités usuels.
• Calculs de DL : avec la formule de Taylor-Young, par opérations à partir des développements usuels,
par identication des coecients à partir d'une équation diérentielle.
• Applications : recherche d'équivalents, tangente en un point et position locale par rapport à la
tangente, recherche d'asymptote en l'inni.
2 Dimension nie.
• Espaces vectoriels de dimension nie : dénition, existence de base, théorème de la base extraite,
théorème de la base incomplète.
• Si E admet une base à n vecteurs, toute famille de n + 1 vecteurs de E est liée. Egalité des cardinaux
des bases d'un espace de dimension nie, dimension d'un espace.
• Dimensions des espaces de référence de dimension nie : Kn , Mn,p (K), ensemble des matrices dia-
gonales, triangulaires inférieures/ supérieurs larges/strictes, Sn (K), An (K), Kn [X].
• Un espace vectoriel est de dimension innie si et seulement si il admet une famille libre de cardinal
inni.
• Espaces de référence de dimension innie : K[X], F(A, K) avec A de cardinal inni, KN .
• Familles en dimension nie : rang d'une famille, cardinal et rang d'une famille libre, d'une famille
génératrice d'un espace, d'une base d'un espace. Toute famille de vecteurs de E libre ou génératrice
de E et de cardinal égal à la dimension de E est une base de E .
• Sous-espaces vectoriels en dimension nie : dimension d'un sous-espace, caractérisation de l'égalité
de deux espaces par une inclusion et l'égalité des dimensions.
• Supplémentaires en dimension nie : dimension d'une somme directe, d'une somme en général (for-
mule de Grassmann), caractérisation des supplémentaires en dimension nie par la somme directe
et la somme des dimensions égale à la dimension de l'espace, par la somme égale à l'espace entier et
la somme des dimensions égale à la dimension de l'espace.
1
MPSI Schweitzer Programme de colle no 20 : semaine du 11 au 15 mars 2024
Questions de cours 1 : techniques usuelles de calcul de DL.
• Déterminer le DL à l'ordre 5 de tan(x) à partir des DL de cos(x) et de sin(x).
• Déterminer le DL à l'ordre 5 de tan(x) à partir d'une équation diérentielle dont tan est solution.
• Déterminer le DL à l'ordre 5 de tan(x) avec la formule de Taylor-Young.
• Déterminer le DL à l'ordre 5 de arctan(x), puis en déduire celui de tan(x).
• Montrer que pour tout n ∈ N∗ , l'équation ex + nx = 0 admet une unique solution qu'on note un ,
puis déterminer un développement limité d'ordre 3 de (un )n∈N∗ .
• (Plus dicile, à la demande de l'étudiant). Soit (un )n∈N dénie par :
un
u0 = 1 et ∀n ∈ N, un+1 = 1 + .
n+1
1. Déterminer M ∈ R+ tel que :
∀n ∈ N∗ , |un | ≤ M =⇒ |un+1 | ≤ M.
2. En déduire que (un ) est bornée, puis que un → 1.
3. Déterminer alors un DL d'ordre 3 de (un )n∈N .
Questions de cours 2 : dimension nie.
• Base de Lagrange.
Soient a1 , . . . , an des réels deux à deux distincts.
1. Montrer que pour tout i ∈ J1, nK, il existe un unique polynôme Li élément de Rn−1 [X] vériant :
∀j ∈ J1, nK, Li (aj ) = δi,j .
2. Montrer que la famille (L1 , . . . , Ln ) est une base de Rn−1 [X].
3. Soit P ∈ Rn−1 [X]. Déterminer les coordonnées de P dans la base (L1 , . . . , Ln ).
• Dimension (avec preuve) d'un des espaces vectoriels suivants (au choix du colleur) : Kn , Mn,p (K),
ensemble des matrices carées d'ordre n diagonales à coecients dans K, ensemble des matrices carrées
d'ordre n à coecients dans K triangulaires supérieures larges (resp. inférieures larges, supérieures
strictes, inférieures strictes).
• Déterminer la dimension de Sn (K) et An (K), puis montrer que ces deux espaces sont supplémentaires
dans Mn (K).
• Enoncer et prouver la formule de Grassmann (on commencera par justier la formule donnant la
dimension d'une somme directe).
• (Plus dicile, à la demande de l'étudiant). Montrer que KN est de dimension innie.