Here we prove a slight variation on the well known identity for a complex matrix :
Here is the identity matrix. We prove below the following for :
The above formulas are valid in an analytic sense whenever the sum on the right converges. But independently of convergence they are always true if interpreted in terms of formal power series.
First, recall that
It is actually quite easy to prove (3). We can proceed as follows in 3 steps: (i) The equation clearly holds for diagonal matrices; (ii) since the determinant and trace are invariant with respect to similarity transformations, the formula is also clearly true for all diagonalizable matrices; (iii) finally, the diagonalizable matrices are dense in the set of all square matrices and the determinant and trace are continuous functions, which means that the formula must hold true at all limit points, i.e. for all matrices.
If we replace with we get
Recall the Mercator series
Substituting we get
The claim (2) follows from expanding the exponential in its well-known Taylor series.