Register to reply 
Euler's identity 
Share this thread: 
#1
Oct1409, 09:10 PM

P: 2,500

[tex]e^{i\pi}=1[/tex]
[tex]e^{i\frac{\pi}{2}}=i[/tex] but [tex]e^{i\frac{\pi}{3}}\neq1[/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? 


#2
Oct1409, 09:31 PM

P: 244

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,n1[/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). 


#3
Oct1509, 03:04 PM

P: 2,500

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. 


#4
Oct1509, 03:41 PM

P: 825

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? 


#5
Oct1509, 03:45 PM

Sci Advisor
P: 6,068

given by [tex]e^{i\frac{\pi}{3}}[/tex] and [tex]e^{i\frac{\pi}{3}}[/tex]. 


#6
Oct1509, 04:15 PM

P: 2,500




#7
Oct1509, 04:46 PM

P: 244

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 wellknown and wellstudied 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. 


#8
Oct1509, 05:10 PM

P: 2,500




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 