Para cualquier real $m \times n$matriz $A$, parece que $$\det(I_n + A^{T}A) = \det(I_m + AA^{T}) $ $ sostiene siempre, donde $I_n$ es la matriz identidad de tamaño $n$.
Aunque no he intentado demostrarlo todavía, estoy seguro de que es una parte de los resultados conocidos en álgebra lineal. ¿Mi pregunta es, lo que se refiere a este hecho el nombre y donde puedo encontrar una referencia a ella?
