How to prove Euler's formula: e^{i\phi}=\cos(\phi)+i\sin(\phi)?

Answered question

2022-01-17

How to prove Eulers

Answer & Explanation

nick1337

nick1337

Expert2022-01-19Added 777 answers

Step 1Proof:Consider the functionf(t)=eit(cost+isint)for tR. By the product rulef(t)=eit(icostsint)ieit(cost+isint)=0identically for all tR. Hence, f is constant everywhere.Since f(0)=1, it follows that f(t)=1 identically.Therefore,eit=cost+isintfor alltR,as claimed.
Vasquez

Vasquez

Expert2022-01-19Added 669 answers

Step 1 Assuming you mean eix=cosx+isinx, one way is to use the MacLaurin series for sine and cosine, which are known to converge for all real x in a first-year calculus context, and the MacLaurin series for ez, trusting that it converges for pure-imaginary z since this result requires complex analysis. The MacLaurin series: sinx=n=0(1)n(2n+1)!x2n+1=xx33!+x55! cosx=n=0(1)n(2n)!x2n=1x22!+x44! ez=n=0znn!=1+z+z22!+z33!+ Substitute z=ix in the last series: eix=n=0=1+ix+(ix)22!+(ix)33!+ =1+ixx22!ix33!+x44!+ix55! =1x22!+x44!++i(xx33!+x55!) =cosx+isinx
alenahelenash

alenahelenash

Expert2022-01-24Added 556 answers

Well this question actually boils down to How is the complex exponential defined? Here is my view of this problem: Let f(x+iy)=ex(cos(y)+isin(y)) Then f has continuous partial derivatives fx and fy, and verifies the Cauchy-Riemann equations, thus it is analytic. Moreover, for any z1, z2C we have f(z1+z2)=f(z1)f(z2) Last but not least f(x)=ex for all xR In particular we showed that ex can be extended to an analytic complex function, and the theory tells us that such extension is unique. Now, since f(z) is the unique analytic extension of ex to the complex plane, and it also satisfies the exponential relation f(z1+z2)=f(z1)f(z2), we call this function ez

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?