Let the column vectors of a $3 × 3$ matrix $A$ form an orthonormal basis. Explain why $A^T = A^{−1}$ .
My Attempt: $AA^T=I$ if and only if $A^TA=I$. So $A$ is orthogonal if and only if $A^T$ is orthogonal.
Is this a correct explanation/ can it be put in a more better way?
Let $A=\begin{pmatrix}a_1 & a_2 & a_3 \end{pmatrix}$. Since the columns form an orthonormal basis, $a_i^T a_j=\delta_{ij}$, so $A^TA=I$. Since $\mathrm{rank}(A)=3$, $A^{-1}$ exists, and thus $A^TAA^{-1}=IA^{-1}$, and therefore $A^T=A^{-1}$.