## Why does (e^ix)(e^-ix) = 1?

I was doing some math, typed in (eix)(e-ix) and it came out as 1.

I was expecting it to come out as simply ex. Explain pleaseeee thanks =).
 Blog Entries: 9 Recognitions: Homework Help Science Advisor Going to complex numbers doesn't change the rules for the exponential function you (should have) learnt way back in high-school.
 oHHHHHH LOOOOOL yeah I'm dumb. Thanks lol. THat's what I get for a four month summer

Recognitions:
Gold Member
Staff Emeritus

## Why does (e^ix)(e^-ix) = 1?

For those who are a bit concerned about applying exponential formulas to complex numbers, we can use $e^{ix}= cos(x)+ i sin(x)$ so that $e^{-ix}= cos(-x)+ i sin(-x)= cos(x)- i sin(x)$ because sine is an odd function and cosine is an even function.

Then $e^{ix}e^{-ix}= (cos(x)+ i sin(x))(cos(x)- i sin(x))= cos^2(x)- isin(x)cos(x)+ icos(x)sin(x)- i^2sin^2(x)= cos^2(x)+ sin^2(x)= 1$
 And for those that didn't catch the simpler nature of the problem, as dextercioby said, you can use basic laws of exponents: eixe-ix=eix-ix=e0=1. Alternatively: eixe-ix=eix/eix=1. :)

Blog Entries: 8
Recognitions:
Gold Member
Staff Emeritus
 Quote by Eval And for those that didn't catch the simpler nature of the problem, as dextercioby said, you can use basic laws of exponents: eixe-ix=eix-ix=e0=1. Alternatively: eixe-ix=eix/eix=1. :)
Yes, but there is no reason that basic laws of exponents should apply to complex numbers. That requires a proof and Halls provided it.
 Well, micromass, actually there is a BIG reason why the law of exponents should apply to complex numbers. It's because the exp(z) is an analytic continuation of the natural exponent ex that preserves the functional identity: $$f(z_1 + z_2) = f(z_1) f(z_2)$$ This is the rule of exponents. Of course, being analytic, the derivative of this function always exists. Differentiating the above identity w.r.t. z2 and setting z2 = 0 after that, we get the ODE: $$f'(z) = f'(0) f(z)$$ with the initial condition $f(0) = 1$ which follows from the above functional identity by taking z2 = 0 in the beginning. The solution of the above initial value problem is $f(z) = \exp(k \, z)$, where $k \equiv f'(0)$, and the exponential function is given by its Taylor series expansion (Frobenius method): $$\exp(z) = 1 + \sum_{n = 1}^{\infty}{\frac{z^n}{n!}}$$ From this expansion, and the Taylor series expansions of the sine and the cosine, which are to be understood as definitions of the trig functions, we can derive Euler's identity for purely imaginary arguments.

Blog Entries: 8
Recognitions:
Gold Member
Staff Emeritus
 Quote by Dickfore Well, micromass, actually there is a BIG reason why the law of exponents should apply to complex numbers. It's because the exp(z) is an analytic continuation of the natural exponent ex that preserves the functional identity: $$f(z_1 + z_2) = f(z_1) f(z_2)$$
Well, without proof, it isn't clear why such an analytic continuation should exist. You still need to actually define

$$e^z=\sum_{n=0}^{+\infty} \frac{z^n}{n!}$$

and prove that $e^{z+z^\prime}=e^ze^{z^\prime}$. After all, a lot of real-analytic functions do not extend on the complex plane such that the normal rules remain true.

This FAQ seems nice for interested readers: http://www.physicsforums.com/showthr...08#post4080308
 I did not go through the FAQ you had linked, but here's a proof of the sufficient condition. Suppose a function satisfies the initial value problem (IVP): $$f'(z) = k \, f(z), \ f(0) = 1$$ We already showed what the solution to this problem is: $$f(z) = \exp(k \, z)$$ where $\exp(z)$ stands for the Taylor's series. By induction you may prove that: $$f^{(n)}(z) = k^n \, f(z), \ n \ge 0$$ The Taylor's series converges on the whole complex plane. According to Taylor's Theorem, we would have: $$f(z_1 + z_2) = f(z_1) + \sum_{n = 1}^{\infty}{\frac{f^{(n)}(z_1)}{n!} \, z^n_2}$$ $$f(z_1 + z_2) = f(z_1) \, \left[ 1 + \sum_{n = 1}^{\infty}{\frac{(k \, z_2)^n}{n!}} \right]$$ $$f(z_1 + z_2) = f(z_1) \, \exp(k \, z)$$ $$f(z_1 + z_2) = f(z_1) \, f(z_2)$$ Therefore, we proved that this form of a function is also a sufficient, apart from being a necessary condition for the validity of the Laws of exponentials.
 Blog Entries: 8 Recognitions: Gold Member Science Advisor Staff Emeritus Yep. So you can't say that the basic laws of exponents hold without going through such an argument first. That was what I said.
 Sure, but show me a proof of Euler's identity that was used in post #4!

Blog Entries: 8
Recognitions:
Gold Member
Staff Emeritus
 Quote by Dickfore Sure, but show me a proof of Euler's identity that was used in post #4!
Why do you need a proof? It can also be accepted as definition of the complex exponential. It is easy to show that

$$e^{x+iy}=e^x (cos(y)+i sin(y))$$

also is an analytic continuation of the real exponential. So in this case, Euler's identity becomes a definition. There is nothing mathematically wrong with this approach.
 So, then, poster #2 was not wrong.

Blog Entries: 8
Recognitions:
Gold Member
Staff Emeritus
 Quote by Dickfore So, then, poster #2 was not wrong.
No, he wasn't.

 Quote by Dickfore Sure, but show me a proof of Euler's identity that was used in post #4!