关于同时对角化问题