In order to prove my PDE system is well-posed, I need to show that if a matrix is diagonalizable and has only real eigenvalues, then it's symmetric. 2. Relevant equations I've found theorems that relate orthogonally diagonalizable and symmetric matrices, but is that sufficient? 3. The attempt at a solution See above.