Soit
x⩾0.
On a :
J=∫01e−x2dx+∫1∞e−x2dxLa fonction
x⟼e−x2 est continue sur
R+ donc elle est localement intégrable. L'intégrale
∫01e−x2dx converge donc.
Soit
t un nombre réel supérieur ou égal à
1. On a :
t⩽t2Donc :
−t⩾−t2Comme la fonction exponentielle est strictement croissante sur
R alors elle y conserve l'ordre. Ainsi, on a :
e−t⩾e−t2Or l'intégrale
x⟶+∞lim∫1xe−tdt est de nature converge. D'après ce qui précède, cette dernière intégrale majore l'intégrale
x⟶+∞lim∫1xe−t2dt. Ainsi cette intégrale est de nature convergente.
Or, on a :
x⟶+∞lim∫1xe−t2dt=∫1+∞e−t2dtCela nous permet d'affirmer que l'intégrale
∫1∞e−x2dx est de nature convergente.
Finalement, on vient de démontrer que l'intégrale
J=∫0∞e−x2dx est elle même convergente.