等价标准型与单位矩阵