令AB^(-1)=C
右乘B
所以A=CB
若C为初等矩阵,左乘C表示行变换
而恰好B是A的行变换造成的
即C=[1 0 0; 0 0 1; 0 1 0]
初等行变换矩阵,变换第二第三行
其次A,B都可逆,所以C唯一
AB^(-1)=C=[1 0 0; 0 0 1; 0 1 0]