Aloha :)
Gegeben seinen zwei Matrizen \(A\in\mathbb K^{l\times m}\) und \(B\in\mathbb K^{m\times n}\).
Für die Transponierte der Produktmatrix \((AB)\in\mathbb K^{l\times n}\) gilt dann \((AB)^T\in\mathbb K^{n\times l}\).
Für \(i=1,\ldots,n\) und \(k=1,\ldots,l\) lautet die jeweilige Komponente der Transponierten:$$(AB)^T_{ik}=(AB)_{ki}=\sum\limits_{j=1}^m a_{kj}b_{ji}=\sum\limits_{j=1}^m b_{ji}a_{kj}=\sum\limits_{j=1}^m (B^T)_{ij}(A^T)_{jk}=(B^TA^T)_{ik}$$Da diese Rechnung für alle Elemente der Transponierten richtig ist, gilt:$$(A\cdot B)^T=B^T\cdot A^T$$
Nun zeigen wir die eigentliche Behauptung für \(A\in GL_n(\mathbb K)\):
$$\left.A^{-1}A=\mathbf 1\quad\right|\;\text{transponieren}$$$$\left.(A^{-1}A)^T=\mathbf 1^T=\mathbf 1\quad\right|\;\text{Ergebnis von oben verwenden}$$$$\left.A^T(A^{-1})^T=\mathbf 1\quad\right|\;\text{von links \((A^T)^{-1}\) multiplizieren}$$$$\left.(A^T)^{-1}A^T(A^{-1})^T=(A^T)^{-1}\mathbf 1\quad\right|\;\text{vereinfachen durch \((A^T)^{-1}A^T=\mathbf1\)}$$$$\left.(A^{-1})^T=(A^T)^{-1}\quad\right.$$