如果 a 是正数而 b 是(复数)任意的,那么可以将 a^b 定义为 exp(b log a)。这直接扩展了 b 是有理数的情况。
现在,如果 a 是复数(但非零),则可以通过类比(专有名词是“解析延拓”)将 a^b 定义为 exp(b Log a),其中 Log 是 exp 的一个可能倒数。
例如,一个可能的 Log 函数(有无穷多个,相差 2 i pi 的倍数)是
Log z = log |z| + i(arg z + 2k pi), k as you wish
检查对于任何 k,这给出了 exp 的逆(我跳过了关于定义域的细节:假设只有一个 z,我们想要找到 Log z 使得 exp(Log z) = z)。
因此,您选择 k 的方式将影响答案。如果 b 是无理数,那么
"a^b" = exp(b Log a) = exp(ib arg a) * exp(2i k pi * b) * |a|
并且由于 k 可以是任意的,因此 exp(2i k pi * b) 可以任意接近您想要在单位圆上的任何数字(单位圆 = 具有单位模数的数字),“a^b”的值可能有无限多.
如果 b 是有理数(例如您的示例中的 0.2 = 1/5),那么您将获得 5 个不同的 a^0.2 候选(其中一个是真实的)。