关于矩阵合同对角化矩阵相似对角化的充要条件是代数重数等于几何重数,那么矩阵合同对角化也满足这个定理吗