由于A是非奇异矩阵,所以A*A^(-1)=E(单位矩阵),又由交换律,A^(-1)*A=E,又设（A^(-1)）^(-1)=B,B=B*E=（A^(-1)）^(-1)*(A^(-1))*A=A.所以得证.