Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Euler's identity

  1. Oct 14, 2009 #1




    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?
  2. jcsd
  3. Oct 14, 2009 #2
    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).
  4. Oct 15, 2009 #3
    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.
    Last edited: Oct 15, 2009
  5. Oct 15, 2009 #4
    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:
    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?
  6. Oct 15, 2009 #5


    User Avatar
    Science Advisor

    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].
  7. Oct 15, 2009 #6
    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?
    Last edited: Oct 15, 2009
  8. Oct 15, 2009 #7
    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.
  9. Oct 15, 2009 #8
    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?
    Last edited: Oct 15, 2009
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook