as a function of a real variable, apparently. Part of the freedom in choosing a proof is that you get to choose what definition of $e^{ix}$ to start from -- do you use a differential equation? a power series? a definition in terms of trig functions? Another bit of freedom is that you get to choose what definition of $\pi$ to start from.
|
|
$$ e^{ix} = \cos x + i \sin x \ . $$ |
|||||||||||
|
|
My favorite has always been Walter Rudin's proof in the prologue to his "Real and Complex Analysis" (2nd Ed.). Here's a sketch:
|
||||
|
|
|
$$e^{ix} = e^{i(x+T)} = e^{ix}e^{iT}$$ We have to find $T$ for which $e^{iT} = 1$ $$\rightarrow cos(T) + isin(T) = 1$$ $$\rightarrow sin(T) = 0$$ for all $$T = 2n\pi , n = 0,1,2,3...$$ So, period is $2\pi$. |
||||
|
|
