【数学】-1的根号二次方等于多少？

突然发现我这博客咋啥都开始写了呢。。。
上微积分课胡思乱想系列。。。

显然这个东西在数学上是没有定义的。
包括$-1$的$\frac13$次方这样的东西，数学上的定义也挺模糊的
不过我们可以想想这东西应该怎么定义。。。

首先，从定义出发，一个数$a$的$k$次方($k\in \mathbb{Z}$)如何定义？
$k$个$a$连乘。
因为乘法在$\mathbb R$上均有定义，所以$a$的正整数次方在$\mathbb R$上均有定义。

接下来，一个数$a$的负$k$次方($k\in \mathbb{Z}$)该如何定义？
根据$k>0$时候的定义有$a^{k_1}*a^{k_2}=a^{k_1+k_2}$，因此定义应该将这个性质延续下去，即$a^{-k}*a^{k+1}=a^{-k+k+1}=a$，$a^{-k}=\frac a{a^{k+1}}=\frac1{a^k}$
据此也有$a^0=a^k*a^{-k}=1$
$1/0$无定义，因此以上二者的定义域都是$a\in \{x|x\in\mathbb R,x\neq0\}$

整数域已经做完了，下面我们该进入有理数域了。

一个数$a$的$\frac pq$次方等于多少？
和上面类似，根据整数时候的定义有$(a^{k_1})^{k_2}=a^{k_1k_2}$，因此新的定义应该将这个性质延续下去，即$(a^{p/q})^q=a^p$
即$a^{p/q}$是$a^p$的$q$次方根

什么是