2-4.mws

Show that A^(-1)BA can never be diagonal.

> A:=Matrix([[a,b],[c,d]]);

A := _rtable[11806304]

> B:=Matrix([[p,q],[r,s]]);

B := _rtable[12291836]

> A^(-1).B.A;

_rtable[7402172]
_rtable[7402172]
_rtable[7402172]
_rtable[7402172]

> expand((-d*p/(-a*d+b*c)+b*r/(-a*d+b*c))*b+(-d*q/(-a*d+b*c)+b*s/(-a*d+b*c))*d);

-b*d*p/(-a*d+b*c)+b^2*r/(-a*d+b*c)-d^2*q/(-a*d+b*c)...

> expand((c*p/(-a*d+b*c)-a*r/(-a*d+b*c))*a+(c*q/(-a*d+b*c)-a*s/(-a*d+b*c))*c);

a*c*p/(-a*d+b*c)-a^2*r/(-a*d+b*c)+c^2*q/(-a*d+b*c)-...

Since -bdp+b^2r-d^2q+dbs=0

acp-a^2r+c^2q-cas=0 only when a=b=c=d=0 but it contridit with A<>0

So A^(-1)BA can never be diagonal