חזור לתיקייה: תרגול

4 - ריבועים פחותים

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • כללי
  • פתרון הריבועים הפחותים
  • במונחים של נגזרות
  • דרך נוספת לפתרון
  • תרגול מבחינות

4 - ריבועים פחותים

02340125

אלגוריתמים נומריים

רשימות תרגול לקריאה בשבת

ריבועים פחותים

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

עד כה עסקנו בפתרון יעיל(LULULU) של מערכת משוואות Ax‾=b‾A\underline{x}=\underline{b}Ax​=b​ כאשר A∈Rm×nA \in\mathbb{R}^{m \times n}A∈Rm×n.
אם m≥nm\geq nm≥n ודרגתה של AAA מלאה יתכנו שני מצבים:

  1. קיומו של פתרון יחיד
  2. אין פתרון

מה קורה כאשר אין פתרון? על פי מה שידענו עד כה עלינו להרים ידים. לא עוד! אלגוריתם הריבועים הפחותים מציע חלופה: נחפש את הוקטור x‾∗\underline{x}^*x​∗ שיהיה "הפתרון המקורב הטוב ביותר"
נמיר את מערכת המשוואות לבעית אופטימיזציה ונדרוש:

min⁡x‾p(x‾)=min⁡x‾∥Ax‾−b‾∥22=min⁡∥r⃗∥22\underset{\underline{x}}{\min}p(\underline{x})=\underset{\underline{x}}{\min}\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2=\min\left\lVert \vec{r} \right\rVert _{2}^2x​min​p(x​)=x​min​∥Ax​−b​∥22​=min∥r∥22​

הפונקציה המובאת למינימום היא "פרבולה רב מימדית":

p(x‾)=∥Ax‾−b‾∥22=(Ax‾−b‾)t(Ax‾−b‾)=(Ax‾)tAx‾−(Ax‾)tb‾−b‾tAx‾+btbx‾tAtAx‾−2x‾tAtb‾+b‾tb‾=x‾tKx‾−2x‾tf‾+c\begin{align*} p(\underline{x})&=\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2=(A\underline{x}-\underline{b})^t(A\underline{x}-\underline{b}) \\ &=(A\underline{x})^tA\underline{x}-(A\underline{x})^t\underline{b}-\underline{b}^tA\underline{x}+b^tb \\ &\underline{x}^tA^tA\underline{x}-2\underline{x}^tA^t\underline{b}+\underline{b}^t\underline{b}=\underline{x}^tK\underline{x}-2\underline{x}^t\underline{f}+c \end{align*}p(x​)​=∥Ax​−b​∥22​=(Ax​−b​)t(Ax​−b​)=(Ax​)tAx​−(Ax​)tb​−b​tAx​+btbx​tAtAx​−2x​tAtb​+b​tb​=x​tKx​−2x​tf​+c​
משפט

בבעיה הריבועית שהתקבלה, אם המטריצה KKK חיובית מוגדרת(K≻0K \succ 0K≻0) אזי ל-p(x‾)p(\underline{x})p(x​) יש מינימום יחיד וגלובלי הנתון ע"י:

x‾∗=K−1f‾\underline{x}^*=K^{-1}\underline{f}x​∗=K−1f​
הערה

אם KKK חיובית מודרת אזי היא הפיכה ולכן נוסחת הפתרון תקפה.

פתרון הריבועים הפחותים

p(x‾)=∥Ax‾−b‾∥22=x‾tAtAx‾−2x‾tAtb‾+b‾tb‾=x‾tKx‾−2x‾tf‾+cp(\underline{x})=\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2 =\underline{x}^tA^tA\underline{x}-2\underline{x}^tA^t\underline{b}+\underline{b}^t\underline{b}=\underline{x}^tK\underline{x}-2\underline{x}^t\underline{f}+cp(x​)=∥Ax​−b​∥22​=x​tAtAx​−2x​tAtb​+b​tb​=x​tKx​−2x​tf​+c

הפתרון האופטימלי צריך לקיים:

