矩阵的迹trace相关问题的证明