next up previous contents index
suivant: La fonction : Gamma monter: Les réels précédent: La fonction erf :   Table des matières   Index


La fonction erfc : erfc

erfc a comme argument un nombre a.
erfc calcule les valeurs de la fonction erfc au point a.
On a par définition :

erfc(x) = $\displaystyle {\frac{{2}}{{\sqrt{\pi}}}}$$\displaystyle \int_{x}^{{+\infty}}$e-t2dt = 1 - erf (x)

On a :

erfc(0) = 1

erfc() = - 1

En effet on sait que :

$\displaystyle \int_{0}^{{+\infty}}$e-t2dt = $\displaystyle {\frac{{\sqrt{\pi}}}{{2}}}$

On tape :
erfc(1)
On obtient :
0.15729920705
On tape :
1- erfc(1/(sqrt(2)))*1/2
On obtient :
0.841344746069
Remarque
Il y a une relation entre les fonctions erfc et normal_cdf :
normal_cdf (x) = 1 - $ {\frac{{1}}{{2}}}$erfc ($ {\frac{{x}}{{\sqrt{2}}}}$)
En effet :
normal_cdf (x) = $ {\frac{{1}}{{2}}}$ + $ {\frac{{1}}{{\sqrt{2\pi}}}}$$ \int_{0}^{{x}}$e-t2/2dt
donc avec le changement de variables t = u*$ \sqrt{{2}}$
normal_cdf (x) = $ {\frac{{1}}{{2}}}$ + $ {\frac{{1}}{{\sqrt{\pi}}}}$$ \int_{0}^{{\frac{x}{\sqrt{2}}}}$e-u2du = 1 - $ {\frac{{1}}{{2}}}$erfc ($ {\frac{{x}}{{\sqrt{2}}}}$)
On vérifie en tapant :
normal_cdf(1)=0.841344746069



Documentation de giac écrite par Renée De Graeve