מערכת משוואות ליניאריות

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

==מבנה כללי==
מערכת כללית של m משוואות עם n נעלמים (או משתנים) <math>x_1,\dots,x_n</math> יכולה להיכתב בצורה הבאה:
:<math>\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}</math>
כאשר <math>a_{11},\ a_{12},...,a_{1n},a_{21},...,a_{2n},...,a_{m1},...,\ a_{mn}</math> הם המקדמים של הנעלמים/משתנים ו-<math>b_1,\ b_2,...,b_m</math> הם המקדמים החופשיים במשוואות.

בדרך כלל המקדמים והמשתנים שייכים לשדה (למשל שדה הממשיים, המרוכבים, או הרציונליים), או לחוג כדוגמת חוג השלמים.

===הצגה באמצעות וקטורים===
ניתן להציג את המערכת בצורה של משוואה וקטורית, כצירוף ליניארי של וקטורי עמודה:
:<math>
 x_1 \begin{bmatrix}a_{11}\\a_{21}\\ \vdots \\a_{m1}\end{bmatrix} +
 x_2 \begin{bmatrix}a_{12}\\a_{22}\\ \vdots \\a_{m2}\end{bmatrix} +
 \cdots +
 x_n \begin{bmatrix}a_{1n}\\a_{2n}\\ \vdots \\a_{mn}\end{bmatrix}
 =
 \begin{bmatrix}b_1\\b_2\\ \vdots \\b_m\end{bmatrix}
</math>
הצגה כזאת מאפשרת שימוש בתכונות של מרחב וקטורי. לדוגמה, האוסף של הצירופים הליניארים של הווקטורים בצד שמאל נקרא הקבוצה הפורשת שלהם, ולמערכת יש פתרון רק כאשר הווקטור בצד ימין נמצא בקבוצה הזאת. במקרה כזה, הפתרון הוא מקדמי ההצגה. הבחנה זו מובילה למשפט רושה קפלי, הקובע שלמערכת יש פתרון אם ורק אם דרגת המטריצה של המקדמים שווה לדרגת המטריצה שלה מוסיפים את הווקטור הקבוע. אם אפשר להציג כל וקטור (להביע אותו) כצירוף ליניארי של הווקטורים בצד שמאל, אז כל פתרון הוא ייחודי. בכל מקרה, למערכת יש בסיס של וקטורים שאינם תלויים ליניארית שמבטיחים בדיוק ביטוי אחד, ומספר הווקטורים בבסיס אינו יכול להיות גדול מ-m או n, אך יכול להיות קטן מהם.

===הצגה באמצעות מטריצות===
מערכת משוואות ליניאריות ניתנת גם להצגה בעזרת מטריצות. המערכת מוגדרת כשוויון
:<math>A\mathbf{x}=\mathbf{b}</math>
כאשר:
: <math>
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}
</math> 
מספר הווקטורים בבסיס הקבוצה הפורשת מבוטא כעת על ידי הדרגה של המטריצה.

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

קיימות שלוש אפשרויות למספר הפתרונות של המערכת:
# למערכת קיימים אינסוף פתרונות (או סופי אבל יותר מאחד במקרה של פתרון מעל שדה סופי)
# למערכת פתרון יחיד
# למערכת אין פתרון (הקבוצה הריקה)

===מערכת הומוגנית===
מערכת משוואות נקראת הומוגנית אם כל המקדמים החופשיים שווים לאפס:
:<math>\begin{alignat}{7}
a_{11} x_1 &&\; + \;&& a_{12} x_2 &&\; + \cdots + \;&& a_{1n} x_n &&\; = \;&&& 0 \\
a_{21} x_1 &&\; + \;&& a_{22} x_2 &&\; + \cdots + \;&& a_{2n} x_n &&\; = \;&&& 0 \\
\vdots\;\;\; && && \vdots\;\;\; && && \vdots\;\;\; && &&& \,\vdots \\
a_{m1} x_1 &&\; + \;&& a_{m2} x_2 &&\; + \cdots + \;&& a_{mn} x_n &&\; = \;&&& 0. \\
\end{alignat}</math>
מערכת כזאת ניתנת לייצוג באמצעות המשוואה <math>A\textbf{x}=\textbf{0}</math>, כאשר A היא מטריצת המקדמים, x הוא וקטור עמודה של המשתנים, ו-0 מסמל את וקטור האפס.

