正交矩阵

所有行都相互正交，所有行都有单位长度的矩阵称为「正交矩阵」，记做 ，显然有关系