Kx‾=f‾  ⟺  AtAx‾=Atb‾K\underline{x} =\underline{f} \iff A^tA\underline{x}=A^t\underline{b}Kx​=f​⟺AtAx​=Atb​ x‾∗=(AtA)−1Atb‾=A†b‾\underline{x}^*=(A^tA)^{-1}A^t\underline{b}=A^{\dagger}\underline{b}x​∗=(AtA)−1Atb​=A†b​
הערה

הפסודו-היפוך מתלכד עם היפוך רגיל כאשר המטריצה ריבועית.

נוכל לטעון ש-K=AtAK=A^tAK=AtA היא חיובית מוגדרת כאשר עמודות AAA יהיו בת"ל.
כאשר K=AtAK=A^tAK=AtA אינה חיובית מוגדרת אזי מתקיים:

משפט

בבעיה הריבועית שהתקבלה, אם המטריצה KKK חיובית חצי-מוגדרת(כלומר, לא הפיכה) אזי כל x‾∗\underline{x}^*x​∗ המקיים את המשוואה

Kx‾∗=f‾K\underline{x}^*=\underline{f}Kx​∗=f​

מהווה נקודת מינימום גלובלית ל-p(x‾)p(\underline{x})p(x​).

בואו נעניק לנוסחת הפתרון משמעות נוספת:

Kx‾∗=f‾⇓AtAx‾∗=Atb‾⇓At(Ax‾∗−b‾)=0⇓Atr‾∗=0}A⊥r‾∗\left.\begin{matrix} K\underline{x}^*=\underline{f} \\ \Downarrow \\ A^tA\underline{x}^*=A^t\underline{b} \\ \Downarrow \\ A^t(A\underline{x}^*-\underline{b})=0 \\ \Downarrow \\ A^t\underline{r}^*=0 \end{matrix}\right\} {\LARGE A \perp \underline{r}^*}Kx​∗=f​⇓AtAx​∗=Atb​⇓At(Ax​∗−b​)=0⇓Atr​∗=0​⎭⎬⎫​A⊥r​∗

פירוש הדבר הוא שוקטור השארית r‾∗=Ax‾∗−b‾\underline{r}^*=A\underline{x}^*-\underline{b}r​∗=Ax​∗−b​ אמור להיות מאונך לעמודותיה של המטריצה AAA.
לכן המשוואה AtAx‾=Atb‾A^tA\underline{x}=A^t\underline{b}AtAx​=Atb​ מכונה המשוואה הנורמלית.

במונחים של נגזרות

הריבועים הפחותים זו בעצם פונקציה ונוכל לגזור אותה:

∇x‾p(x‾)=2At(Ax‾−b‾)\nabla_{\underline{x}}p(\underline{x})=2A^t(A\underline{x}-\underline{b})∇x​​p(x​)=2At(Ax​−b​)

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

2At(Ax‾−b‾)=0  ⟹  AtAx‾=Atb‾2A^t(A\underline{x}-\underline{b})=0 \implies A^tA\underline{x}=A^t\underline{b}2At(Ax​−b​)=0⟹AtAx​=Atb​

באופן דומה, אם K≻0K \succ 0K≻0 וסימטרית אזי

∇x‾(x‾tKx‾−2x‾tf‾+c)=2(Kx‾−f‾)\nabla_{\underline{x}}(\underline{x}^tK\underline{x}-2\underline{x}^t\underline{f}+c)=2(K\underline{x}-\underline{f})∇x​​(x​tKx​−2x​tf​+c)=2(Kx​−f​)
תרגיל

מצאו פתרון ל:

min⁡x‾∥(1−11110)(x1x2)−(211)∥22\underset{\underline{x}}{\min}\left\lVert \begin{pmatrix} 1 & -1 \\ 1 & 1 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}-\begin{pmatrix} 2 \\ 1 \\ 1 \end{pmatrix} \right\rVert_{2}^2x​min​​​111​−110​​(x1​x2​​)−​211​​​22​

צריך לפתור את המשוואה הנורמלית:

