如果对两个不同的数矩阵满足则;设是一个方阵，是两个正整数，则;对角矩阵都是对称矩阵.