En fait, on peut définir de façon assez "sereine"

lorsque :
1) a est en complexe quelconque et b un entier naturel non nul.
2) a un complexe non nul et b un entier relatif quelconque.
3) a est un réel strictement positif et b un complexe quelconque.
Dans tout les autres cas, les tentatives de définition ne sont que trés peu satisfaisantes (on n'a pas les propriétés que l'on aimerais avoir, c'est à dire
^b=a_1^ba_2^b)
et

).
Pour donner un exemple,

n'est pas clairement défini car il existe
deux complexes distincts vérifiant

et il n'y a aucune raison particulière de privilégier l'un des deux comme étant
LA racine carré de i (par contre, on peut dire que ces
deux complexes sont
LES racines carrées de i)