Intéressant comme question je n'y avait jamais pensé!
Je te donne l'intuition
pour le faire rigoureusement, on a besoin d'analyse complexe
notamment de la def du log complexe qui n'est pas évidente...
on a:
i^i= e^(i*log(i))
de plus, on a qu'un nombre de la forme e^(ix), n'est pas toujours complexes car:
e^(ix)= cos x + i sin x (pour le vérifier: développement de Taylor de sin, cos et e)
pour x tq sin x=0
l'exponentielle est réelle
donc j'imagine que e^(i log i) est dans ce cas (je n'ai pas fait les calculs...)
voila c'est juste l'idée, je n'ai pas été du tout rigoureux et je comprendrait qu'on ne me croit pas.