Correction

d’après ENAC Pilotes 1989

X
f : x ֏ e −x est une fonction continue positive donc F : X → ∫ e−t dt est croissante.
2 2
1.
0
1 X 1 1
Pour t ≥ 1 , e−t ≤ e−t donc F (X ) ≤ ∫ e−x dx + ∫ e−x dx ≤ ∫ e−x dx + 1− e−X ≤ ∫ e−x dx + 1 .
2 2 2 2

0 1 0 0

Ainsi la fonction F est majorée. Par suite F converge en +∞ .

π 2 π 2
a0 = ∫ et a1 = ∫ cos x dx = 1 .
π
2.a dx =
0 2 0

2.b x ֏ cosn +1 x est continue, positive sans être la fonction nulle sur [0, π 2] donc an +1 > 0 .
x ֏ cosn x − cosn +1 x = cosn x (1− cos x ) est aussi continue, positive sans être la fonction nulle sur
[0, π 2] donc an > an +1 .
π 2 π 2 π 2
2.c an = ∫ cosn x dx = ∫ (1− sin 2 x ) cosn −2 x dx = an −2 − ∫ sin 2 x cosn−2 x dx
0 0 0

 1 
π 2
1 π 2 1
donc an = an −2 + 
 n −1
sin x cosn −1 x  −
 0
∫
n −1 0
cosn x dx = an−2 −
n −1
an

n −1
d’où la relation an = an −2 .
n
2.d Par récurrence sur n ∈ ℕ∗ :
π
Pour n = 1 : nanan −1 = .
2
Supposons la propriété établie au rang n ≥ 1 :
π
(n + 1)an +1an = nan −1an = .
2
Récurrence établie.
n n a a
2.e an +1 < an < an−1 donne an−1 < an < an −1 puis < n < 1 d’où lim n = 1 .
n +1 n + 1 an−1 n →+∞ an−1

π π π
2.f Le résultat ci-dessus donne an−1 ∼ an et la relation nanan −1 = conduit à nan2 ∼ d’où an ∼ .
2 2 2n
Il en découle an 
n →+∞
→0 .
x −1 0 +∞
1 x +∞ +∞
3. h est dérivable sur ]−1, +∞[ et h ′(x ) = 1− = d’où : .
1+ x 1+ x h (x ) ց ր
0
Il en découler : ∀x ∈ ]−1, +∞[ ,ln(1 + x ) ≤ x .
X dx
4.a La fonction X ֏ ∫ est évidemment croissante de part la positivité de la fonction intégrée.
 x 2 
n
0
1 + 
 n 
X
X dx arctan dt
Le changement de variable proposé donne ∫ 0  x2 
n
=∫
0
n
(1 + tan 2 t )n−1
.
1 + 
 n 
 X dx
∫
π
On en déduit ≤ .
 x 2 
n
0 2
1 + 
 n 
X dx
La fonction X ֏ ∫ étant croissante et majorée, elle converge en +∞ et cn existe.
 x2 
n
0
1 + 
 n 
   x2
 x2   x2
n
n ln1− 
x2 x2
∀x ∈  0, n  , 1−  = e  ≤ e −x car − ∈ ]−1,0] donc ln 1−  ≤ − .
 n 2
4.b
   n  n  n  n
n
Par suite : bn ≤ ∫ e −x dx .
2

0
−n  x 2

 x2 −n ln1+ 
x2  x2  x2
∀x ∈  0, n  , 1 +  
≥ 0 donc ln 1 +  ≤
 n
≥ e −x car
2
=e .
   n  n  n  n
n n dx +∞ dx
∫ e −x dx ≤ ∫ ≤∫
2
Par suite .
 x 2 n   x 2 
n
0 0 0
1 +  1 + 
 n   n 

4.c Pour réexprimer bn , réalisons le changement de variable : x = n sin t :

n cos t (1− sin 2 t ) dt = na 2n +1 .

π 2 n
bn = ∫
0

Pour réexprimer cn , réalisons le changement de variable : x = n tan t :

π 2 dt π 2 dt 1
cn = ∫ n (1 + tan 2 t ) = n∫ n −1
= na 2n −2 car = 1 + tan 2 t .
0 (1 + tan t )
2 n
0 (1 + tan t )
2
cos 2 t
n +∞
et ∫ e −x dx → ∫
π π
e −x dx
2 2
5. bn = na 2n +1 ∼ , cn = na 2n −2 ∼
2 2 0 0

+∞
≤∫
π 2 π
L’encadrement de 4.b donne à la limite : e −x dx ≤ .
2 0 2
+∞
Finalement voilà la valeur de l’intégrale de Gauss : ∫
2 π
e −x dx = .
0 2