AB皆为可对角化矩阵,且A*B也可相似对角化,则A*B得到的矩阵的特征值是否为A和B矩阵