初等变换矩阵公式用单位矩阵表示