====פתרונות====
לכל מערכת הומוגנית יש פתרון הנקרא פתרון טריוויאלי, ובו כל המשתנים שווים ל-0 (כלומר: <math>\ x_1 = ... = x_n = 0</math>). לשאר הפתרונות יש תכונות נוספות:
* אם <math>\ \mathbf{u} </math> ו-<math>\ \mathbf{v} </math> הם וקטורים המייצגים פתרונות של המערכת, אז גם וקטור הסכום <math>\ \mathbf{u} + \mathbf{v} </math> מייצג פתרון (אדיטיביות).
* אם <math>\ \mathbf{u} </math> הוא וקטור המייצג פתרונות של המערכת, אזי לכל סקלר <math>\ r </math> גם הווקטור <math>\ r\mathbf{u} </math> מייצג פתרון (הומוגניות).

שתי העובדות הללו מבטאות את העובדה שמרחב הפתרונות של מערכת הומוגנית הוא מרחב וקטורי.

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

משפט: מעל שדה אינסופי, אם למערכת הומוגנית יש פתרון לא טריוויאלי, אז יש לה אינסוף פתרונות. מעל שדה בגודל q, מספר הפתרונות הוא תמיד חזקה של q. למשל כאשר מדובר בשדה סופי <math>\mathbb{F}_3</math> במרחב מממד 2 אז מס' הפתרונות יהיה 9=3<sup>2</sup>, כלומר q בחזקת המימד הוא מס' הפתרונות.

=== פתרון של מערכת לא הומוגנית ===

במקרה של מערכת לא הומוגנית <math>\ A \mathbf{x} = \mathbf{b}</math>, מרחב הפתרונות הוא מרחב אפיני (או ישריה), כלומר: מרחב וקטורי + קבוע. במקרה זה הפתרון הכללי שווה לצירוף ליניארי כלשהו של פתרונות ממרחב הפתרונות של המערכת ההומוגנית ועוד (ה)פתרון (ה)פרטי של המערכת הלא-הומוגנית.

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

משפט: אם הפתרון יחיד אזי מטריצת המקדמים A היא מטריצה הפיכה משמאל כלומר קיימת מטריצה P מסדר <math>\ n \times m</math> כך ש <math>\ P A= I_{n}</math> והפתרון נתון על ידי <math>\ \mathbf{x} = P \mathbf{b}</math>.

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

=== דוגמה: המקרה הדו-ממדי (פירוש גאומטרי) ===

פתרון המשוואות x-y=−1 ו-3x+y=9 הוא הנקודה (2,3)
במערכת של שתי משוואות בשני נעלמים x ו-y, כל משוואה מייצגת ישר, ושני הישרים נמצאים באותו מישור. פתרון למשוואה הוא וקטור (x,y) שמקיים את המשוואה הראשונה וגם את המשוואה השנייה, כלומר זהו וקטור שנמצא גם על הישר הראשון וגם על הישר השני. במילים אחרות, קבוצת הפתרונות היא החיתוך של שני הישרים שכל אחת מהמשוואות מייצגת. החיתוך הזה יכול להיות ישר (אם יש התלכדות בין שני הישרים), הקבוצה הריקה (אם הישרים מקבילים, ולכן לא נחתכים), או נקודה (כמו בתמונה).

כשיש במערכת שלושה משתנים מציגים כל אחד מהם בתור מישור במרחב תלת-ממדי אחד, והפתרון הוא החיתוך. כאן קבוצת הפתרונות יכולה להיות מישור, ישר, נקודה או הקבוצה הריקה (ישנם שני סוגים של אינסוף פתרונות).

עבור מערכת עם <math>\ n</math> משתנים, כל משוואה מייצג מרחב <math>\ n-1</math> ממדי, המשוכנים במרחב <math>\ n</math>-ממדי אחד.

