对于给定的正整数k,若(AB)^k=E是否一定有(BA)^k=E?求高手指教怎么证明 矩阵