二次型正交变换为什么把P化为正交矩阵,f(x1,x2,...)=X^(-1)AX