Deje A ser invertible 3\times3 matriz con valores complejos. Probar que: \det\left(I + A^TA^{-1}\right) = 2\left(1 + \operatorname{tr}\left(A^TA^{-1}\right)\right)
He tratado de resolver este problema con polinomio característico pero al final me quedé atrapado en una expresión involvind Newton identidades con respecto a que el polinomio. No puedo relacionar A^TA^{-1} con polinomio característico.