מערכת ליניארית של שתי משוואות בשני נעלמים אפשר בדרך כלל להביא לצורה הבאה:

:<math>\ y = m_1 x + n_1</math>

:<math>\ y = m_2 x + n_2</math>

כל משוואה כזו (מעל הממשיים) מגדירה ישר במישור האוקלידי, ופתרון המערכת הוא נקודת החיתוך בין שני הישרים. למערכת אין פתרון אם שני הישרים שונים אך מקבילים זה לזה, ולפיכך אינם נחתכים. במצב זה שיפועי הישרים שווים, כלומר <math>\ m_1=m_2</math>, אך <math>\ n_1\ne n_2</math>. למערכת אינסוף פתרונות אם שני הישרים מתלכדים, כלומר, שתי המשוואות מייצגות את אותו ישר. במצב זה <math>\ m_1=m_2</math>, וגם <math>\ n_1= n_2</math>. למערכת פתרון יחיד בכל מקרה אחר, כלומר כאשר <math>\ m_1\ne m_2</math>. במקרה זה שני הישרים נחתכים בנקודה אחת <math>(x,y)</math> שהיא נקודת הפתרון, וערכה הוא <math>(\frac{n_2-n_1}{m_1-m_2},\frac{m_1n_2-n_1m_2}{m_1-m_2})</math>.

=== המשמעות הגרפית של הפתרונות ===
הישרים יכולים או להיחתך בנקודה אחת או להתלכד או להקביל אחד לשני. מצב הישרים ישפיע על מספר הפתרונות של המערכת. עבור מערכת הנתונה בצורה המפורשת מספר הפתרונות נקבע ע"פ התנאים הבאים:
*פתרון אחד - כאשר הישרים חותכים אחד את השני בנקודה אחת למערכת יהיה פתרון אחד ויחיד, והמשמעות הגאומטרית היא שיש לישרים שיפוע שונה. 
*אף פתרון - כאשר הישרים מקבילים למערכת לא יהיה פתרון, והמשמעות הגאומטרית היא שלשני הישרים שיפוע זהה אך הם אינם חותכים את ציר ה-y באותה נקודה. 
*אינסוף פתרון - כאשר הישרים מתלכדים למערכת יהיו אינסוף פתרונות, והמשמעות הגאומטרית היא שלשני הישרים שיפוע זהה והם חותכים את ציר ה-y באותה נקודה.

===התנהגות כללית===
באופן כללי, התנהגות המערכת נקבעת על פי היחס בין מספר הנעלמים למספר המשוואות:
# בדרך כלל, למערכת עם יותר נעלמים מאשר משוואות, יהיו אינסוף פתרונות (או סופי אבל יותר מאחד במקרה של פתרון מעל שדה סופי).
# בדרך כלל, למערכת עם אותו מספר נעלמים ומשוואות יהיה פתרון יחיד.
# בדרך כלל, למערכת עם יותר משוואות מאשר נעלמים לא יהיו פתרונות.
עבור האפשרות הראשונה, הממד של מרחב הפתרונות יהיה בדרך כלל מספר הנעלמים פחות מספר המשוואות.

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

לדוגמה, פתרון המשוואות:
:<math>\begin{alignat}{7}
 x &&\; + \;&& 3y &&\; - \;&& 2z &&\; = \;&& 5 & \\
3x &&\; + \;&& 5y &&\; + \;&& 6z &&\; = \;&& 7 & \\
2x &&\; + \;&& 4y &&\; + \;&& 3z &&\; = \;&& 8 &
\end{alignat}</math>
מחלצים את <math>\ x</math> מהמשוואה הראשונה ומקבלים <math>\ x = 5 + 2z - 3y </math>. מציבים במשוואה השנייה והשלישית ומקבלים:
:<math>\begin{alignat}{5}
-4y &&\; + \;&& 12z &&\; = \;&& -8 & \\
-2y &&\; + \;&& 7z &&\; = \;&& -2 &
\end{alignat}</math>
מחלצים את <math>\ y</math> מהמשוואה הראשונה ומקבלים <math>\ y=2+3z</math>. מציבים במשוואה השנייה ומקבלים <math>\ z=2</math>. עכשיו ידוע:
:<math>\begin{alignat}{7}
 x &&\; = \;&& 5 &&\; + \;&& 2z &&\; - \;&& 3y & \\
 y &&\; = \;&& 2 &&\; + \;&& 3z && && & \\
 z &&\; = \;&& 2 && && && && &
