Homework question, have to prove the following:
Let $A$ be $m\times n$, rank $m$ and $L$ be an $n\times n$ symmetric and positive definite on the subspace $M = \{\mathbf{x} : A\mathbf{x}=\mathbf{0}\}$. Show that the following $(n+m)\times (n+m)$ matrix
$$ \begin{pmatrix} L& A^T \\ A&0 \end{pmatrix} $$
is non-singular.
My attempt: The given matrix is symmetric and hence, has an eigenvector base characterization, with real eigenvectors. I suppose I have to use this, but dont know how to carry on. Any hints? Thanks