我们证明:
证:
对的求导:
求度规行列式的变分:
由克氏符的计算公式:可得:
将上式改为:
而另一方面,由线性代数知识可知,度规行列式可展为:,其中是分量的代数余子式,从而便有:按照逆矩阵的求法有所以
所以对度规行列式的变分便是: