ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3732 on R5500: Transpose of real matrix inverse is inverse to the transpose

P3732

We have \begin{equation} A B = B A = I_N \end{equation} Transposing both sides, we have \begin{equation} B^T A^T = A^T B^T = I_N \end{equation} $\square$