这种变换是合同变换,即
C^TAC = diag(k1,k2,...,kn)
即A与对角矩阵合同
合同的矩阵的特征值不一定相同!
并且这里k并不是唯一确定的
比如 f = 16x1^2
可以化为 8y1^2
也可化为 4z1^2,等等.