两个对称矩阵一齐合同对角化的充要条件

给出了特征不等于2的域F上两个n级对称矩阵一齐合同对角化的充分必要条件;证明了秩为1的两个2级对称矩阵一定可以一齐合同对角化。