13
$\begingroup$

Possible Duplicate:
How to raise a complex number to the power of another complex number?

My calculator (as well as WolframAlpha) gives me the approximation:

$$0.2078795763507619085469...$$

But I don't understand how exponentiating two purely imaginary constructs yields a real (albeit irrational) number. When I do $i^{i+1}$ it gives me an imaginary number as well as $(i+1)^i$. So why does $i^i$ fall into that precise point where it is real and no longer imaginary? What is happening? I understand that exponentiation is not repeated multiplication, and it wouldn't make sense to multiply $i$ by itself $i$ times (because it would only yield $i$, $-i$, $1$, or $-1$). So what are we doing behind the scenes to get such a number?

$\endgroup$
9
  • 1
    $\begingroup$ possible duplicate of How to raise a complex number to the power of another complex number?, Understanding imaginary expoenents, Complex exponents $\endgroup$
    – MJD
    Commented Oct 19, 2012 at 13:02
  • 16
    $\begingroup$ Why is $e^{\ln 2}$ an integer, when both these numbers are irrational? $\endgroup$
    – Asaf Karagila
    Commented Oct 19, 2012 at 13:03
  • 1
    $\begingroup$ The important property is that if $x+yi$ is a complex number such that $x^2+y^2=1$ then $(x+yi)^i$ is real for all the values. That's because all the values of the natural logarithm of elements of the unit circle are purely imaginary. $\endgroup$ Commented Oct 19, 2012 at 13:08
  • 1
    $\begingroup$ @AsafKaragila Why would you define it any other way? Allowing zero simplifies everything dealing with "purely imaginary" numbers - it makes the set topologically closed and additively closed. You nearly never need to talk about the non-zero imaginary axis as a set. $\endgroup$ Commented Oct 19, 2012 at 13:22
  • 2
    $\begingroup$ This question is an exact duplicate of math.stackexchange.com/questions/191572/… $\endgroup$
    – Emily
    Commented Oct 19, 2012 at 14:54

1 Answer 1

20
$\begingroup$

Using Euler's formula:

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

So:

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

$\endgroup$
3
  • 8
    $\begingroup$ Don't forget that $e^{i\pi/2}$ is not the only possible representation of $i$: in fact, $i=e^(2k+1)i\pi/2$ for any integer $k$. So in fact, $i^i$ can take the value $e^(2n+1)\pi/2$ for any integer $n$; i.e., it can take infinitely many values, all of which are real. However, if we define the logarithm of $i$ to be the principal value $i\pi/2$, then we do indeed get $e^{-\pi/2}$. $\endgroup$ Commented Oct 19, 2012 at 13:04
  • 4
    $\begingroup$ It's worth noting that $i = e^{i\pi(2kn+\frac{1}{2})}$ for any $n$, so really, it depends on which branch of the natural logarithm you use. $\endgroup$ Commented Oct 19, 2012 at 13:05
  • $\begingroup$ The beautiful Euler's identity $e^{i\pi}+1=0$ suffices to obtain $i=e^{i\pi/2}$. $\endgroup$
    – modnar
    Commented Jan 24, 2020 at 15:37

Not the answer you're looking for? Browse other questions tagged .