ormula_87，使得formula_88可以证明，这个纯量formula_87就等于之前定义的formula_79的迹数。
迹的梯度.由迹的定义可知迹可以看作是矩阵的实标量函数，所以我们可以通过求实标量函数的梯度来求迹的梯度。