Proofs from Eigenvalues and eigenvectors

The equation $Av=\lambda v$ is equivalent to $(A-\lambda I)v=0$. A non-zero solution exists exactly when $A-\lambda I$ is singular and a square matrix is singular exactly when its determinant is zero. The description of the eigenvectors then follows from the definition of the kernel.