MPSI 3 - Fermat Pour le 19.00.

16
2016-2017

Devoir à la maison n◦ 3
CORRECTION
————————————————————–

Exercice
On pose
x2
et
Z
H(x) = dt.
x t
ex
Pour l’ensemble de l’exercice, on note ϕ :]0, +∞[→ R, x 7→ x .

1. ϕ est continue sur R∗+ (fraction de fonctions continues).

Donc elle admet une primitive Φ, de classe C 1 sur R∗+ .
On a alors pour tout x > 0, H(x) = Φ(x2 ) − Φ(x),
2
2ex − ex
H est de classe C 1 sur R∗+ et H 0 : x 7→ 2xΦ0 (x2 ) − Φ0 (x) =
x

Puis,
2
0 2ex − ex 2
H (x) 6 0 ⇐⇒ 6⇐⇒ 2ex 6 ex
x
Et comme la fonction ln est croissante, en composant par la fonction ln :

H 0 (x) 6 0 ⇐⇒ ln 2 + x2 6 x ⇐⇒ x2 − x + ln 2 6 0

Le discriminant de x2 − x + ln 2 est ∆ = 1 − 4 ln 2 = 1 − ln 16 < 0 car 16 > e.

Donc pour tout x, x2 − x + ln 2 > 0 et finalement :

H est strictement croissante sur R∗+

(x − 1)ex
2. (a) ϕ est de dérivable sur R∗+ et pour tout x ∈ R∗+ , ϕ0 (x) = .
x2
On a donc les variations suivantes :
x 0 1 +∞
f 0 (x) − 0 +
+∞ +∞
f & e %

ex ex
On note dans le tableau lim+ = +∞ et lim = +∞ (croissance comparée).
x→0 x x→+∞ x

(b) D’après le tableau de variation, pour tout x > 0, ϕ(x) > e, donc si x > 1 et ainsi x2 > x :
Z x2
H(x) > edt = e(x2 − x) −→ +∞
x x→+∞

Et
H(x)
> e(x − 1) −→ +∞
x x→+∞

Donc, par majoration,

lim H(x) = +∞ et CH admet une direction parabolique verticale en +∞

x→+∞

(c) Pour l’étude en 0, le problème (H → ∞) est dû à la fraction 1t , c’est donc elle que l’on va
encadrer :
1 e
∀ t ∈ [0, 1] 6 ϕ(t) 6
t t
2
Puis si x < 1 et ainsi x < x et donc par croissance (ici les bornes sont dans le bon sens) :
Z x Z x Z x
x 1 e x
[ln(t)]x2 = dt 6 ϕ(t)dt 6 dt = [e ln(t)]x2
x 2 t x2 x 2 t
 Donc en multipliant par (−1) (inversion des ordres) :
ln(x) = − ln x + ln(x2 ) > H(x) > e ln x
On a donc par encadrement,

lim H(x) = −∞, et CH admet une asymptote verticale d’équation x = 0

x→0

1
et 2e1 − e1
Z
On peut tracer H, en remarquant que H(1) = dt = 0 et H 0 (1) = =e
1 t 1

0 1 2
−1

−2

−3

Problème : Étude des intégrales de Wallis

On considère la suite (In ) définie pour tout entier naturel n par :
Z π2
n
In = (sin x) dx
0

I Etude classique de la suite (In )

Z π Z π
2
0
2 π
1. On a I0 = (sin x) dx = 1dx = .
2
Z0 π2 Z0 π2
1 π/2
On a I1 = (sin x) dx = sin xdx = [− cos x]0 = −(0 − 1) = 1.
0 0
Donc
π
I0 = et I1 = 1
2
2. Les fonctions u : x 7→ sinn+1 (x) et v : x 7→ − cos x sont de classe C 1 sur [0, π2 ],
et u0 : x 7→ (n + 1) cos x sinn x et v 0 : x 7→ sin x.
On peut appliquer une intégration par parties :
Z π/2 Z π/2
0 π/2
In+2 = u(x)v (x)dx = [u(x)v(x)]0 − u0 (x)v(x)dx
0 0

π/2
Z π/2
= sinn+1 (x) cos(x) 0 + (n + 1) cos2 (x) sinn (x)dx

0
Or cos2 (x) = 1 − sin2 (x) et cos( π2 ) = 0, sinn+1 (0) = 0, donc
!
Z π/2 Z π/2
n n+2
In+2 = (n + 1) (n + 1) sin (x)dx − (n + 1) sin (x)dx = (n + 1)(In − In+2 )
0 0

Donc
n+1
In+2 = In
n+2
 2p + 1 2p − 1
3. On a donc I2(p+1) = I2p+2 = I2p , ou encore I2p = I2(p−1) .
2p + 2 2p
Ainsi par télescopage multiplicatif :
p p Qp Qp
I2p Y I2k Y (2k − 1) k=1 (2k − 1) (2k − 1)(2k) (2p)!
= = = Qp = k=1 Qp 2 = p 2
I0 I2(k−1) (2k) k=1 (2k) ( (2k)) (2 ) (p!)2
k=1 k=1 k=1

2p
On a donc I2p+1 = I2p−1 , Ainsi par télescopage multiplicatif :
2p + 1
p p Qp Qp 2
I2p+1 Y I2k+1 Y (2k) k=1 (2k) ( k=1 (2k)) (2p )2 (p!)2
= = = Qp = Qp =
I1 I2k−1) (2k + 1) k=1 (2k + 1) k=1 (2k + 1)(2k) (2p + 1)!
k=1 k=1

