If $A,B\in M_{m \times n}$. Show that $\det(tI-BA^T)=\det(tI-B^TA)t^{m-n}$
I want to solve this question and I have an idea probably useful which is from Sylvester's determinant identity. If I can find some matrices such that $$P^{-1}\begin{bmatrix}I&\\&\ BA^T\end{bmatrix}P=\begin{bmatrix}I&\\&\ A^TB\end{bmatrix}$$, then two matrices are similar and have the same characteristic polynomial. Hope someone can give me a hint how to construct these four matrices.