是不是仅对对称矩阵来说,不同特征值对应特征向量乘积一定为零