Si$m,n,r\in \Bbb N$ y$A$ es una matriz$m\times n$ que satisface$(AA^T)^r=I$ es cierto que$m=n\implies A$ es invertible.
Creo que es cierto ya que$\det (AA^T)^r=1\implies \det A^{2r}=1\implies (\det A)^{2r}=1\implies \det A\neq 0\implies A $ es invertible.
Así que el resultado es cierto. ¿Es esto correcto?