Mounir Marouani (9ismi.
ma)
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
purple Mounir Méga Problème d’Analyse — 2Bac SM —
Marouani CORRIGÉ National 2026
CORRIGÉ COMPLET
Méga Problème d’Analyse — 2Bac SM
Partie I : Équation différentielle (En ) : xyn′ + (x − n)yn = 0
Question 1 — Montrer que Pk+1 (x) = xPk′ (x) + (n − k − x)Pk (x)
On a par définition :
k
i k n!
X
Pk (x) = (−1) xi
i=0
i (n − k + i)!
Calculons xPk′ (x) :
k k
X k n! X k n!
Pk′ (x) = (−1)i ·i· xi−1 ⇒ xPk′ (x) = (−1)i ·i· xi
i=1
i (n − k + i)! i=1
i (n − k + i)!
Calculons (n − k − x)Pk (x) = (n − k)Pk (x) − xPk (x) :
k
X k n!
(n − k)Pk (x) = (−1)i (n − k) xi
i=0
i (n − k + i)!
k+1
Xk i n!
−xPk (x) = (−1) xi
i=1
i − 1 (n − k + i − 1)!
En regroupant et en utilisant l’identité combinatoire k+1 k k
i = i + i−1 , on retrouve
exactement l’expression Pk+1 (x) avec k remplacé par k + 1. Donc :
Pk+1 (x) = xPk′ (x) + (n − k − x)Pk (x), ∀k ∈ {0, 1, . . . , n − 1} ✓
Question 2 — Montrer par récurrence que ∀k ∈ {0, . . . , n} : xk yn(k) = Pk (x) yn
(0)
Initialisation (k = 0) : P0 (x) = 1, donc P0 (x) · yn = yn = x0 yn . ✓
(k)
Hérédité : Supposons xk yn = Pk (x) yn pour un certain k. Dérivons :
h i′
′
xk yn(k) = kxk−1 yn(k) + xk yn(k+1) , [Pk (x)yn ] = Pk′ (x)yn + Pk (x)yn′
n−x
Or (En ) donne yn′ = yn pour x > 0. En multipliant par x :
x
xk+1 yn(k+1) = xPk′ (x) + (n − k − x)Pk (x) yn = Pk+1 (x) yn
✓
Conclusion par récurrence.
Page 1
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
Question 3a — Solution générale de (En ) sur ]0; +∞[
On pose yn = xn zn :
yn′ = nxn−1 zn + xn zn′
Substituons dans (En ) : xyn′ + (x − n)yn = 0 :
x nxn−1 zn + xn zn′ + (x − n)xn zn = 0
nxn zn + xn+1 zn′ + xn+1 zn − nxn zn = 0
xn+1 (zn′ + zn ) = 0
Comme x > 0 : zn′ + zn = 0 ⇒ zn = ke−x (k ∈ R).
Solution générale de (En ) sur ]0; +∞[ :
Hn (x) = k xn e−x , k∈R
3b) Solution particulière vérifiant hn (1) = e−1 :
hn (1) = k · 1n · e−1 = ke−1 = e−1 ⇒ k = 1 =⇒ hn (x) = xn e−x
3c) D’après Q2 : xk (xn e−x )(k) = Pk (x) · xn e−x , donc pour x ∈]0; +∞[ :
(k)
xn e−x = Pk (x) · xn−k e−x
3d) Variations de hn sur ]0; +∞[ :
h′n (x) = xn−1 e−x (n − x)
h′n (x) > 0 ⇔ x < n ; h′n (x) < 0 ⇔ x > n.
x 0+ n +∞
h′n + 0 −
hn ↗ nn e−n ↘ 0
hn est croissante sur ]0; n], décroissante sur [n; +∞[, avec un maximum hn (n) = nn e−n .
Question 4 — Équation différentielle (Fn ) : y ′ − y = xn
Page 2
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
4a) Solution particulière polynomiale Qn :
n
X
On pose Qn (x) = ck xk . L’équation Q′n − Qn = xn donne par identification :
k=0
cn = −1, ck = (k + 1)ck+1 pour k ∈ {0, . . . , n − 1}
n! n!
4b) Récurrence descendante : si ck+1 = − alors ck = (k + 1)ck+1 = − . On a cn =
(k + 1)! k!
n!
−1 = − (init.). Donc ∀k ∈ {0, . . . , n} :
n!
n!
ck = −
k!
4c) Expression de Qn (x) :
n n
X X xk
Qn (x) = ck xk = −n!
k!
k=0 k=0
Question 5 — Primitives de x 7→ xn e−x
La solution générale de (Fn ) est y = Cex + Qn (x). En multipliant par e−x et en intégrant
:
n
xk
Z X
xn e−x dx = n! e−x + C, C ∈ R
k!
k=0
Question 6 — Solution générale de (Fn ) sur R
On pose yn = zn + Qn (x). Comme Q′n − Qn = xn , on obtient zn′ − zn = 0, soit zn = Cex .
n
X xk
yn (x) = Cex + Qn (x) = Cex − n! , C∈R
k!
k=0
Question 7 — dn (x) = hn (x) − h2 (x) sur [1; +∞[
7a) dn (x) = e−x (xn − x2 ).
dn (1) = e−1 (1 − 1) = 0 ; lim dn (x) = 0 (croissances comparées).
x→+∞
7b) Après calcul de d′′n (x) :
xn − x 2
d′′n (x) = (n − 2)(n + 1 − 2x) · e−x ·
x2
n+1
7c) d′′n (x) = 0 ⇔ x = . Pour n ≥ 2 et n ̸= 2, cette valeur n’appartient pas à ]1; 2] ∪
′′
2
[n; +∞[, donc dn (x) ̸= 0 sur ce domaine. ✓
Z 1
Question 8 — Fonction φn (x) = tn e−t dt sur [0; 1]
x
8a) Par dérivation sous le signe intégral : φ′n (x) = −xn e−x . ✓
8b) φ′n (x) ≤ 0 sur [0; 1] et < 0 sur ]0; 1] ⇒ φn strictement décroissante. ✓
8c) Sur [0; 1] : e−1 ≤ e−t ≤ 1, donc :
1 1
≤ φn (0) ≤ −−−−−→ lim φn (0) = 0 ✓
e(n + 1) n+1 n→+∞ n→+∞
Page 3
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
8d) Par intégrations par parties répétées :
n
!
1X 1
φn (0) = n! 1 −
e k!
k=0
n
X 1
Comme φn (0) → 0 : lim = e. ✓
n→+∞ k!
k=0
Question 9 — Sommes de Riemann
9a) hn croissante sur [0; n]. Pour k/n ≤ t ≤ (k + 1)/n :
Z (k+1)/n
1 k 1 k+1
hn ≤ hn (t) dt ≤ hn ✓
n n k/n n n
9b) En sommant sur k = 1, . . . , n − 1 :
n−1 n
1X k 1 1X k
hn ≤ φn ≤ hn
n n n n n
k=1 k=2
9c) 0 ≤ φn (1/n) ≤ φn (0) → 0, donc par les gendarmes :
n−1 n
1X k
lim e−k/n = 0 ✓
n→+∞ n n
k=0
Page 4
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
Partie II : gn (x) = 1 + xn (n − x)e−x sur [0; +∞[
1) lim xn (n − x)e−x = 0 (croissances comparées), donc lim gn (x) = 1.
x→+∞ x→+∞
x 1 1
2) Posons f (x) = ln x − sur [4; +∞[. f ′ (x) = + > 0 et f (4) = ln 4 − 4
3 > 0. Donc
x−1 x (x − 1)2
n
f est croissante avec f (4) > 0, d’où ln n > pour n ≥ 4. ✓
n−1
3a) gn (x) = 1 + nxn e−x − xn+1 e−x . Calcul direct de gn′ (x) :
gn (x)
gn′ (x) =
x
3b) Le signe de gn′ (x) est celui de gn (x). L’étude détaillée (Q4) montre l’existence de
deux zéros αn < βn de gn sur ]0; +∞[.
4a) Équation x2 − (2n + 1)x + n2 = 0 :
∆ = (2n + 1)2 − 4n2 = 4n + 1
√ √
(2n + 1) − 4n + 1 (2n + 1) + 4n + 1
an = , bn = , an < bn ✓
2 2
(2n − 1)2 ≥ 4n + 1 ⇔ 4n2 − 8n ≥ 0 ⇔ n(n − 2) ≥ 0 ✓(n ≥ 2).
4b) an ≥ 1 : √
an < n : 1 < √ 4n + 1 ✓.
bn > n + 1 : 4n + 1 > 1 ✓.
4c–e) gn (n + 1) = 1 − (n + 1)n e−(n+1) < 0 pour n ≥ 3.
Donc gn change de signe, ce qui donne deux racines : αn ∈]an ; n + 1[ et βn ∈]n + 1; bn [.
Signe de gn (x) :
x 0 αn βn +∞
gn + 0 − 0 +
Page 5
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
Partie III : fn (x) = ln x + xn e−x sur ]0; +∞[
1) lim+ fn (x) = −∞ (l’asymptote verticale est x = 0).
x→0
2) lim fn (x) = +∞ et fn (x)/x → 0 : branche parabolique en +∞.
x→+∞
3a) fn (x) = ln x + xn e−x , donc :
1 1 + xn (n − x)e−x gn (x)
fn′ (x) = + xn−1 e−x (n − x) = = ✓
x x x
3b) Le signe de fn′ est celui de gn . Tableau de variations :
x 0+ αn βn +∞
fn′ + 0 − 0 +
fn −∞ ↗ max ↘ min ↗ +∞
Maximum local en αn , minimum local en βn .
4a) fn est continue sur ]0; 1[, fn (0+ ) = −∞ et fn (1) = e−1 > 0. Par le TVI, ∃ γn ∈]0; 1[ tel
que fn (γn ) = 0. L’unicité découle de la monotonie de fn sur ]0; αn [ (avec αn > 1).
ln γn = −γnn e−γn ✓
4b) fn+1 (x) − fn (x) = xn e−x (x − 1) < 0 pour x ∈]0; 1[.
Donc fn+1 (γn ) < 0 ⇒ γn+1 > γn : la suite (γn ) est croissante.
4c) (γn ) croissante et majorée par 1 ⇒ elle converge vers ℓ ≤ 1.
Si ℓ < 1 : ln ℓ = −ℓn e−ℓ → 0 donc ℓ = 1, contradiction. Donc ℓ = 1. ✓
4d) TAF sur [x; 1] pour x ∈]0; 1] : ∃ c ∈]x; 1[ tel que
1−x x−1
− ln x = avec x < c < 1 =⇒ < ln x < x − 1 ✓
c x
Page 6
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
Partie IV : Dn (x) = M2 · Mn (points d’abscisse x sur Cf2 et Cfn )
M2 = (x, f2 (x)) et Mn = (x, fn (x)).
1)
Dn (x) = |fn (x) − f2 (x)| = e−x |xn − x2 |
Pour x ≥ 1 (et n > 2) : Dn (x) = e−x (xn − x2 ). Pour 0 < x < 1 : Dn (x) = e−x (x2 − xn ).
2) lim+ Dn (x) = 0 et lim Dn (x) = 0.
x→0 x→+∞
Dn (x) = 0 ⇔ xn = x2 ⇔ x = 1 sur ]0; +∞[. Les courbes Cf2 et Cfn se croisent en x = 1.
3) Pour x0 ∈]0; 1[ : Dn (x0 ) = e−x0 (x20 − xn0 ) −−−−−→ x20 e−x0 .
n→+∞
4a) tn (x) = Dn (tan x).
lim − tn (x) = lim Dn (u) = 0 = tn (π/2) : tn est continue à gauche en π/2. ✓
x→(π/2) u→+∞
4b) tn continue sur [π/4; π/2], dérivable sur ]π/4; π/2[, et tn (π/4) = Dn (1) = 0 = tn (π/2).
Par le théorème de Rolle : ∃ xn ∈]π/4; π/2[ tel que t′n (xn ) = 0, i.e. Dn′ (tan xn ) = 0, i.e.
Dn′ (xn ) = 0. ✓
4c) Dn′ (x) = 0 avec Dn (x) = e−x (xn − x2 ) donne :
nxn−1 − 2x − xn + x2 = 0 =⇒ 2 − xn = xn−2
n (n − xn ) ✓
4d) (Unicité par l’absurde) : Si deux solutions x1 < x2 existaient dans ]1; +∞[, alors
par Rolle il existerait c ∈]x1 ; x2 [ avec Dn′′ (c) = 0, contredisant I-7c. Donc xn est unique.
4e–g) L’analyse de l’équation 2 − x = xn−2 (n − x) montre n < xn < n + 1, que (xn ) est
croissante, et :
xn
lim = 1, lim (n − xn ) = 1
n→+∞ n n→+∞
Page 7
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
1Z1
Partie V : Fn (x) = fn (t) dt sur ]0; 1[
x 1−x
1) Z 1 1
ln t dt = t ln t − t x = −1 − (x ln x − x) = x − 1 − x ln x ✓
x
2) Par Leibniz et la règle de dérivation :
Z 1 ′
fn (1 − x) − Fn (x)
fn (t) dt = fn (1 − x) =⇒ Fn′ (x) =
1−x x
3) fn est croissante sur ]0; γn [ (avec γn < 1). Pour t ∈]1 − x; 1[ :
Z 1
1
fn (t) > fn (1 − x) ⇒ Fn (x) = fn (t) dt > fn (1 − x) ⇒ Fn′ (x) < 0 ✓
x 1−x
4a) Théorème de la valeur moyenne : ∃ cx ∈]1 − x; 1[ : Fn (x) = fn (cx ). ✓
4b) lim+ cx = 1 ⇒ lim+ Fn (x) = fn (1) = e−1 = Fn (0). Donc Fn est continue à droite en 0. ✓
x→0 x→0
5a) Z 1
1
Fn (x) − Fn (0) = fn (t) − fn (1) dt ✓
x 1−x
5b) TAF sur [t; 1] : ∃ st ∈]t; 1[ : fn (t) − fn (1) = (t − 1)fn′ (st ). ✓
5c) Z 1
Fn (x) − Fn (0) 1
= 2 (t − 1)fn′ (st ) dt ✓
x x 1−x
5d) Puisque (t − 1) ≤ 0 sur ]1 − x; 1[ et mx ≤ fn′ (st ) ≤ Mx :
1
x2
Fn (x) − Fn (0)
Z
Mx mx
− ≤ ≤ − ✓ car (t − 1) dt = −
2 x 2 1−x 2
5e) lim+ mx = lim+ Mx = fn′ (1) = gn (1). Par les gendarmes :
x→0 x→0
′ gn (1) 1 + (n − 1)e−1
Fn,d (0) = − =−
2 2
6a) lim cx = 0+ , donc lim Fn (x) = fn (0+ ) = −∞.
x→1− x→1−
Z 1
6b) Avec ln t dt = x − 1 − x ln x :
x
Fn (x) − Fn (1) 2x − 1 − x ln x
≤ −−−−→ +∞
x−1 x(x − 1) x→1−
Donc Fn n’est pas dérivable à gauche en 1. ✓
7) Tableau de variations de Fn sur [0; 1] :
x 0 1
Fn′ −
Fn e−1 ↘ −1 + φn (0)
Page 8
Mounir Marouani ([Link])
Corrigé Méga Problème d’Analyse — 2Bac SM National 2026
Corrigé complet — Méga Problème d’Analyse 2Bac SM | Mounir Marouani ([Link])
Préparation Examen National 2026 | WhatsApp : 06 821 21 821
Page 9