xn
1. Soit n , u : x et v : x e x sont de classe C sur donc d’après les théorèmes
n!
généraux, f est de classe C sur .
2. f(n) existe pour tout entier n donc la suite de fonctions (Ln) est bien définie.
2.a. x ,
1
L0(x) =exf0(x) = 1 L1(x) = exf1’(x) = -x+1 L2(x) = exf2’’(x) = x² 2x 1
2
On conjecture ici que Ln est un polynôme de degré n.
2.b. On calcule fn(n)(x) à l’aide de la formule de Leibniz :
n n
n (k) n (n k)
x , fn(n) (x)
k
k 0
u (x)v (n k)
(x)
u
k
k 0
(x)v(k) (x)
n (n 1) ... (k 1) k xk
Or u(n k) (x) x et v(k) (x) (1)k e x donc,
n! k!
n
n ( 1)k
x , fn(n) (x) k
k0
k!
x ke x
n
n ( 1)k k
Comme, x , Ln(x) = exfn(n)(x), on obtient, x , Ln (x)
k k!
k 0
x
n
n ( 1) k
2.c. D’après la question précédente, x , Ln (x)
k0
ak xk avec k 0, n , ak =
k k !
donc,
n
n ( 1)k
Notons que formellement, Ln k
k 0
k!
Xk .
xn 1 x
3.a. x , fn+1(x) = e donc,
(n 1) !
(n 1)xn x xn 1 x xn x xn 1 x
f’n+1(x) = e e e e fn (x) fn 1 (x) .
(n 1) ! (n 1) ! n! (n 1) !
3.b. Soit x , on a Ln(x) = ex. fn(n) (x) donc L'n (x) ex .fn(n) (x) ex .fn(n 1) (x) .
De même, Ln+1(x) = ex. fn(n11) (x) donc L'n 1 (x) ex .fn(n11) (x) ex .fn(n12) (x) .
Par suite, x , L'n 1 (x) ex .fn(n1 1) (x) ex . fn(n 1) (x) fn(n
1
1)
(x) ex .fn(n 1) (x) Ln' (x) Ln (x).
4.b. On a fn+1 = gfn avec g et fn de classe C sur , donc on peut dériver (n+1) fois la relation
précédente en utilisant la formule de Leibniz :
n 1
n 1 (k)
n , x , fn(n11) (x)
k 0
k
g (x)fn
(n 1 k)
(x) .
1
Or g’(x) = et k ≥ 2, g(k)(x) = 0 donc
n1
n 1 (0) n 1 ' x (n 1) n 1 (n)
n , x , fn(n1 1) (x) g (x)fn
(n 1)
(x) (n)
g (x)fn (x) fn (x) f (x).
0 1 n 1 n1 n
En multipliant par (n+1)ex > 0, on obtient :
n , x ,
(n 1) Ln 1 (x) x.(L'n (x) Ln (x)) (n 1)Ln (x) (n 1) Ln 1 (x) x. L'n (x) (n 1 x)Ln (x) .
Partie 1 : Propriétés de In = 0
2
sin n tdt où n .
1.a. I0 dt et I1 sin t.dt cos t 2 1 .
2 2
0 2 0 0
Soit n , on effectue le changement de variable affine u = -t, dans In :
2
0
In sinn t.dt sinn ( u).( du) cosn u.du cosn t.dt
2 2 2
0
2
2 0 0
1.b. sinn est continue et croissante sur [0, ], donc, t[0, ], n , 0 ≤ sinnt ≤ 1.
2 2
Comme x sinn x n’est pas la fonction nulle sur [0, ], alors In > 0.
2
De plus n , In – In+1 = sinn t.dt sin n 1 t.dt sin n t.(1 sin t).dt .
2 2 2
0 0 0
Comme, t[0, ], sinnt(1-sint) ≥ 0, on a In – In+1 ≥ 0 par croissance de l’intégrale.
2
CCl : n , 0 < In+1 ≤ In.