因为AB=E,所以|AB|=|E|=1不＝0,所以A与B皆可逆,且A^(-1)*A*B=A^(-1)*E=A^(-1)
即B=A^(-1)
于是BA=A^(-1)*A=E