矩阵坐标变换的运用以证明矩阵中有关正定、迹等性质,有利于理论理解与证明