משפט רושה-קפלי

**משפט רושה-קפלי** הוא משפט בסיסי באלגברה ליניארית המאפיין את הפתרונות של מערכת משוואות ליניאריות. המשפט קובע תנאי הכרחי ומספיק לקיום פתרון של מערכת משוואות ליניאריות, וכן את הממד של מרחב הפתרונות.

המשפט נקרא **משפט [[אז'ן רושה|רושה]]-[[אלפרדו קפלי|קפלי]]** באיטליה, **משפט [[לאופולד קרונקר|קרונקר]]-קפלי** ברוסיה, **משפט רושה-פונטן** בצרפת ו**משפט רושה-[[פרדיננד גאורג פרובניוס|פרובניוס]]** בספרד.

## נוסח פורמלי

נתונה מערכת משוואות ליניאריות מהצורה הכללית הבאה:
:\begin{alignat}{7}
a_{11} x_1 &&\; + \;&& a_{12} x_2 &&\; + \cdots + \;&& a_{1n} x_n &&\; = \;&&& b_1 \\
a_{21} x_1 &&\; + \;&& a_{22} x_2 &&\; + \cdots + \;&& a_{2n} x_n &&\; = \;&&& b_2 \\
\vdots\;\;\; && && \vdots\;\;\; && && \vdots\;\;\; && &&& \;\vdots \\
a_{m1} x_1 &&\; + \;&& a_{m2} x_2 &&\; + \cdots + \;&& a_{mn} x_n &&\; = \;&&& b_m \\
\end{alignat}

נסמן ב-[A] מטריצת המקדמים הסקלריים, ב-\mathbf{x} את וקטור המשתנים וב-\mathbf{b} את וקטור המקדמים החופשיים:

: 
[A]=
\begin{bmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \cdots & a_{mn}
\end{bmatrix},\quad

\mathbf{x}=
\begin{bmatrix}
x_1 \\
x_2 \\
\vdots \\
x_n
\end{bmatrix},\quad

\mathbf{b}=
\begin{bmatrix}
b_1 \\
b_2 \\
\vdots \\
b_m
\end{bmatrix}


המשפט קובע כי למערכת המשוואות A\mathbf{x}=\mathbf{b} קיים פתרון, אם ורק אם הדרגה של המטריצה [A], שווה לדרגה של המטריצה [A|\mathbf{b}], המתקבלת מהוספת \mathbf{b} כעמודה ב-[A]. כלומר, \operatorname{rank}[A]=\operatorname{rank}[A|\mathbf{b}].

כמו כן, כאשר יש פתרונות הם מהווים מרחב אפיני מממד n-\operatorname{rank}[A] (הזזה של מרחב וקטורי מאותו ממד). בפרט כאשר n=\operatorname{rank}[A] המרחב הוא אפס ממדי ויש פתרון אחד בלבד. אחרת, יש אינסוף פתרונות.

## הוכחה
### חלק ראשון

הוכחה כי למערכת המשוואות קיים פתרון אם ורק אם הדרגה של [A] שווה לדרגה של [A|\mathbf{b}].

;כיוון אחד של השקילות
נניח כי למערכת A\mathbf{x}=\mathbf{b} יש פתרון \mathbf{c}. כלומר, מתקיים כי A\mathbf{c}=\mathbf{b}.

נבטא זאת באופן מפורש:
:\begin{bmatrix}a_{11}\\a_{21}\\ \vdots \\a_{m1}\end{bmatrix}c_1 + \begin{bmatrix}a_{12}\\a_{22}\\ \vdots \\a_{m2}\end{bmatrix}c_2 + \ldots +\begin{bmatrix}a_{1n}\\a_{2n}\\ \vdots \\a_{mn}\end{bmatrix}c_n =
 \begin{bmatrix}b_1\\b_2\\ \vdots \\b_m\end{bmatrix}

מכאן ש-\mathbf{b} הוא צירוף ליניארי של העמודות של [A]. כלומר הוא שייך למרחב שנפרש על ידי וקטורי העמודות, ולכן ממד מרחב העמודות (הוא הדרגה של [A]) נשמר כנדרש.

;כיוון שני של השקילות
נניח כי הדרגה אחרי הוספת \mathbf{b} זהה. כלומר \dim \mathrm{Span}(\mathbf{a_{1}}, \mathbf{a_{2}}, \ldots, \mathbf{a_{n}})=\dim \mathrm{Span}(\mathbf{a_{1}}, \mathbf{a_{2}}, \ldots, \mathbf{a_{n}}, \mathbf{b}), כאשר \mathbf{a_1},\mathbf{a_{2}},\ldots,\mathbf{a_n} הם העמודות של [A].

\mathrm{Span}(\mathbf{a_{1}}, \mathbf{a_{2}}, \ldots, \mathbf{a_{n}}) הוא תת-מרחב וקטורי של  \mathrm{Span}(\mathbf{a_{1}}, \mathbf{a_{2}}, \ldots, \mathbf{a_{n}}, \mathbf{b}), ומכיוון שממדיהם שווים הם בהכרח שווים,

הוכחנו ש- \mathrm{Span}(\mathbf{a_{1}}, \mathbf{a_{2}}, \ldots, \mathbf{a_{n}}, \mathbf{b})=\mathrm{Span}(\mathbf{a_{1}}, \mathbf{a_{2}}, \ldots, \mathbf{a_{n}}), ולכן \mathbf{b} הוא צירוף ליניארי של הווקטורים \mathbf{a_1},\mathbf{a_{2}}\ldots,\mathbf{a_n}. מקדמי הצירוף 
{(c_1, c_2, ..., c_n)} מהווים פתרון למערכת המשוואות A\mathbf{x}=\mathbf{b}.

### חלק שני

הוכחה כי קיים למערכת המשוואות פתרון יחיד אם ורק אם n=rank[A].

;כיוון ראשון של השקילות
נניח כי עבור המערכת A\mathbf{x}=\mathbf{b} קיים פתרון יחיד, ונניח בשלילה כי \operatorname{rank}[A].

מההנחה כי \operatorname{rank}[A] נובע שעבור המערכת A\mathbf{x}=\mathbf{0} קיימים לפחות שני פתרונות. זה עומד בסתירה להנחה שלמערכת A\mathbf{x}=\mathbf{b} יש פתרון יחיד, כי אם \mathbf{x} פתרון שלה, הרי שגם אם נוסיף לו כל אחד משני הפתרונות של המערכת שערכה \mathbf{0} נקבל את אותה תוצאה.

;כיוון שני של השקילות
נניח כי rank[A]=n, ונניח בשלילה שלמערכת A\mathbf{x}=\mathbf{b} קיימים שני פתרונות שונים.

מהנתון rank[A]=n נובע כי למערכת A\mathbf{x}=\mathbf{0} יש פתרון יחיד – הפתרון הטריוויאלי \mathbf{0}. אם נבחן את ההפרש של שני הפתרונות של A\mathbf{x}=\mathbf{b} נקבל גם כן \mathbf{0}, ולכן בהכרח שני הפתרונות שווים.

## הערות שוליים

קטגוריה:משפטים באלגברה ליניארית