Vale, he hecho la mayor parte del trabajo, pero necesito que alguien lo compruebe.
1) Puesto que sabemos que $Ker(A) = 0$ esto implica que $Ker(A^TA) = 0$
2) si el núcleo de $A^TA$ es $0$ entonces $dim(ker(A^TA)) = 0$
3) Ahora, si utilizamos el teorema de nulidad de rango,
$Rank(A^TA) + dim(ker(A^TA)) = n$
$n + 0 = n$
4) Podemos ver claramente que $Rank(A^TA)$ es igual a n
5) Según el teorema de la matriz invertible, una de sus condiciones establece claramente que si una matriz tiene rango completo, entonces es invertible.
Así pues, concluimos que $A^TA$ es invertible
¿Lo que acabo de hacer es suficiente para probar que $A^TA$ ¿es invertible? ¿he cometido algún error en mi lógica?