Saturday, 14 June 2014

complex numbers - Physical Proof of Euler's Formula



I would like to construct a geometrical or physical proof of Euler's Formula eix=cosx+isinx. If anyone has constructed such a proof before I would love to see it, if not, I would like some guidance. Currently I'm thinking of how Euler's formula could be arrived mapping imaginary numbers onto the unit circle, but I feel as thought something is missing; any help would be greatly appreciated.


Answer



If we want to define a function f:RC, f(t)=eit in a way that meshes with our formulas for the real exponential function, it makes sense to require that f(0)=1 and f(t)=if(t). Let's prove that we must then have f(t)=cost+isint.




Write f(t)=x(t)+iy(t). We have f(t)=x(t)+iy(t). First note that
(d/dt)|f(t)|2=(d/dt)(x(t)2+y(t)2)=2x(t)x(t)+2y(t)y(t)=Re[2¯f(t)f(t)]=Re[2¯f(t)if(t)]=0
since ¯f(t)f(t) is real. It follows that |f(t)| is constant. Considering the initial condition f(0)=1, this implies that |f(t)|=1, so f(t) moves around the unit circle.



Noting further that |f(t)|=|if(t)|=|f(t)|=1, this implies that f(t) moves around the unit circle at a constant speed of 1. Finally, since f(t)=if(t), it always moves at a velocity that is rotated 90 counterclockwise from its radius vector.



In conclusion, f(t) starts at 1 and moves counterclockwise around the unit circle at a velocity of 1. In other words, f(t)=cost+isint (as the stated conditions can practically be taken as a geometric definition of the sine and cosine functions).


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...