Nur als Idee (ohne jegliche Gewähr)
T* T^T = 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}
T^T * G = G* T^{-1}
jetzt müsste die Multiplikation mit einer Diagonalmatrix noch kommutativ sein, dann hätte ich
G * T^T = G* T^{-1}. G ist invertierbar. von links mit G^{-1} multiplizieren
T^T = T^{-1}
Wenn das Grüne stimmt, geht's auch direkt:
TT G T = G
G T^T T = G |von links mit G^{-1} mult.
T^T T = E.
analog T T^T = E.