Given a square matrix $A$ that fulfils
$$AA^t = I$$
Justify why must $A$ be invertible.
The answer, according to my book, is simply
$$AA^t = I$$
$$A^t = A^{-1}$$
I don't understand why does $A^t=A^{-1}$ must imply that $A$ is necessarily invertible. Why is that?
A matrix $A$ is invertible if there exists some matrix $B$ such that $AB=I=BA$ (I'm ignoring here the sizes of the matrices, assuming it is clear). It is in fact a theorem that for (finite) matrices the existence of $B$ with $AB=I$ automatically implies that $BA=I$ and thus that $A$ is invertible. We then denote $A^{-1}=B$.
Now, you are given that $AA^t=I$, so call $B=A^t$ and apply the above.