I know that $A^TA$ is positive semidefinite matrix, however I was wondering if this reasoning is incorrect since $A,A^T$ may have different eigenvectors.
Just saying $A^TAx=\lambda^2x$ where $\lambda$ is an eigenvalue of $A,A^T$ and $x$ a corresponding eigenvector. The only reason I thought this would be acceptable is because I know when considering the quadratic form of $A$, we can assume the matrix is symmetric. Is it true the product of two matrices being symmetric implies both are symmetric? So why would my assumption be incorrect here?