\end{alignat}</math>
הצבת <math>\ z=2</math> במשוואה השנייה נותנת <math>\ y=8</math>, והצבת <math>\ z=2</math> ו-<math>\ y=8</math> במשוואה השלישית נותנת <math>\ x = - 15 </math>.
לכן הפתרון הוא השלשה <math>\ (x,y,z)=( -15,8,2)</math>.

===דירוג מטריצות===

ניתן לפתור את המשוואה על ידי ההצגה באמצעות מטריצה לעיל. מבצעים על המטריצה פעולות עד לקבלת מטריצה מדורגת קנונית, שממנה הפתרון נובע באופן מיידי. שיטה זו נקראת שיטת גאוס-ז'ורדן או "שיטת האלימינציה של גאוס". שיטה זו לפתרון מערכת משוואות ליניאריות מבוססת על חיבור, חיסור והכפלה של משוואות בסקלר על מנת להגיע לצורה הקנונית (צורת המדרגות) בה פתרון המשוואות מיידי. בשיטה זו מבודדים באופן שיטתי את המשתנים רק באמצעות פעולות ליניאריות על מערכת המשוואות שאינן משנות את קבוצת הפתרונות של המערכת: חיבור וחיסור משוואות, כפל משוואה בסקלר. בהצגה מטריציונית פעולות אלה מתבטאות בחיבור או חיסור שורות, החלפת שורות, כפל שורה בקבוע מספרי והוספתה לשורה אחרת. המטרה הסופית היא להגיע למטריצת מדרגות (קנונית) באמצעות פעולות אלה, ממנה אפשר לקרוא ישירות את הפתרון. ([http://www.mathwords.com/g/g_assets/g1.gif דוגמה])

===נוסחת קרמר===

נוסחת קרמר היא שיטה לחישוב ישיר של פתרונות למערכת משוואות ליניאריות המשתמשת בדטרמיננטות. שיטה זו טובה רק עבור מערכות של n משוואות ב-n נעלמים (כאלה עבורן מטריצת המקדמים ריבועית) עבורן קיים פתרון יחיד (כלומר, הדטרמיננטה של מטריצת המקדמים שונה מאפס).

נוסחת קרמר קובעת שאם <math> \ A \mathbf{x}=\mathbf{b}</math> היא המשוואה, אזי הרכיב ה-<math>\ k</math> של וקטור הפתרון <math>\mathbf{x}</math> נתון על ידי
:<math>\ x_k=\frac{\det A_k}{\det A}</math>
כאשר <math> \ A_k</math> היא המטריצה המתקבלת על ידי החלפת העמודה ה-<math>\ k</math> שבמטריצה <math>\ A</math> בווקטור <math>\mathbf{b}</math>.

לדוגמה, עבור המערכת 
:<math>\ a \mathbf{x} + b \mathbf{y} = e</math> 
:<math>\ c \mathbf{x} + d \mathbf{y} = f</math>

בנעלמים x ו y (מודגשים), הפתרון נתון על ידי הנוסחאות <math> \mathbf{x} = \frac { \begin{vmatrix} e & b \\ f & d \end{vmatrix} } { \begin{vmatrix} a & b \\ c & d \end{vmatrix} } = { ed - bf \over ad - bc}</math> ו- <math> \mathbf{y} = \frac { \begin{vmatrix} a & e \\ c & f \end{vmatrix} } { \begin{vmatrix} a & b \\ c & d \end{vmatrix} } = { af - ec \over ad - bc}</math>.

== חקירה ==
כאשר המערכת נתונה בצורה שאין מספרים רק מקדמים,ׁ ניתן לנסח תנאים על המקדמים A, B ו- C מתוך הקשר בינם לבין המקדמים של המשוואה המפורשת, m ו- n:

