Bourbaki

Exercice 33, § 1

Fonctions d’une variable réelle, III, p. 31

a) Calculer les intégrales

∫01(1−x2)n dx,∫0+∞dx(1+x2)n \int_0^1 (1 - x^2)^n \, dx, \qquad \int_0^{+\infty} \frac{dx}{(1 + x^2)^n}
pour nn entier >0> 0, à l’aide de l’exerc. 31.

b) Montrer que l’on a

1−x2≤e−x2pour 0≤x≤1e−x2≤11+x2pour x≥0. 1 - x^2 \leq e^{-x^2} \quad \text{pour } 0 \leq x \leq 1 \\ e^{-x^2} \leq \frac{1}{1 + x^2} \quad \text{pour } x \geq 0.

c) Déduire de a) et b) et de la formule de Wallis (exerc. 32) que

∫0+∞e−x2 dx=π2. \int_0^{+\infty} e^{-x^2} \, dx = \frac{\sqrt{\pi}}{2}.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.