AtAx‾=Atb‾A^tA\underline{x}=A^t\underline{b}AtAx​=Atb​ AtA=(111−110)(1−11110)=(3002)Atb‾=(111−110)(211)=(4−1)A^tA=\begin{pmatrix} 1 & 1 & 1 \\ -1 & 1 & 0 \end{pmatrix}\begin{pmatrix} 1 & -1 \\ 1 & 1 \\ 1 & 0 \end{pmatrix}=\begin{pmatrix} 3 & 0 \\ 0 & 2 \end{pmatrix} \qquad \qquad A^t\underline{b}=\begin{pmatrix} 1 & 1 & 1 \\ -1 & 1 & 0 \end{pmatrix}\begin{pmatrix} 2 \\ 1 \\ 1 \end{pmatrix}=\begin{pmatrix} 4 \\ -1 \end{pmatrix}AtA=(1−1​11​10​)​111​−110​​=(30​02​)Atb​=(1−1​11​10​)​211​​=(4−1​)

ואז נקבל:

(3002)(x1x2)=(4−1)\begin{pmatrix} 3 & 0 \\ 0 & 2 \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}=\begin{pmatrix} 4 \\ -1 \end{pmatrix}(30​02​)(x1​x2​​)=(4−1​) (32402−1)R1=R1−R2→(30402−1)  ⟹  (x1x2)=(43−12)\left(\begin{array}{cc|c} 3 & 2 & 4 \\ 0 & 2 & -1 \end{array}\right)\overrightarrow{R_{1}=R_{1}-R_{2}}\left(\begin{array}{cc|c} 3 & 0 & 4 \\ 0 & 2 & -1 \end{array}\right)\implies \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}=\begin{pmatrix} \frac{4}{3} \\ -\frac{1}{2} \end{pmatrix}(30​22​4−1​)R1​=R1​−R2​​(30​02​4−1​)⟹(x1​x2​​)=(34​−21​​)

עמודות המטריצה בת"ל ולכן אמור להיות לנו פתרון אחד - שזה בדיוק מה שיצא לנו :)
כעת נוכל למצוא את המרחק:

A(43−12)=(1165643)A\begin{pmatrix} \frac{4}{3} \\ -\frac{1}{2} \end{pmatrix}=\begin{pmatrix} \frac{11}{6} \\ \frac{5}{6} \\ \frac{4}{3} \end{pmatrix}A(34​−21​​)=​611​65​34​​​ ∥(1165643)−(211)∥22=∥(−16−1613)∥22=16\left\lVert \begin{pmatrix} \frac{11}{6} \\ \frac{5}{6} \\ \frac{4}{3} \end{pmatrix}-\begin{pmatrix} 2 \\ 1 \\ 1 \end{pmatrix} \right\rVert_{2}^2=\left\lVert \begin{pmatrix} -\frac{1}{6} \\ -\frac{1}{6} \\ \frac{1}{3} \end{pmatrix} \right\rVert_{2}^2=\frac{1}{6}​​611​65​34​​​−​211​​​22​=​​−61​−61​31​​​​22​=61​
תרגיל

מצאו פתרון:

min⁡x‾∥(5−81113)(x1x2)−(124)∥22\underset{\underline{x}}{\min}\left\lVert \begin{pmatrix} 5 & -8 \\ 1 & 1 \\ 1 & 3 \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}-\begin{pmatrix} 1 \\ 2 \\ 4 \end{pmatrix} \right\rVert _{2}^2x​min​​​511​−813​​(x1​x2​​)−​124​​​22​
AtA=(27−36−3674)Atb‾=(116)A^tA=\begin{pmatrix} 27 & -36 \\ -36 & 74 \end{pmatrix} \qquad \qquad A^t\underline{b}=\begin{pmatrix} 11 \\ 6 \end{pmatrix}AtA=(27−36​−3674​)Atb​=(116​)

המטריצה AtAA^tAAtA היא סימטרית והיא מוגדרת חיובית שכן עמודות AAA בת"ל. כלומר, אנו מצפים לפתרון יחיד(לפי משפט)
נפתור את המשוואה הנורמלית:

