Euler's identity


by SW VandeCarr
Tags: euler, identity
SW VandeCarr
SW VandeCarr is online now
#1
Oct14-09, 09:10 PM
P: 2,490
[tex]e^{i\pi}=-1[/tex]

[tex]e^{i\frac{\pi}{2}}=i[/tex]

but

[tex]e^{i\frac{\pi}{3}}\neq-1[/tex]

I know there are infinitely many solutions here, but I would expect the third result should include -1 as the cube root of itself. However [tex]e^{\pm ix}=cos(x)\pm{isin(x)}[/tex] would not seem to give -1 for any solution for [tex]x=\frac{\pi}{3}[/tex]. Where am I going wrong here?
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
zpconn
zpconn is offline
#2
Oct14-09, 09:31 PM
P: 243
I'm not sure what you mean by "infinitely many solutions."

If [tex]z = r\exp(i\theta)[/tex] with [tex]r > 0[/tex] and [tex]\theta \in [0,2\pi)[/tex], then [tex]z = w^n[/tex] has exactly [tex]n[/tex] solutions given by

[tex]r^{1/n}\exp(i(2\pi k + \theta)/n)[/tex]

for [tex]k=0,1,\dots,n-1[/tex]. You can check that [tex]\exp(i(\pi/3))[/tex] is one of these for [tex]z = -1[/tex] and [tex]n=3[/tex], so you have found a cube root of -1, but there are two others, one of which is -1. Notice the above formula shows that each of the three cube roots of -1 have different angles (and they are equally spaced on the unit circle in the complex plane).
SW VandeCarr
SW VandeCarr is online now
#3
Oct15-09, 03:04 PM
P: 2,490
Quote Quote by zpconn View Post
I'm not sure what you mean by "infinitely many solutions."

If [tex]z = r\exp(i\theta)[/tex] with [tex]r > 0[/tex] and [tex]\theta \in [0,2\pi)[/tex], then [tex]z = w^n[/tex] has exactly [tex]n[/tex] solutions given by

[tex]r^{1/n}\exp(i(2\pi k + \theta)/n)[/tex]

for [tex]k=0,1,\dots,n-1[/tex]. You can check that [tex]\exp(i(\pi/3))[/tex] is one of these for [tex]z = -1[/tex] and [tex]n=3[/tex], so you have found a cube root of -1, but there are two others, one of which is -1. Notice the above formula shows that each of the three cube roots of -1 have different angles (and they are equally spaced on the unit circle in the complex plane).
Thanks zpconn for your informative response. However, I wouldn't expect that just defining the problem in terms of polar coordinates could change the fundamental nature of the problem. It should be understandable in terms of Cartesian coordinates, or am I wrong here?

Algebraically if we have [tex] exp(\pm{i\pi})=-1 [/tex], then taking the cube root of both sides should yield -1, not just a complex number. To get -1 as a solution we must have [tex]cos(x)=-1[/tex] and [tex]isin(x)=0[/tex]. This true for [tex]x=\pm(\pi,3\pi,5\pi......)[/tex] for all odd multiples of [tex]\pi[/tex]. This is what I meant by an infinite number of solutions.

0xDEADBEEF
0xDEADBEEF is offline
#4
Oct15-09, 03:41 PM
P: 824

Euler's identity


No the number of solutions is not infinite, because all of those solutions that you show are the same complex number. You abuse the algebraic notation and didn't go through the work of defining a good cube root function on the complex numbers.

