任何一个二次型的矩阵都能与一个对角阵合同,如何理解