第四讲 矩阵的对角化与二次型 · 4.17 用正交变换化二次型为标准形