Let $K, M$ be $n \times n$ matrices, with $M>0$ positive definite. A nonzero vector $\mathbf{v} \neq \mathbf{0}$ is called a generalized eigenvector of matrix pair $K, M$ if it satisfies the generalized eigenvalue equation
$$
K \mathbf{v}=\lambda M \mathbf{v}, \quad \mathbf{v} \neq \mathbf{0},
$$
where the scalar $\lambda$ is the corresponding generalized eigenvalue. Note that ordinary eigenvalue/eigenvectors of $K$ are when $M=1$.(a) Prove that $\lambda$ is a generalized eigenvalue if and only if it satisfies the generalized characteristic equation $\operatorname{det}(K-\lambda M)=0$.
(b) Prove that $\lambda$ is a generalized eigenvalue of the matrix pair $K, M$ if and only if it is an ordinary eigenvalue of the matrix $M^{-1} K$. How are the eigenvectors related? (c) Now suppose $K$ is a symmetric matrix. Prove that its generalized eigenvalues are all real.
Hint: First explain why this does not follow from part (a). Instead mimic the proof of part (a) of Theorem 8.32 , using the weighted Hermitian inner product $\langle\mathbf{v}, \mathbf{w}\rangle=\mathbf{v}^T M \mathbf{w}$ in place of the dot product. (d) Show that if $K>0$, then its generalized eigenvalues are all positive: $\lambda>0$. (e) Prove that the eigenvectors corresponding to different generalized eigenvalues are orthogonal under the weighted inner product $\langle\mathbf{v}, \mathbf{w}\rangle=\mathbf{v}^T M \mathbf{w}$. (f) Show
Cuibuag Thascoag com
that, if the matrix pair $K, M$ has $n$ distinct generalized eigenvalues, then the eigenvectors form an orthogonal basis for $\mathbb{R}^n$. Remark. One can, by mimicking the proof of part $(c)$ of Theorem 8.32 , show that this holds even when there are repeated generalized eigenvalues.