If A is a square matrix with real valiues. Prove that A^tA is diagonisable and that all of it's eigenvalues are real and non-negative.
OK so I can easily prove that it is diagonisable, but I can't get the non-negative eigenvalue part.
Would appreciate a hint at this point. not the solution please.