qqp question1: How do I prove that eigenvectors corresponding to distinct eigenvalues of a real symmetric matrix are orthogonal? question2: How do I prove that the inverse of an orthogonal matrix is also orthogonal?