Nur als Idee (ohne jegliche Gewähr)
T* TT = E würde ja genügen. Aber das weisst du auch.
TT G T = G
Da det(G) ≠ 0 ist T invertierbar.
TT G T = G | ich multipliziere mal von rechts mit T-1
TT * G = G* T-1
jetzt müsste die Multiplikation mit einer Diagonalmatrix noch kommutativ sein, dann hätte ich
G * TT = G* T-1. G ist invertierbar. von links mit G-1 multiplizieren
TT = T-1
Wenn das Grüne stimmt, geht's auch direkt:
TT G T = G
G TT T = G |von links mit G-1 mult.
TT T = E.
analog T TT = E.