a[i][j]=a[j][i]
b[i][j]=b[j][i]
a+b=c
则c[i][j]=a[i][j]+b[i][j]=a[j][i]+b[j][i]=c[j][i]
所以c是对称矩阵,也就是a+b是对称矩阵