数域 上的任意对称矩阵都合同于一个对角矩阵.