1. Dec 17, 2009

### fedaykin

Why is i^i = 0.2078 ?

2. Dec 17, 2009

### fourier jr

you need to know about the complex log function. it's because $$i^i = e^{iLog(i)} = e^{i(ln|i| + iArg(i))} = e^{i(0 + i\pi/2)} = e^{-\pi/2}$$ (it's weird that $i^i$ is a real number)

Last edited: Dec 17, 2009
3. Dec 17, 2009

### jgens

Adding to what fourier jr noted, $e^{-\pi/2}$ is one solution for $i^i$, but there actually exist infinitely many such solutions.

Edit: To give a more thorough (and perhaps student friendly explanation) about why $i^i$ you'll need to know Euler's formula, which states that $e^{ix} = \cos{(x)} + i\sin{(x)}$. If you're unfamiliar with the formula, you can derive it relatively easily using the power series for the sine, cosine, and exponential functions. Another approach (my personal favorite) uses an argument involving differential equations. If you happen to be interested in these proofs, you can find them here: http://en.wikipedia.org/wiki/Euler's_formula. Moving on to the problem in question, we'll begin with the equality

$$i^i = e^{i\log{(i)}}$$

Thus, we've already reduced the problem to evaluating $\log{(i)}$. Now, suppose that $\log{(i)}$ has a solution in the field complex numbers, then

$$\log{(i)} = a + bi$$

for $a,b \in \mathbb{R}$, and consequently,

$$i = e^{a+bi} = e^a e^{bi} = e^a[\cos{(b)} + i\sin{(b)}]$$

Since the real part of $\cos{(b)} + i\sin{(b)}$ must necessarily be zero, this means that $b = \pi/2 + k\pi$ for $k \in \mathbb{Z}$. We can further refine the appropriate values for $b$ by noting that $\sin{(b)} > 0$ and conclude that any $b$ satisfying $b = \pi/2 + 2k\pi$ should suffice.

Alright, now for any choice of $b$ we have that $\sin{(b)} = 1$ and consequently $i = ie^a$. This implies that $e^a = 1$ and similarly that $a = 0$. Putting all this information together we find that,

$$\log{(i)} = i[\frac{\pi}{2} + 2k\pi]$$

Substituting this into our first equation we have

$$i^i = e^{i\log{(i)}} = e^{-[\frac{\pi}{2} + 2k\pi]}$$

And finally, setting $k = 0$ gives us the principal solution

$$i^i = e^{-\pi/2}$$

Hopefully you'll find this helpful (and hopefully it's not riddled with too many mistakes!).

Last edited: Dec 17, 2009
4. Dec 17, 2009

### l'Hôpital

$$e^{i\pi} = -1$$

$$\sqrt{( e^{i\pi} )} = e^{i \pi/2} = i$$
Now raise to the i.

$$(e^{i \pi/2})^i = e^{i^2 \pi/2} = e^{-\pi/2} = i^i$$

5. Dec 17, 2009

### Monocles

Nice, l'Hopital!

6. Dec 17, 2009

### jgens

Wow! That's a neat proof (and considerably more elegant than my brute force approach).

7. Dec 17, 2009

### Char. Limit

I must admit, that proof is one of the best I've ever seen of what $$i^i$$ equals. (And $$e^{i\pi}+1=0$$ is my personal favorite math equation, so I like that you used it.)

8. Dec 18, 2009

### arildno

Here we go:
$$i=e^{(2n+\frac{1}{2})\pi{i}),n\in\mathcal{Z}\to{i}^{i}=e^{-(2n+\frac{1}{2})\pi}$$
Infinite values, that is..
It is not an equation, but an equality.

9. Dec 18, 2009

### Char. Limit

Too bad? What do you mean? It wasn't even my proof. Explain, please.

Not so. For if Euler's Identity were not an equation, how could it also be known as Euler's Equation?

Also, since Merriam-Webster states that:

And since the equation (or equality, if you prefer) $$e^{i \pi }+1=0$$ is stating the equality of the left and right sides, and they all seem to be mathemetical expressions, I would say that Euler's Identity is an equation. It is also an equality since, I believe, all equalities are equations, once formally stated. It is also an identity. What it is not is a formula (and I've been berated before when I called it a formula, so I'm only agitated because my previous berator told me to call it an equation).

10. Dec 18, 2009

### pbandjay

I think that an equation is an equality involving expressions; however, an equality is a bit more involved. For example, the two sets {1,2,3} and {2,3,1} might be considered the same, or equal, if order does not matter.

11. Dec 19, 2009

### arildno

An equation is a sub-type of an equality, in which a set of argument values are implied (or best, SPECIFIED) (for example, the real numbers), for which only a sub-set of measure zero contains solutions to the equality.

For example, in the equation x+y=0, our implied set of argument values is the (x,y)-PLANE, whereas the solution set is a line, i.e, a subset that has measure zero relative to the plane.

An identity is an equality that holds for ALL values within the implied set.
For example, x+x=2x is an identity, however we choose our set of argument values (for example, for the integers, the reals or the complex numbers).

Any other types of equalities are..equalities (although on occasion, the above expression is called Euler's identity, but NEVER Euler's equation).

12. Dec 21, 2009

### Char. Limit

I really must remember not to state anything on this forum unless I know it is true and always true, apparently...

If it's only occasionally referred to as Euler's Identity, why is that the article's TITLE? (I can use all caps too)

And if it's never called Euler's Equation, why don't you prove that, with cited sources, like that Wikipedia article, which you definitely, deliberately, and undeniably contradicted, uses?

I prefer to believe an encyclopedia that cites the sources it uses to a single person who doesn't, no matter how many "awards" he or she has.

However, since you've been here for far longer than I have, and have connections that I don't, I'm probably just going to be banned instead. (Cynicism is strong in me...)

Last edited: Dec 21, 2009