关于迹的公式