线性代数中可逆定义:若AB=BA=E,则A^-1 =B还有个推论:若AB=E(或BA=E),则A^-1 =B; (即我只