的1的个数等于原来的矩阵的 秩。因此每个可逆的对称矩阵都合同于单位矩阵。在实数域中，根据惯性定理，每个对称矩阵都合同于一个对角线上元素只由0和正负1构成的对角矩阵。如果设1的个数是p，-1的个数是q，那么给定(p,q)后，就确定了一个关于合同关系的等价类。数对(p,q)称为一个对称矩阵（或相应二次型）的惯性指数其中1的个数p称为正惯性指数， -1的个数q称为负惯性指数， "p"-"q"叫做符号差。据此可以得出：合同关系将所有的对称矩阵分为formula_18 个等价类。
正定二次