网罗天下体育资讯

正交矩阵的列向量组都是单位向量