Ich habe folgendes anzubieten:
B XT AT + ( A X B ) T = E - A T
B XT AT + B T XT AT = E - A T
( B + B T ) XT AT = E - A T
XT AT = ( B + B T ) -1 ( E - A T) = ( B + B T ) -1 - ( B + B T ) -1 A T
XT = ( B + B T ) -1 ( A T ) -1 - ( B + B T ) -1
X = ( ( B + B T ) -1 ( A T ) -1 - ( B + B T ) -1 ) T
X = ( ( B + B T ) -1 ( A T ) -1 ) T - ( ( B + B T ) -1 ) T
X = ( ( A T ) -1 ) T ( ( B + B T ) -1 ) T - ( ( B + B T ) T ) -1
X = ( ( A T ) T ) -1 ( ( B + B T ) T ) -1 - ( B + B T) -1
X = A -1 ( B + B T ) -1 - ( B + B T ) -1
X = ( A -1 - E ) ( B + B T ) -1
Der fett gesetzte Ausdruck entspricht beinahe der angegebenen Lösung ( bis auf den Exponenten - 1 am Ende).
In der drittletzten und zweitletzten Zeile habe ich verwendet:
( B + B T ) T = B T + ( B T) T = B T + B = B + B T