Una manera diferente de la que usted está tratando de usar (pero útil en el sentido de que se utiliza de forma explícita una completa similitud-invariante) es este:
La forma canónica de Jordan del teorema de los rendimientos que, si $\mathbb{F}$ es una forma algebraica-campo cerrado, a dos matrices $A,B\in \mathcal{M}_{n\times n}(\mathbb{F})$ son semejantes si y sólo si
$$\forall n\in\mathbb{N}^+,\forall \lambda \in \mathbb{F},\ \, \dim\ker\left((A-\lambda I)^n\right)=\dim\ker\left((B-\lambda I)^n\right)$$
Ahora, desde la $\forall C\in\mathcal{M}_{n\times n}(\mathbb{F})\ \dim\ker C^T=\dim\ker C$, e $(A-\lambda I)^T=A^T-\lambda I$, el resultado de la siguiente manera.