Proving the formula with Taylor Series
The Power series and the Taylor Series:
First, let's see the definition of a Power series at 0:
$$f(x) = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + ... + a_\infty x^\infty$$
Which is:
$$f(x) = \sum_{n=0}^\infty a_n x^n$$
How to find a Taylor series?
In functions whose derivative eventually end up resulting in the function itself (maybe changed by constants), we can create lots of equations of different orders, by derivating our known function and the sum.
By taking advantage of the fact that making x=0
in those equations will always result in a single constant (all other constants will vanish or be multiplied by 0), we will then find the values for the constants and indentify a pattern that will lead us to know all the values of the a
constants up to infinity.
See:
$$\ f(x) = a_0 + a_1 x +\ a_2 x^2 + \ a_3 x^3 \ + ... + a_n x^n \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ $$
$$f'(x) = 0 + \ \ a_1 \ + 2 a_2 x + 3a_3 x^2 + ... + \ \ \ na_n x^{n-1}\ \ \ \ \ \ \ \ \ $$
$$f''(x) = 0 + \ \ 0\ \ + \ \ 2 a_2\ + 6a_3 x \ + ... + \ n(n-1)a_n x^{n-2}$$
And if we make x=0
:
$$f(0) = a_0$$
$$f'(0) = a_1$$
$$f''(0) = 2a_2$$
$$f'''(0) = 6a_3$$
$$\frac{d^nf(0)}{dx^n} = (n!)a_n$$
Finding the series of the exponential
The easiest one, where its derivative is itself:
$$f(x) = f'(x) = f''(x) = ... = e^x$$
From where you get for x=0
:
$$a_0 = a_1 = 2a_2 = 6a_3 = ... = 1$$
Then:
$$a_n = 1/n! \ \ \ \Longrightarrow \ \ \ e^x = \sum_{n=0}^\infty \frac{x^n}{n!}$$
Exponential with an imaginary expoent:
$$f(0) = e^{0i} = +1 = a_0$$
$$f'(0) = ie^{0i} = +i = a_1$$
$$f''(0) = i^2e^{0i} = -1 = 2!a_2$$
$$f'''(0) = i^3e^{0i} = -i = 3!a_3$$
$$f''''(0) = i^4e^{0i} = +1 = 4!a_4$$
Notice the pattern: +1; +i; -1; -i; +1; +i; -1; -i; ...
We see we've got shifting signs and a real and an imaginary parts: the real part taking even values of n
and the imaginary part taking odd values of n
.
$$e^{ix} = \sum_{n=0}^\infty \frac{(-1)^n x^{2n} }{(2n)!} + i \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!}$$
Sinus and cosinus:
Now, here is the magic!
Follow the same process to get the Taylor series for these two.
For the sinus:
$$f(0) = +sin(0) = 0 = a_0$$
$$f'(0) = +cos(0) = +1 = a_1$$
$$f''(0) = -sin(0) = 0 = 2!a_2$$
$$f'''(0) = -cos(0) = -1 = 3!a_3$$
$$f''''(0) = +sin(0) = 0 = 4!a_4$$
Look at the shifting pattern! And look at the skipped constants (the zeros).
$$sin(x) = \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!}$$
And the cosinus:
$$f(0) = +cos(0) = +1 = a_0$$
$$f'(0) = -sin(0) = 0 = a_1$$
$$f''(0) = -cos(0) = -1 = 2!a_2$$
$$f'''(0) = +sin(0) = 0 = 3!a_3$$
$$f''''(0) = +cos(0) = +1 = 4!a_4$$
Exactly the complement of the sinus:
$$cos(x) = \sum_{n=0}^\infty \frac{(-1)^n x^{2n}}{(2n)!}$$
Conclusion
And voilà!!!! Like a charm:
$$e^{ix} = cos(x) + i*sin(x)$$
This conclusion does make me wonder and wonder. And I really can't understand what it means, but it's certainly one of the most magical and misterious things about Math I've seen....
I mean... I don't even know what an imaginary number is supposed to be, and then you make it exponential....
But the scret lies in the fact that, derivating all the functions, a cycling pattern appears.
The exponential generates increasing powers of i
, which will create the +1, +i, -1, -i cycle.
The sinus and the cosinus also cycle when derivated: +sin, +cos, -sin, -cos.
It happens that both cycles match.