קוד:ערך עצמי אפס

\begin{thm}

$\lambda=0$ ערך עצמי של $A$ אם ורק אם $A$ איננה הפיכה.

\end{thm}

\begin{proof}

\begin{description}

\item[$\boxed{\Leftarrow}$] נניח $\lambda =0$ הוא ע"ע של $A$. זאת אומרת שקיים וקטור $v\ne 0$ שעבורו $Av=0$. נסמן $$v=\left ( \begin{matrix} v_1\\ \vdots \\ v_n \end{matrix} \right ),\quad A=\left ( \begin{matrix} a_{11} & \cdots &a_{1n} \\ \vdots & \ddots & \vdots \\ a_{n1} & \cdots & a_{nn} \end{matrix} \right )$$ נוכל להגיד שלפיכך $$\left \{ \begin{matrix} a_{11}v_1+\cdots+a_{1n}v_n=0\\ \vdots\\ a_{n1}v_1+\cdots+a_{nn}v_n=0 \end{matrix} \right. $$ היא מערכת הומוגנית (בת $n$ משוואות מ-$n$ נעלמים). למערכת יש פתרון לא טריוויאלי, ולכן $A$ אינה הפיכה.

\item[$\boxed{\Rightarrow}$] נניח ש-$A$ אינה הפיכה. נתבונן במערכת $Av=0$. יש לה פתרון לא טריוויאלי $v\ne 0$, ולכן מתקיים $Av=0=0\cdot v$, זאת אומרת ש-$\lambda =0$ הוא ע"ע של $A$.

\end{description}

\end{proof}