Solving a linear system with an orthonormal matrix is actually super easy, because dot products are preserved.

用标准正交矩阵求解线性方程组其实非常简单 因为点积被保留了。