关于复指数等式$e^{j2\pi kt} = (e^{j2\pi k})^t$的有效性求证

嘿，我来帮你理清这个复数指数等式的证明问题，毕竟在傅里叶分析里这种指数运算的细节很容易卡壳！

其实核心是搞懂复数指数主值运算的规则，别用实数的幂运算逻辑硬套复数，我分步骤给你拆解：

• 第一步：明确工程领域复数幂的主值定义
  在傅里叶分析这类工程问题里，我们默认使用复数幂的主值分支，规则很直接：对于任意复数$z$和实数$w$，$(e^z)w$的主值等价于$e^{w \cdot z}$。这是为了规避复数对数的多值性，让运算在工程场景下有唯一确定的结果。

• 第二步：代入目标表达式直接推导
  把$z = j2\pi k$（这里$k$是整数，$|k|≤3$）代入上面的规则，右边的$(e^{j2\pi k})^{t$直接就等于$e}{t \cdot j2\pi k}$，也就是$e^{j2\pi kt}$——这不就和左边的表达式完全一致了吗？

• 第三步：用欧拉公式辅助理解（避坑关键）
  要是你用三角函数展开验证，容易掉进一个误区：

  • 先看右边的底数：$e^{j2\pi k} = \cos(2\pi k) + j\sin(2\pi k) = 1$（因为$k$是整数，余弦值为1，正弦值为0）。这时候要是用实数思维觉得$(1)^{t=1$，就会和左边$e}{j2\pi kt} = \cos(2\pi kt) + j\sin(2\pi kt)$（t非整数时不一定等于1）矛盾。
  • 问题出在：不能先把$e^{j2\pi k}$化简为1再计算幂！在复数主值运算里，我们要保留它的指数形式来推导，也就是$(e^{j2\pi k})^t = e^{t \cdot \ln(e^{j2\pi k})}$，而$\ln(e^{j2\pi k})$的主值是$j2\pi k$（不是0），所以最终结果还是$e^{j2\pi kt}$，和左边完全相等。

简单说，这个等式成立的核心是工程场景下复数指数主值运算的规则，别用实数幂的逻辑干扰就好～

内容的提问来源于stack exchange，提问作者mau