Error Function of Zero

Theorem

$\map \erf 0 = 0$

where $\erf$ denotes the error function.

Proof

By Error Function is Odd, $\erf$ is a odd function.

Therefore, by Odd Function of Zero is Zero:

$\map \erf 0 = 0$

$\blacksquare$

Sources

• 1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $\S 35$: Error Function $\ds \map \erf x = \frac 2 {\sqrt \pi} \int_0^x e^{-u^2} \rd u$: $35.3$