Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
For all orthogonally diagonalizable real matrices, or symmetric real matrices, are all eigenvalues distinct? What would be the proof it is so, or if not, what would be the proof?
Nope. For instance, consider the identity matrix. All the eigenvalues are $1$.
Required, but never shown