Today, we shall prove the following identity
First, by the Jacobi formula, we know that for any matrix
where is a differential of
. Since
we can rewrite the Jacobi formula as follows
We now make use this rule with replaced by metric
and
replaced by
. Obviously,
where we have used the fact that and that