Let $M$ be a $q \times p$ real matrix. I want to prove the follwoing: if $I_p - M^\mathrm{T} M$ is positive definite, then the $(p + q) \times (p + q)$ matrix $$ S = \begin{pmatrix} I_p & M^\mathrm{T} \\ M & I_q \\ \end{pmatrix} $$ is symmetric positive definite.
How do I go about doing this?
Hint: Try the block diagonal form of the matrix $S$. \begin{equation} S = \begin{pmatrix} I - M^{'}M & M^{'} \\ 0 & I \end{pmatrix} \begin{pmatrix} I & 0 \\ M & I \end{pmatrix} \end{equation}
\begin{equation} S = \begin{pmatrix} I & M^{'} \\ 0 & I \end{pmatrix} \begin{pmatrix} I - M^{'}M & 0 \\ 0 & I \end{pmatrix} \begin{pmatrix} I & 0 \\ M & I \end{pmatrix} \end{equation}
and using the fact that if $A$ is invertible and $S$ is positive definite $A^{'}SA$ is positive definite as well.