If you want something more algebraical: Every polynomial of degree n can be factored by it's complex roots. You cannot factor:
[tex]x^3+1=0[/tex]
with (x+1) alone. You need three roots, the other two are:
[tex]\frac{1}{2}\pm i\frac{\sqrt{3}}{2}[/tex]
One of these solutions is what you have discovered. It is also a cube root of -1. Just one you don't like. Why did you expect -1 to be the only number that produces -1 when you multiply it three times with itself?
mathman
mathman is offline
#5
Oct15-09, 03:45 PM
Sci Advisor
P: 5,935
Algebraically if we have , then taking the cube root of both sides should yield -1, not a complex number.
There are three cube roots. -1 is one of them, the other two are complex conjugates
given by [tex]e^{i\frac{\pi}{3}}[/tex] and [tex]e^{-i\frac{\pi}{3}}[/tex].
SW VandeCarr
SW VandeCarr is online now
#6
Oct15-09, 04:15 PM
P: 2,490
Quote Quote by mathman View Post
There are three cube roots. -1 is one of them, the other two are complex conjugates
given by [tex]e^{i\frac{\pi}{3}}[/tex] and [tex]e^{-i\frac{\pi}{3}}[/tex].
Yes, I understood there were two complex roots gotten by the substitution of [tex]x=\pm\frac{\pi}{3}[/tex] into the Euler equation. However this equation only gives the real root -1 when x is equal to odd integer multiples of [tex]\pi[/tex]. I don't understand why this is the case. Is this equation insufficient under certain circumstances such as not defining the problem in terms of polar coordinates?
zpconn
zpconn is offline
#7
Oct15-09, 04:46 PM
P: 243
The real issue here I suspect is that as a function the cube root should select just one cube root, but there are three, so without a proper understanding the situation can be very confusing (as it is here). This is a well-known and well-studied phenomenon in complex analysis, and there are several ways of understanding it. The best is through Riemann surfaces, but that's of course a bit much and not strictly necessary.

The cube root is a special case of complex exponentiation, and exponentiation is defined in terms of the complex exponential and the complex logarithm. So I'll take the exponential function as already defined.

The polar perspective really is a convenient way to look at this. Everything gets interesting when we try to define the complex logarithm because angles can be written in infinitely many different ways. The complex logarithm has infinitely many branches; the [tex]n[/tex]th branch is

[tex]\log(r\exp(i\theta)) = \ln(r) + i \theta + 2\pi i n[/tex]

where we impose [tex]\theta \in [0,2\pi)[/tex].

This follows from Euler's formula. The branch [tex]n=0[/tex] is the principal branch [tex]\ln(r) + i\theta[/tex]. So complex exponentiation becomes branched as well because we define for arbitrary [tex]z,k \in C[/tex] the exponentiation operation

[tex]z^k = \exp(k\log(z))[/tex],

inspired by the analogous relation for real numbers. Now, if you write [tex]z = r\exp(i\theta)[/tex] with [tex]\theta \in [0,2\pi)[/tex] as before and [tex]k=a+bi[/tex], some algebra will show the [tex]n[/tex]th branch of the complex exponentiation is given by

[tex]\exp(2n\pi i a) \exp(-2n\pi b) [z^k][/tex]

where [tex][z^k][/tex] is just meant to represent the principal branch of the exponentiation, i.e., this gives the [tex]n[/tex]th branch in terms of the principal branch (assuming I didn't make mistakes).

I've written the result in this form so that it's easy to see that if [tex]b[/tex] is nonzero, then the term [tex]\exp(-2n\pi b)[/tex] gives rise to infinitely many branches, i.e., the exponentiation will not return to its principal branch as [tex]n[/tex] runs over the positive integers.

In your case, [tex]b = 0[/tex] and [tex]a=1/3[/tex]. The term [tex]\exp(2n\pi i a)[/tex] shows you that there will be precisely three branches.

I am out of time, so I can't finish this, but hopefully I've helped elucidate this mystery for you. It's not hard to finish from here.
SW VandeCarr
SW VandeCarr is online now
#8
Oct15-09, 05:10 PM
P: 2,490
Quote Quote by zpconn View Post
The real issue here I suspect is that as a function the cube root should select just one cube root, but there are three, so without a proper understanding the situation can be very confusing (as it is here). This is a well-known and well-studied phenomenon in complex analysis, and there are several ways of understanding it. The best is through Riemann surfaces, but that's of course a bit much and not strictly necessary.
Many thanks zpconn. I appreciate you taking the time to write this all out. I knew their was more to the problem then just substituting values for x in cos(x) and (i)sin(x) in Euler's equation, but didn't know exactly how to go about it. It seems that how the problem is defined (polar coordinates) is crucial to getting all the roots. One question: Since we are dealing with the unit circle, can I assume r=1?


Register to reply

Related Discussions
What is so beautiful about Euler's Identity? General Math 13
Euler's identity Precalculus Mathematics Homework 4
Algebraic Manipulation of Euler's Identity Leads to a Strange Result General Math 3