线性代数如果A和B都为nxn矩阵且都可被P对角化证明AB=BA比如A=PDP^-1B=PSP^-1证