EL problema lo tengo al despejar el AXA
2AB+IB=AXA+B
2AB+IB-B=AXA
A(inversa)*(2AB+IB-B)=AX*A(inversa)
X=A(inversa)*A(inversa)*(2AB+IB-B)
A partir de tu 3º paso no lo entiendo, no deberia ser:
A(inversa)x(2AB+IB-B)= A(inversa) AXA
A(inversa)x(2AB+IB-B)xA(Inversa)= A(inversa) x(AXA)xA(inversa)
Con lo que se qeudaria
A^-1*(2AB+IB-B)*A^1 = X
no?