# Is there a name referring to this result?

For any real $m \times n$ matrix $A$, it seems that $$\det(I_n + A^{T}A) = \det(I_m + AA^{T})$$ always holds, where $I_n$ is the identity matrix of size $n$.

Though I have not tried to prove this yet, I'm sure it is a part of well-known results in linear algebra. So my question is, what is the name referring to this fact, and where can I find a reference to it?

-
@MTurgeon: My question came from preliminary differential geometry, when considering the Riemannian volume form $\sqrt{g}$ of the metric on a graph of a multivariable function. –  sos440 Apr 18 '12 at 1:53
I thought at first that there was no reason for it to have a name. But then I noticed it was familiar, thus my answer below. So I was wrong. –  M Turgeon Apr 18 '12 at 1:57
See this question for proofs of Sylvester's determinant identity. –  Bill Dubuque Apr 18 '12 at 2:40