Hi Michael and guest,
I thought it was interesting too.
Here is a proof.
You may like to watch this video on finding the arg(z) first. It is good.
but really |z| is just the distance Z is from (0,0) on the complex number plane
and
arg(z) is just the angle z makes with the positive real axis. (at the origin of course)
\(i^i=e^{-\pi/2}\\ proof\\ i^i=e^{[ln(i^i)]}\\ i^i=e^{i[ln(i)]}\\ \qquad\mbox{Now ln(z)=ln|z|+i*arg(z) so}\\ \qquad ln(i)=ln|i|+i*arg(i)\\ \qquad ln(i)=ln(1)+i*\frac{\pi}{2}\\ \qquad ln(i)=i*\frac{\pi}{2}\\ i^i=e^{i*i*\frac{\pi}{2}}\\ i^i=e^{-1*\frac{\pi}{2}}\\ i^i=e^{{\frac{-\pi}{2}}}\\ \)
.