在实数域中，根据惯性定理，每个对称矩阵都合同于一个对角线上元素只由0和1、-1构成的对角矩阵。