线性代数中二次型问题线性代数中二次型化X^TAX作变换X=CY化为标准型,为什么C只是可逆矩阵就有C^TAC=^(对角阵