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

1. Oct 3, 2012

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 =).

2. Oct 3, 2012

### dextercioby

Going to complex numbers doesn't change the rules for the exponential function you (should have) learnt way back in high-school.

3. Oct 3, 2012

oHHHHHH LOOOOOL

yeah I'm dumb. Thanks lol. THat's what I get for a four month summer

4. Oct 3, 2012

### HallsofIvy

Staff Emeritus
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$

5. Oct 4, 2012

### 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.

:)

6. Oct 4, 2012

### micromass

Staff Emeritus
Yes, but there is no reason that basic laws of exponents should apply to complex numbers. That requires a proof and Halls provided it.

7. Oct 4, 2012

### 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)$$
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.

8. Oct 4, 2012

### micromass

Staff Emeritus
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.

Last edited by a moderator: May 6, 2017
9. Oct 4, 2012

### Dickfore

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.

10. Oct 4, 2012

### micromass

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.

11. Oct 4, 2012

### Dickfore

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

12. Oct 4, 2012

### micromass

Staff Emeritus
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.

13. Oct 4, 2012

### Dickfore

So, then, poster #2 was not wrong.

14. Oct 4, 2012

### micromass

Staff Emeritus
No, he wasn't.

15. Oct 5, 2012

### Eval

Also, I wish I had replied yesterday. Micromass is completely correct. We needed to define how exponentiation works when it is extended to complex powers. Until that point, we cannot simply assume how it works. In my post, all I had to say was that complex numbers are closed under addition and multiplication. Then, you can derive my solution.

16. Oct 5, 2012

### Dickfore

Why did you define the exponential through the Maclaurin series in step 1?

17. Oct 5, 2012

### Eval

Since that is a valid representation of eu, you can see how it leads to representing an imaginary power of e directly to a function of cosine and sine. I think this is how Euler showed the identity, too.

18. Oct 5, 2012

### Dickfore

But, that is called an ANALYTIC CONTINUATION of the exponential. In this case, it is done through the Taylor's (Maclaurin) series expansion, which has the same form for real and complex arguments, but the radius of convergence is infinite, and so the continuation is valid on the whole complex plane.

I showed in an earlier post that such a function satisfies the exponential rule directly, without invoking any cosines or sines.