Calcul de l’intégrale de Gauss

+∞ X
L’objectif de ce problème est de calculer I = ∫ e −x dx = lim ∫
2
e−x dx .
2

0 X →+∞ 0

X
Montrer que la fonction X ֏ ∫ e−x dx est croissante et majorée.
2
1.
0

En déduire l’existence de la limite définissant I .

π 2
2. Pour n ∈ ℕ , on pose an = ∫ cosn x dx .
0

2.a Calculer a 0 et a1 .
2.b Démontrer l’inégalité stricte : 0 < an +1 < an .
2.c En supposant n ≥ 2 , former une relation de récurrence liant an et an −2 .
π
2.d Montrer que, si n ≥ 1 , on a l’égalité : nanan −1 = .
2
2.e On suppose toujours n ≥ 1 .
an
A l’aide de l’encadrement : an +1 < an < an−1 déterminer lim .
n →+∞ an−1
2.f A l’aide des résultats précédents, déterminer lim an et déterminer un équivalent de an lorsque n tend
n →+∞

vers +∞ .
3. Soit x élément de ]−1, +∞[ . On pose h (x ) = x − ln(1 + x ) .
Etudier les variations de h sur ]−1, +∞[ .
Quelle inégalité en déduit-on ?
4. On pose, n désignant un entier strictement positif :
n x2 
n
+∞
bn = ∫ 1−  dx et cn = ∫
dx X dx
= lim ∫ .
0  n  0  x 2 
n X →+∞ 0 
x 2 n

1 +  1 + 
 n   n 
X dx
4.a Réaliser le changement de variable x = n tan t sur ∫ 0  x 2 
n
et en déduite l’existence de la limite
1 + 
 n 
définissant cn .
4.b En employant, notamment, l’inégalité trouvée dans la question 3, démontrer la double inégalité :
n
bn ≤ ∫ e −x dx ≤ cn .
2

4.c A l’aide de changements de variable convenablement choisis, exprimer bn et cn à l’aide des intégrales
a 2n +1 et a 2n −2 .
5. A l’aide des résultats précédents, déterminer la valeur de I .
 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 = ∫ sin x dx = 1 .
π
2.a dx =
0 2 0

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

 1 
π 2
1 π 2 1
donc an = an −2 − 
 n −1
cos x sinn −1 x  −
 0
∫
n −1 0
sin n 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