Equivalence of Definitions of Real Exponential Function/Power Series Expansion equivalent to Differential Equation

Series implies Solution of Differential Equation
Let $\exp x$ be the real function defined as the sum of the power series:


 * $\exp x := \ds \sum_{n \mathop = 0}^\infty \frac {x^n} {n!}$

Let $y = \ds \sum_{n \mathop = 0}^\infty \frac {x^n} {n!}$.

Then:

Setting $x = 0$ we find:

That is:

$\exp x$ is the particular solution of the differential equation:
 * $\dfrac {\d y} {\d x} = y$

satisfying the initial condition $\map f 0 = 1$.

Solution of Differential Equation implies Series
Let $\exp x$ be the real function defined as the particular solution of the differential equation:
 * $\dfrac {\d y} {\d x} = y$

satisfying the initial condition $\map f 0 = 1$.

We have Taylor Series Expansion for Exponential Function: