合同是矩阵之间的一个等价关系,经过非退化的线性替换,新二次型的矩阵与原二次型的矩阵是合同的。合同变换是在分析二次型的化简过程中产生的,二次型的矩阵通过合同变换化为形式上比较简单的对角阵,即标准型和规范型,给研究二次型的性质带来了很大方来自便。