# Eigenvalue Problem and Singularity

I am interested in one detail regarding the calculation of eigenvalues and eigenvectors. The equation one starts with is for a matrix A, a vector x and a scaler $\lambda$ the following:

Ax = $\lambda$x

where x $\neq$ 0. How does it follow now, that the matrix A-I*$\lambda$ is singular (i.e. its determinant is equal to zero)?

-

Since $Ax=\lambda x$ we have $(A-\lambda I)x=0$. Since $x\neq 0$ and $x\in\ker(A-\lambda I)$, we have $\ker(A-\lambda I)\neq\{0\}$. In particular, $\det(A-\lambda I)=0$.
$$\lambda \text{ eigenvalue of } A \\ \iff \text{exists nonzero vector }v\text{ with }Av = \lambda v\\ \iff \text{exists nonzero vector }v\text{ with }(A - \lambda I)v = 0\\\iff \text{exists nonzero vector }v\in\ker(A-\lambda I)\\ \iff A - \lambda I\text{ singular}$$