关于用行列式导数证明det(e^A)=e^{tr(A)}的技术问询

咱们用构造辅助函数+求导的解析方法来一步步推导这个经典矩阵恒等式，具体步骤如下：

1. 定义辅助函数 #

首先构造一个关于实参数t的函数：
f(t) := \det(e^{tA}) - e^{\text{tr}(tA)}
这里A是任意复方阵，\text{tr}(A)代表矩阵A的迹，e^{tA}是由幂级数定义的矩阵指数。我们的目标是证明f(t)恒等于0，这样取t=1就能得到要证的结论。

2. 回忆行列式的求导法则 #

对于可微的方阵函数M(t)，当它可逆时（矩阵指数e^{tA}对任意t都可逆，逆矩阵是e^{-tA}），行列式的导数有个简便公式：

$\frac{d}{dt} \det(M(t)) = \det(M(t)) \cdot \text{tr}\left( M(t)^{-1} \cdot M'(t) \right)$
这个公式是通过行列式与伴随矩阵的关系，结合迹的性质推导而来，是求行列式导数的核心工具。

3. 计算$\det(e^{tA})$的导数 #

先利用矩阵指数的基本导数性质：\frac{d}{dt} e^{tA} = A e^{tA}（对矩阵指数的幂级数逐项求导就能验证）。
把M(t)=e^{tA}代入行列式导数公式：

\frac{d}{dt} \det(e^{tA}) = \det(e^{tA}) \cdot \text{tr}\left( (e^{tA})^{-1} \cdot A e^{tA} \right)

注意到(e^{tA})^{-1}=e^{-tA}，且e^{-tA} \cdot e^{tA}=I（单位矩阵），所以括号里的式子化简为A，结合迹的性质可得：
\frac{d}{dt} \det(e^{tA}) = \det(e^{tA}) \cdot \text{tr}(A)

4. 计算$e^{\text{tr}(tA)}$的导数 #

利用迹的线性性质，\text{tr}(tA) = t \cdot \text{tr}(A)，再对指数函数求导：
\frac{d}{dt} e^{\text{tr}(tA)} = \frac{d}{dt} e^{t \cdot \text{tr}(A)} = \text{tr}(A) \cdot e^{t \cdot \text{tr}(A)}

5. 推导$f'(t)=0$并完成证明 #

现在计算f(t)的导数：

f'(t) = \frac{d}{dt} \det(e^{tA}) - \frac{d}{dt} e^{\text{tr}(tA)}

代入前面的结果：

f'(t) = \det(e^{tA}) \cdot \text{tr}(A) - \text{tr}(A) \cdot e^{\text{tr}(tA)} = \text{tr}(A) \cdot \left( \det(e^{tA}) - e^{\text{tr}(tA)} \right) = \text{tr}(A) \cdot f(t)

这是一个一阶线性常微分方程，再看初始条件：当t=0时，e^{0\cdot A}=I（单位矩阵），\text{tr}(0\cdot A)=0，所以：
f(0) = \det(I) - e^0 = 1 - 1 = 0
满足初始条件f(0)=0的微分方程f'(t)=\text{tr}(A)f(t)的唯一解就是f(t) \equiv 0，也就是说对所有t都有\det(e^{tA}) = e^{\text{tr}(tA)}。
令t=1，就得到我们要证明的恒等式：
\det(e^A) = e^{\text{tr}(A)}

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