(27−36−3674)(x1x2)=(116)\begin{pmatrix} 27 & -36 \\ -36 & 74 \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}=\begin{pmatrix} 11 \\ 6 \end{pmatrix}(27−36​−3674​)(x1​x2​​)=(116​) (1−12113026623)  ⟹  (x1x2)=(1.4670.795)\left(\begin{array}{cc|c} 1 & -12 & \frac{11}{3} \\ 0 & 26 & \frac{62}{3} \end{array}\right)\implies \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}=\begin{pmatrix} 1.467 \\ 0.795 \end{pmatrix}(10​−1226​311​362​​)⟹(x1​x2​​)=(1.4670.795​)

דרך נוספת לפתרון

בהינתן נקודה b‾∈Rm\underline{b} \in \mathbb{R}^mb​∈Rm ותת מרחב V⊆RmV \subseteq \mathbb{R}^mV⊆Rm, מהי הנקודה v‾∗∈V\underline{v}^* \in Vv​∗∈V הקרובה ביותר ל-b‾\underline{b}b​?
אם VVV נפרש ע"י הבסיס {v‾1,v‾2,…,v‾n}\left\{ \underline{v}_{1},\underline{v}_{2},\dots,\underline{v}_{n} \right\}{v​1​,v​2​,…,v​n​} אז לכל v‾∈V\underline{v}\in Vv​∈V:

v‾=x1v‾1+x2v‾2+⋯+xnv‾n=(∣∣∣∣∣∣∣∣∣v‾1v‾2…v‾n∣∣∣∣∣∣∣∣∣)(x1x2⋮xn)=Ax‾\underline{v}=x_{1}\underline{v}_{1}+x_{2}\underline{v}_{2}+\dots+x_{n}\underline{v}_{n}=\begin{pmatrix} \vert & \vert & & \vert \\ \vert & \vert & & \vert \\ \vert & \vert & & \vert \\ \underline{v}_{1} & \underline{v}_{2} & \dots & \underline{v}_{n} \\ \vert & \vert & & \vert \\ \vert & \vert & & \vert \\ \vert & \vert & & \vert \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \\ \vdots \\ x_{n} \end{pmatrix}=A\underline{x}v​=x1​v​1​+x2​v​2​+⋯+xn​v​n​=​∣∣∣v​1​∣∣∣​∣∣∣v​2​∣∣∣​…​∣∣∣v​n​∣∣∣​​​x1​x2​⋮xn​​​=Ax​

כל בעיית ריבועים פחותים ניתנת לפרשות כפעולת הטלה של הוקטור b‾\underline{b}b​ על המרחב הנפרש מעמודות AAA.

v‾∗=argmin⁡v‾∈V∥v‾−b‾∥22\underline{v}^*=arg \underset{\underline{v} \in V}{\min}\left\lVert \underline{v}-\underline{b} \right\rVert _{2}^2v​∗=argv​∈Vmin​∥v​−b​∥22​ x‾∗=argmin⁡x‾∥Ax‾−b‾∥22  ⟹  v‾∗=Ax‾∗\underline{x}^*=arg \underset{\underline{x}}{\min}\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2 \implies \underline{v}^*=A\underline{x}^*x​∗=argx​min​∥Ax​−b​∥22​⟹v​∗=Ax​∗
הערה

אם colA=colBcolA=colBcolA=colB ו:

∥Ax‾−b‾∥22⟵x‾∗\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2 \longleftarrow \underline{x}^*∥Ax​−b​∥22​⟵x​∗ ∥Bx‾−b‾∥22⟵y‾∗\left\lVert B\underline{x}-\underline{b} \right\rVert _{2}^2 \longleftarrow \underline{y}^*∥Bx​−b​∥22​⟵y​∗

זה לא בהכרח יהיה אותו הפתרון אבל תמיד יתקיים Ax‾∗=By‾∗A\underline{x}^*=B\underline{y}^*Ax​∗=By​∗.

תרגיל

