矩阵:已知AB=BA 证明(AB)^k=A^k*B^k(k为整数)