正交矩阵与单位矩阵和的行列式