π
Finalement, comme I0 = 2 et I1 = 1, on a donc

(2p)! π 22p (p!)2

∀ p ∈ N, I2p = et I2p+1 =
22p (p!)2
2 (2p + 1)!

4. Pour tout x ∈ [0, π2 ], 0 6 sin x 6 1,

donc en multipliant par sinn x(> 0) : 0 6 sinn+1 x 6 sinn x.
Puis en intégrant : In+1 6 In .
Ainsi la suite (In ) est décroissante et donc :

pour tout entier naturel n : In+2 ≤ In+1 ≤ In .

5. On divise tout par In > 0 (division de factorielles, non nulles) :

In+2 In+1
6 61
In In
n+1 In+2 n+1 n+1
Puis comme In+2 = In , on a donc = Or la suite ( n+2 ) converge vers 1. Donc
n+2 In n+2
d’après le théorème d’encadrement :
 
In+1 In+1
admet une limite quand n tend vers +∞ et lim =1
In In

Or d’après les calculs précédents, pour tout p ∈ N :

22p (p!)2
I2p+1 (2p + 1)! 24p (p!)4 2 24p (p!)4 2
= = × = ×
I2p (2p)! π (2p)!(2p + 1)! π (2p)!(2p)! (2p + 1)π
22p (p!)2 2
Donc
24p (p!)4 2pπ I2p+1
2
= −→ π
(2p)! p p + 1 I2p p→+∞

II Une autre méthode

1. L’application x 7→ π2 − x est C 1 -bijective de [0, π2 ] sur [0, π2 ],
le changement de variables t = π2 − x donne donc
π
Z π/2 Z 0 Z
π 2
In = sinn xdx = sinn ( − t)(−dt) = (cos t)n dt
0 π/2 2 0

Puis, de même le changement u = π − t, donne :

π
Z π/2 Z π/2 Z 2
In = cosn tdt = cosn (π − u)(−du) = (−1)n (cos u)n du
0 π 0

car cos(π − u) = − cos u. Finalement :

π
Z 2
Z π
In = (cos t)n dt = (−1)n (cos u)n du
π
0 2
 2. Soit p ∈ N. On note Jp , l’intégrale
Z π  eit + e−it 2p Z 2p 
πX 
1 2p kit −i(2p−k)t
Jp = dt = 2p e e dt
0 2 2 0 k
k=0

Puis par linéarité de l’intégrale

2p   Z π
1 X 2p
Jp = ei(2k−2p)t dt
22p k 0
k=0

1
Ensuite, il s’agit d’intégrer t 7→ e2i(k−p)t . Si k − p 6= 0, une primitive est t 7→ e2i(k−p)t .
2i(k − p)
Et si k = p, une primitive de cette fonction est tout simplement t 7→ t.
Par conséquent :
2p   π  
1 X 2p 1 2i(k−p)t 1 2p π
Jp = 2p e + 2p [t]0
2 k 2i(k − p) 0 2 p
k=0,k6=p

Or eiπ = −1, et puisque (−1)2k−2p = 1, on a :

2p      
1 X 2p 1 1 2p 1 2p
Jp = 2p (1 − 1) + 2p π = 2p π
2 k i2i(k − p) 2 p 2 p
k=0,k6=p

3. Pour n = 2p, pair :

Z π Z π/2 Z π
Jp = cos2p (t)dt = cos2p (t)dt + cos2p (t)dt = I2p + (−1)2p I2p = 2I2p
0 0 π/2

Et donc  
1 1 2p (2p)! π
I2p = π = 2p
2 22p p 2 (p!)2 2

III Une autre intégrale

Soit n ∈ N, On fait le changement de variable x = sin t, permis car t 7→ sin t est bijective de [0, π2 ]
q
sur [0, 1] : On a alors 1 − sin2 (t) = | cos(t)| = cos t, pour t ∈ [0, π2 ] et dx = cos tdt
Z 1 Z π/2  
n
p
n n+1 1
Ln = x 1− x2 dx = sin (t) cos(t) cos(t)dt = In − In+2 = 1− In = In
0 0 n+2 n+2

Donc 
(2p)! π
si n = 2p


1 2p 2
2 (p!) 2(2p + 2)

Ln = In =
n+2 22p (p!)2
si n = 2p + 1


(2p + 1)!(2p + 3)
