第四讲 矩阵的对角化与二次型 · 4.12 正交矩阵的判别方法及正交变换