为是么对称矩阵不同特征值对应的特征向量乘积为零