Correction complète
DL1 Exercice 2, Question 4
Énoncé. Pour tout n , on pose I_n = _{1}^{e} (ln x)^n / x^2 dx.
On sait que I_{n+1} = e^{ 1} + (n+1)·I_n et I_0 = 1 e^{ 1}.
Objectif. En utilisant un raisonnement par récurrence, montrer que pour tout n :
I_n = n! · ( 1 e^{ 1} · _{k=0}^{n} 1/k! ).
On donne ensuite les conséquences : changement de variable t = ln x, encadrement et
limites.
Preuve par récurrence de la forme fermée
DL1 Exercice 2, Question 4
1) Initialisation (n = 0).
I_0 = _{1}^{e} 1/x^2 dx = [ 1/x ]_{1}^{e} = 1 e^{ 1}.
La formule fermée pour n=0 donne : 0! · (1 e^{ 1}· _{k=0}^{0}1/k!) = 1 e^{ 1}.
Donc l'initialisation est vraie.
2) Hérédité.
Hypothèse de récurrence : I_n = n! · ( 1 e^{ 1} · _{k=0}^{n} 1/k! ).
À partir de la relation : I_{n+1} = e^{ 1} + (n+1)·I_n, on remplace I_n par l'hypothèse :
I_{n+1} = e^{ 1} + (n+1)·[ n! · ( 1 e^{ 1}· _{k=0}^{n} 1/k! ) ]
= e^{ 1} + (n+1)! (n+1)!·e^{ 1}· _{k=0}^{n} 1/k!.
Factorisation par (n+1)! (en écrivant e^{ 1} = (n+1)!·e^{ 1}·1/(n+1)! ) :
I_{n+1} = (n+1)! · [ 1 e^{ 1}· _{k=0}^{n} 1/k! e^{ 1}·1/(n+1)! ].
Or _{k=0}^{n} 1/k! + 1/(n+1)! = _{k=0}^{n+1} 1/k! ; donc
I_{n+1} = (n+1)! · ( 1 e^{ 1}· _{k=0}^{n+1} 1/k! ).
Conclusion : la propriété est vraie à l ordre n+1. Par récurrence, elle est vraie pour
tout n.
Changement de variable et encadrement
DL1 Exercice 2, Question 4
3) Changement de variable t = ln x.
On pose x = e^{t} (dx = e^{t} dt). Quand x [1, e], t [0, 1].
Alors (ln x)^n / x^2 dx = t^n · e^{ t} dt et
I_n = _{0}^{1} t^n e^{ t} dt.
4) Encadrement.
Sur [0,1], t^n 0 et e^{ t} 1. Donc 0 I_n _{0}^{1} t^n dt = 1/(n+1).
Ainsi, pour tout n : 0 I_n 1/(n+1).
Limites de I_n et de la somme partielle 1/k!
DL1 Exercice 2, Question 4
5) Limites quand n + .
De l encadrement précédent, 0 I_n 1/(n+1) et 1/(n+1) 0, donc par gendarmes :
I_n 0.
À partir de la forme fermée : I_n / n! = 1 e^{ 1} · _{k=0}^{n} 1/k!.
Comme I_n 0, on obtient _{k=0}^{n} 1/k! e.
Conclusion : la série _{k=0}^{ } 1/k! converge vers e, conformément au développement
limité de e^{x} en 0.