מצאו את הנקודה הקרובה ביותר ל-b‾\underline{b}b​ במרחב הנפרש ע"י: {(321),(−213)}\left\{ \begin{pmatrix}3\\2\\1\end{pmatrix},\begin{pmatrix}-2\\1\\3\end{pmatrix} \right\}⎩⎨⎧​​321​​,​−213​​⎭⎬⎫​ כאשר b‾=(−1−24)\underline{b}=\begin{pmatrix}-1\\-2\\4\end{pmatrix}b​=​−1−24​​.

נתרגם את בעיה זו לריבועים פחותים.
נרצה לפתור את:

∥(3−22113)(x1x2)−(−1−24)∥22\left\lVert \begin{pmatrix} 3 & -2 \\ 2 & 1 \\ 1 & 3 \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}-\begin{pmatrix} -1 \\ -2 \\ 4 \end{pmatrix} \right\rVert_{2}^2​​321​−213​​(x1​x2​​)−​−1−24​​​22​

מחפשים את Ax‾A\underline{x}Ax​ ולא את x‾\underline{x}x​.

AtA=(14−1−114)Atb‾=(−312)A^tA=\begin{pmatrix} 14 & -1 \\ -1 & 14 \end{pmatrix} \qquad \qquad A^t\underline{b}=\begin{pmatrix} -3 \\ 12 \end{pmatrix}AtA=(14−1​−114​)Atb​=(−312​) (14−1−3−11412)  ⟹  (x1x2)=(−2131113)\left(\begin{array}{cc|c} 14 & -1 & -3 \\ -1 & 14 & 12 \end{array}\right)\implies \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix}=\begin{pmatrix} -\frac{2}{13} \\ \frac{11}{13} \end{pmatrix}(14−1​−114​−312​)⟹(x1​x2​​)=(−132​1311​​)

זה x‾\underline{x}x​ ואנו מחפשים את Ax‾A\underline{x}Ax​.

v‾∗=Ax‾=(3−22113)(−2131113)=(−28137133113)\underline{v}^*=A\underline{x}=\begin{pmatrix} 3 & -2 \\ 2 & 1 \\ 1 & 3 \end{pmatrix}\begin{pmatrix} -\frac{2}{13} \\ \frac{11}{13} \end{pmatrix}=\begin{pmatrix} -\frac{28}{13} \\ \frac{7}{13} \\ \frac{31}{13} \end{pmatrix}v​∗=Ax​=​321​−213​​(−132​1311​​)=​−1328​137​1331​​​

וזה בדיוק מה שרצינו.

תרגול מבחינות

תרגיל (מועד א' אביב תשנ"ו(בקורס שהיה הגרסה הקודמת של הקורס הזה))

נתונה בעיית הריבועים הפחותים הבאה:

min⁡x‾∥Ax‾−b‾∥22=min⁡x‾∥(110101011111001)(x1x2x3)−(21120)∥22\underset{\underline{x}}{\min}\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2=\underset{\underline{x}}{\min}\left\lVert \begin{pmatrix} 1 & 1 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 1 \\ 1 & 1 & 1 \\ 0 & 0 & 1 \end{pmatrix}\begin{pmatrix} x_{1} \\ x_{2} \\ x_{3} \end{pmatrix}-\begin{pmatrix} 2 \\ 1 \\ 1 \\ 2 \\ 0 \end{pmatrix} \right\rVert _{2}^2x​min​∥Ax​−b​∥22​=x​min​​​11010​10110​01111​​​x1​x2​x3​​​−​21120​​​22​

א. האם לבעיה זו פתרון יחיד?
ב. אם קיים פתרון יחיד, מהו? אם קיימים פתרונות רבים, הציעו אחד מהם.
ג. מהו גובה הפונקציה המינימלי?
אנו עוברים לבעיית LSLSLS כללית בעלת פתרון יחיד ועם מטריצה AAA בגודל m×nm \times nm×n:
ד. האם יתכן ש-m<nm<nm<n? נמקו

פתרון א':
צירוף של העמודות יגלה שהדרגה היא 3. העמודות בת"ל ולכן יש פתרון יחיד.

פתרון ב':

AtA=(322232224)Atb‾=(554)A^tA=\begin{pmatrix} 3 & 2 & 2 \\ 2 & 3 & 2 \\ 2 & 2 & 4 \end{pmatrix} \qquad \qquad A^t\underline{b}=\begin{pmatrix} 5 \\ 5 \\ 4 \end{pmatrix}AtA=​322​232​224​​Atb​=​554​​

כעת נפתור את המשוואה הנורמלית:

(322523252244)  ⟹  (x1x2x3)=(110)\left(\begin{array}{ccc|c} 3 & 2 & 2 & 5 \\ 2 & 3 & 2 & 5 \\ 2 & 2 & 4 & 4 \end{array}\right) \implies \begin{pmatrix} x_{1} \\ x_{2} \\ x_{3} \end{pmatrix}=\begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix}​322​232​224​554​​⟹​x1​x2​x3​​​=​110​​