1. פתרון יחיד
על מנת שלמערכת יהיה פתרון יחיד צריך שיתקיים: 
אם נכפיל משוואה זו ב-
<math>
 \dfrac{B_1}{A_2}
</math>

תתקבל המשוואה : 
<math>
 \dfrac{A_1}{A_2}
\neq
 \dfrac{B_1}{B_2}
</math> 
כלומר:
אם היחס בין מקדמי המשתנים של x ו- y, שונה – למערכת פתרון יחיד

2. אף פתרון- על מנת שלמערכת לא יהיה פתרון כלל צריכים להתקיים שני תנאים : 
<math>
m_1
=
 \dfrac{A_1}{B_1}
=
 \dfrac{A_2}{B_2}
=
m_2
</math>

וגם 
<math>
n_1
=
 \dfrac{C_1}{B_1}
\neq
 \dfrac{C_2}{B_2}
=
n_2
</math>

דוגמה לחקירה היא התרגיל הבא:

<math>
\begin{cases} x+(4-a)y=a-1\\ x(2-2a)-4y=-a \end{cases}
</math>

<math>
\begin{cases} -(2-2a)x-(2-2a)(4-a)y=-(2-2a)(a-1)\\ x(2-2a)-4y=-a \end{cases}
</math>

<math> (-2a^2+10a-12)y=2a^2-5a+2</math>

תחום של פונקציה#תחום ההגדרה של התרגיל:

<math>a\neq 2 a\neq 3 </math>

<math>
y=
 \dfrac{(a-2)(2a-1)}{(6-2a)(a-2)}
</math>

<math>
y=a-3
</math>

<math>\Downarrow</math>

<math>
x=a-1-(a-4)
\dfrac{(2a-1)}{2(3-a)}
</math>

<math>
\dfrac{a+2}{2(a-3)}
</math>

פתרון יחיד:

<math>
(\dfrac{a+2}{2(a-3)}
,
a-3)
</math>

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

<math>
\begin{cases} 2x+3y=7a\\ x-2y=-7a \end{cases}
</math>

דרך פתרון:

<math>
\begin{cases} 2x+3y=7a\\ x-2y=-7a \end{cases}
</math>

<math>
\begin{cases} 2x+3y=7a\\ -2x+4y=14a \end{cases}
</math>

<math>7y=21a</math>

<math>y=3a</math>

<math>\Downarrow</math>

<math>x=-a</math>

<math>(-a,3a)</math>

ברמה השנייה הפרמטרים מוגבלים בערכים מסוימים. 
דרך פתרון ראשונה: אנחנו פותרים את המערכת וקובעים, במהלך הפתרון, תחומי הגדרה לפרמטרים. בסוף הפתרון, אנחנו בודקים על ידי הצבה, מה קורה בערכים שפסלנו בדרך?

לדוגמה:

<math>
\begin{cases} x+ay=a^2\\ x+2y=5a-6a \end{cases}
</math>

נפתור באמצעות השוואת מקדמים:

<math>
\begin{cases} x+ay=a^2\\ x+2y=5a-6a \end{cases}
</math>

<math>(a-2)y=a^2-5a+6</math>

<math>
y=
 \dfrac{(a-2)(a-3)}{(a-2)}
</math>

<math>
y=a-3
</math>

<math>\Downarrow</math>

<math>
x+a(a-3)=a^2
</math>

<math>x=3a</math>

<math>(3a,a-3)</math>

דרך פתרון שנייה: דרך זו מתאימה לשאלות בהן מתבקשת רק חקירה ללא מתן הפתרון .

<math>
\begin{cases} x+ay=a^2\\ x+2y=5a-6a \end{cases}
</math>

<math>(a-2)y=a^2-5a+6</math>

<math>
y=
 \dfrac{(a-2)(a-3)}{(a-2)}
</math>

<math>
y=a-3
</math>

<math>\Downarrow</math>

<math>
x+a(a-3)=a^2
</math>

<math>x=3a</math>

<math>(3a,a-3)</math>

==קישורים חיצוניים==

* 
*

קטגוריה:אלגברה ליניארית