AB都是n阶矩阵,且A可逆,证AB与BA有相同特征值