Deje que $E_n(x):= \sum_ {k=0}^n\, \frac {x^k}{k!}$ para $n=0,1,2, \ldots $ . Demostraremos que $E_n(x)$ no tiene verdaderas raíces si $n$ es parejo, y $E_n(x)$ tiene exactamente una raíz real, que es simple, si $n$ es impar.
Supongamos que $n$ es parejo. Claramente, $E_n(x)$ no tiene raíces en $ \mathbb {R}_{ \geq 0}$ . Por el Teorema de Taylor, tenemos $ \exp (x)=E_n(x)+R_n(x)$ donde el plazo restante viene dado por $$R_n(x)= \int_0 ^x\, \frac { \exp ^{(n+1)}(t)}{n!}\,(x-t)^n\, \text {d}t= \int_0 ^x\, \frac { \exp (t)}{n!}\,(x-t)^n\, \text {d}t\,.$$ Si $x<0$ Entonces $$R_n(x)=- \int_0 ^{|x|}\, \frac { \exp (-t)}{n!}\,|x+t|^n\, \text {d}t<0\,.$$ Eso es, $$E_n(x)= \exp (x)-R_n(x)> \exp (x)>0$$ para todos $x<0$ . Eso es, $E_n(x)$ tampoco tiene raíces negativas; es decir, $E_n(x)$ no tiene verdaderas raíces.
Si $n$ es impar, entonces $E'_n(x)=E_{n-1}(x)$ no tiene verdaderas raíces. Por lo tanto, $E_n(x)$ puede tener como mucho una raíz real, debido al Teorema de Rolle. Claramente, $E_n(x)$ tiene una raíz real, siendo un polinomio en $ \mathbb {R}[x]$ de un grado impar. Por consiguiente, $E_n(x)$ tiene exactamente una raíz real, que es simple.