指数a^xは元々、aをn回かけるの略記だから、とりあえず、a,nは正の整数
と考えて、a^n=a*a*...a(n回)の個数を数えると考えると、
数の数え方から出てくる法則が、指数法則
a^1=a, a^x*a^y=a^(x+y), (a^x)^y=a^(xy).
ルールは指数法則を満たすように、a,xのとる範囲を正の整数以外の数
に広げればよい。
で、xが有理数を取るときに、指数法則を満たすようにするには a>0
が必要だったはず。(-1)^1/2を考えたとき+iか-iか符号が決まんない
から上手く指数法則満たさないはず。
（又、a=0の時はa^(-1)で困る）
それで、この延長でxを複素数にとって考えるとき、やっぱりa>0
が必要だと思う。