定理8.1.4设A=(an)是数域F上一个n阶对称矩 阵。总存在F上一个n阶非奇异矩阵P,使得 0 PAP= 0 即F上每一个n阶对称矩阵都与一个对角形式矩 阵合同。定理8.1.4 设 是数域F上一个n阶对称矩 阵。总存在F上一个n阶非奇异矩阵P，使得 即F上每一个n阶对称矩阵都与一个对角形式矩 阵合同。 ( ) A = aij               = n c c c P AP 0 0 2 1 ' 