求证$x+rac{i\log(\cos(ax))}{a}$与$\frac{i\log(1+e^{-2iax})}{a}$相等或差常数

证明两个表达式仅相差常数的思路 #

首先，我们可以通过对数的代数恒等式直接推导两者的关系，这个方法比用$\log(1+x)$展开式更高效，不过展开式也能用来辅助验证。

步骤1：拆分第二个表达式的对数项

利用对数的乘积法则$\log(AB) = \log A + \log B$，把$\log(1+e^{-2iax})$改写为：
$$
\log(1+e^{-2iax}) = \log\left(e^{-iax} \cdot (e^{iax} + e^{-iax})\right) = \log(e^{-iax}) + \log(e^{iax} + e^{-iax})
$$
注意到欧拉公式的变形：$e^{iax} + e^{-iax} = 2\cos(ax)$，代入后得到：
$$
\log(1+e^{-2iax}) = -iax + \log(2\cos(ax))
$$

步骤2：代入第二个表达式化简

把上面的结果代入$\frac{i\log(1+e^{-2iax})}{a}$：
$$
\frac{i}{a}\left(-iax + \log(2\cos(ax))\right) = \frac{i}{a}(-iax) + \frac{i}{a}\log2 + \frac{i}{a}\log(\cos(ax))
$$
计算第一项：$\frac{i}{a}(-iax) = \frac{-i^2ax}{a} = x$（因为$i^2=-1$），所以整个式子化简为：
$$
x + \frac{i\log2}{a} + \frac{i\log(\cos(ax))}{a}
$$

步骤3：对比两个表达式

和第一个表达式$x+\frac{i\log(\cos(ax))}{a}$对比，能明显看到两者仅相差一个常数项$\frac{i\log2}{a}$——而积分结果中相差常数是完全合理的，因为常数的导数为0，不会影响原被积函数。

关于是否用$\log(1+x)$展开式的补充

如果你想用$\log(1+x)$的展开式验证，也是可行的：

• 对$\log(1+e^{{-2iax})$做展开（当$|e}{-2iax}|=1$时，展开式是收敛的傅里叶级数形式）：
  $$
  \log(1+e^{-2iax}) = \sum_{n=1}^\infty (-1)^{n+1}\frac{e{-2inax}}{n}
  $$
• 代入第二个表达式后，再对比第一个表达式中$\log(\cos(ax))$的泰勒展开，你会发现两者的变量项完全一致，仅常数项不同，这也能验证它们仅相差常数。

总的来说，对数恒等式的方法更直接高效，展开式更多是辅助验证的手段。

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