二次型合同标准型是指

当且仅当存在一个可逆矩阵C 使得C^TAC=B 则称方阵A合同于矩阵B 任何二次型都可以化成规范型 只需要在标准型的基础上，将平方项的系数变为1或-1 合同就是规范型中的1，-1以及0的个数都是一样的 那么当然矩阵A合同于其规范型