וזהו הפתרון היחיד.

פתרון ג':
נשים לב כי Ax‾=b‾A\underline{x}=\underline{b}Ax​=b​ ואז

∥Ax‾−b‾∥22=0\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2=0∥Ax​−b​∥22​=0

פתרון ד':

n≤r(A)≤mn\leq r(A)\leq mn≤r(A)≤m

ולכן זה לא יתכן.

תרגיל (מועד ב' חורף 21)

נתונה בעיית ריבועים פחותים עם מטריצה A∈Rm×nA \in \mathbb{R}^{m\times n}A∈Rm×n.

min⁡x‾∈Rn∥Ax‾−b‾∥22\underset{\underline{x} \in \mathbb{R}^{n}}{\min}\left\lVert A\underline{x}-\underline{b} \right\rVert _{2}^2x​∈Rnmin​∥Ax​−b​∥22​

בחרו את הטענה הנכונה:
א. אם m≥nm\geq nm≥n אזי יש פתרון יחיד.
ב. אם m≤nm\leq nm≤n אזי יש פתרון יחיד.
ג. אם AAt=IAA^t=IAAt=I אזי יש פתרון יחיד
ד. אם AAt=IAA^t=IAAt=I אזי קיימים ∞\infty∞ פתרונות.
ה. כל הטענות לא נכונות.

א - לאו דווקא נכון.
ב - בחיים לא נכון שכן במצב זה תמיד יהיו ∞\infty∞ פתרונות.
ג - אם נקח את המטריצה A=(100010)A=\begin{pmatrix}1 & 0 & 0\\0 & 1 & 0\end{pmatrix}A=(10​01​00​) נגלה שהיא דוגמה נגדית.
ד - לא נכון(נקח את מטריצת היחידה)
ה - זו התשובה הנכונה

תרגיל (מועד א' חורף 2022)

עבור בעיית ריבועים פחותים נתון שהמטריצה AAA בעלת mmm שורות ו-nnn עמודות כך ש-n>mn>mn>m. בחרו את הטענה הנכונה:
א. לבעיה יש פתרון יחיד.
ב. לבעיה יש ∞\infty∞ פתרונות. בנוסף, לכל צמד פתרונות של בעיה זו, x1,x2x_{1},x_{2}x1​,x2​ מתקיים כי הוקטור x3=23x2+13x1x_{3}=\frac{2}{3}x_{2}+\frac{1}{3}x_{1}x3​=32​x2​+31​x1​ גם הוא פתרון.
ג. לבעיה יש ∞\infty∞ פתרונות. בנוסף, קיים צמד פתרונות x1,x2x_{1},x_{2}x1​,x2​ עבורם מתקיים כי הוקטור x3=23x2+13x1x_{3}=\frac{2}{3}x_{2}+\frac{1}{3}x_{1}x3​=32​x2​+31​x1​ אינו פתרון של הבעיה.
ד. לבעיה יש ∞\infty∞ פתרונות. בנוסף, לכל צמד פתרונות x1,x2x_{1},x_{2}x1​,x2​ מתקיים כי הוקטור x3=23x2−13x1x_{3}=\frac{2}{3}x_{2}-\frac{1}{3}x_{1}x3​=32​x2​−31​x1​ גם הוא פתרון.
ה. לבעיה יש ∞\infty∞ פתרונות. בנוסף, קיים צמד פתרונות x1,x2x_{1},x_{2}x1​,x2​ שעבורם מתקיים כי הווקטור x3=x2+x12x_{3}=\frac{x_{2}+x_{1}}{2}x3​=2x2​+x1​​ אינו פתרון של הבעיה.

א - לא נכון כי r(A)<nr(A)<nr(A)<n.

יהיו x1,x2x_{1},x_{2}x1​,x2​ פתרונות של הבעיה.

AtA(23x2+13x1)=23AtAx2+13AtAx1=23Atb+13Atb=AtbA^tA\left( \frac{2}{3}x_{2}+\frac{1}{3}x_{1} \right)=\frac{2}{3}A^tAx_{2}+\frac{1}{3}A^tAx_{1}=\frac{2}{3}A^tb+\frac{1}{3}A^tb=A^tbAtA(32​x2​+31​x1​)=32​AtAx2​+31​AtAx1​=32​Atb+31​Atb=Atb

ולכן הוקטור הנ"ל הוא גם כן פתרון ולכן התשובה הנכונה היא בבב.

הערה

צירוף קמור של פתרונות למערכת משוואת הוא תמיד פתרון.

α1x1+α2x2+⋯+αnxn\alpha_{1}x_{1}+\alpha_{2}x_{2}+\dots+\alpha_{n}x_{n}α1​x1​+α2​x2​+⋯+αn​xn​ ∑αi=1\sum \alpha_{i}=1∑αi​=1

ג ו-ה לא נכונים כי הם אומרים שצירוף קמור הוא אינו פתרון
ד הוא אינו פתרון לא מהסיבה שזה לא צירוף קמור(שזה באמת לא) אלא באותה צורה כמו ההוכחה ממקודם נקבל כי 13Atb=Atb\frac{1}{3}A^tb=A^tb31​Atb=Atb מה שנכון Atb=0  ⟺  A^tb=0 \iffAtb=0⟺.

תרגיל (מועד ב' חורף 2022)

נתונה לנו המטריצה AAA הבאה:

A=(11−111−111−11−131−131−13)A=\begin{pmatrix} 1 & 1 & -1 \\ 1 & 1 & -1 \\ 1 & 1 & -1 \\ 1 & -1 & 3 \\ 1 & -1 & 3 \\ 1 & -1 & 3 \end{pmatrix}A=​111111​111−1−1−1​−1−1−1333​​

ברצונינו לתכנן בעיית LSLSLS שתהיה בעלת פתרון יחיד ואשר גובהה בנקודת המינימום יהיה 101010 בדיוק. עלינו לתכנן את הוקטור b‾\underline{b}b​ להגשמת יעדים אלו.
בחרו את הטענה הנכונה:
א. נבחר את הוקטור b‾\underline{b}b​ להיות b‾=(111−1−1−1)\underline{b}=\begin{pmatrix}1\\ 1\\1\\-1\\-1\\-1\end{pmatrix}b​=​111−1−1−1​​
ב. נבחר את הוקטור b‾\underline{b}b​ להיות b‾=(−1−1−1−2−2−2)\underline{b}=\begin{pmatrix}-1\\-1\\-1\\-2\\-2\\-2\end{pmatrix}b​=​−1−1−1−2−2−2​​
ג. נבחר את הוקטור b‾\underline{b}b​ להיות b‾=(−1−1−1111)\underline{b}=\begin{pmatrix}-1\\-1\\-1\\1\\1\\1\end{pmatrix}b​=​−1−1−1111​​
ד. בתנאים הנתונים משימה זו לא ניתנת להשמה
ה. נבחר את הוקטור b‾\underline{b}b​ להיות b‾=(−2−2−2111)\underline{b}=\begin{pmatrix}-2\\-2\\-2\\1\\1\\1\end{pmatrix}b​=​−2−2−2111​​.

נשים לב כי עמודות AAA ת"ל ולכן אף פעם לא יהיה פתרון יחיד ולכן ד היא התשובה הנכונה.