配方法就说明了存在可逆矩阵C使得 C^TAC 为对角矩阵
所以对称矩阵合同于对角矩阵