מיקוד — מה באמת נשאל במבחן

כל 173 שאלות שיעורי הבית, מדורגות לפי מה שקרה בפועל ב-12 מבחני 2021–2025. הדירוג נשען על ציטוט למועד ולשאלה, לא על תחושה.

אילו שבועות באמת מכריעים את המבחן

לפי שיעור השאלות הקריטיות במטלה של כל שבוע
התשובה הקצרה: שבועות 0–4 הם לא רק בסיס. שלושה מעשרת טיפוסי השאלה הנפוצים ביותר יושבים בדיוק שם — מטריצה מייצגת ודמיון (78%), משפט המימדים (72%), ודטרמיננטה ומצורפת (65%). מה שאת עושה עכשיו נשאל במבחן כמו שהוא.
5
לכסוןנשאל ישירותמטלה 6
18 שאלות קריטיות מתוך 26 · 69%
18 שאלות קריטיות — יותר מכל שבוע אחר. לכסון מופיע כמעט בכל מועד, לרוב כשאלה שלמה.
#2 לכסון מטריצה קונקרטית (90%)#10 ABAB מול BABA (45%)
8
קיילי–המילטון ותת-מרחב שמורנשאל ישירותמטלה 9
11 שאלות קריטיות מתוך 13 · 85%
קיילי־המילטון הוא הדרך המהירה ל-AnA^n ולהוכחת אי־קיום מטריצה.
#8 קיילי־המילטון ופולינום אופייני (55%)
3
קואורדינטות ומטריצה מייצגתנשאל ישירותמטלה 4
11 שאלות קריטיות מתוך 18 · 61%
המטריצה המייצגת היא הטיפוס השלישי בשכיחותו והוא מופיע כמעט בכל מועד.
#3 מטריצה מייצגת ומעבר (78%)
9
מרחב מכפלה פנימיתנשאל ישירותמטלה 10
10 שאלות קריטיות מתוך 14 · 71%
קושי־שוורץ עם מקרה השוויון נשאל כהוכחה ב-2024א׳ ש׳1.1. הכניסה למחצית השנייה של הקורס.
#5 קושי־שוורץ (70%)#7 בדיקת אקסיומות מכפלה פנימית (55%)#1 הוכחת משפט (95%)
4
דמיון מטריצותנשאל ישירותמטלה 5
8 שאלות קריטיות מתוך 9 · 89%
הצפיפות הגבוהה בקורס — כמעט כל שאלה במטלה 5 הופיעה במבחן. "דמיון ⟺ אותו אופרטור בשני בסיסים" נשאל כהוכחה ב-2024ב׳ ש׳2.1 וב-2025ב׳ ש׳1.1.
#3 מטריצה מייצגת ומעבר (78%)#1 הוכחת משפט (95%)
11
היטל, בסל ופרסבלנשאל ישירותמטלה 12
8 שאלות קריטיות מתוך 15 · 53%
אין לו טיפוס משלו בעשירייה, אבל 8 מ-15 שאלותיו כן הופיעו במבחנים — ההיטל הניצב וזהות U=(U)U=(U^\perp)^\perp מגיעים כסעיף בתוך שאלה, לא כשאלה שלמה.
10
אורתוגונליותנשאל ישירותמטלה 11
7 שאלות קריטיות מתוך 12 · 58%
אי־שוויון המשולש נשאל כהוכחה ב-2023א׳ ש׳1a.
#5 קושי־שוורץ (70%)#1 הוכחת משפט (95%)
7
ריבוי אלגברי וגיאומטרינשאל ישירותמטלה 8
6 שאלות קריטיות מתוך 8 · 75%
GMAMGM\le AM נשאל כהוכחה ב-2025א׳ ש׳1.1, והקריטריון המלא הוא מה שסוגר כל שאלת לכסינות.
#1 הוכחת משפט (95%)#2 לכסון מטריצה קונקרטית (90%)
6
הפולינום האופיינינשאל ישירותמטלה 7
6 שאלות קריטיות מתוך 9 · 67%
הפולינום האופייני הוא הכלי של הלכסון וגם של AnA^n ופיבונאצ׳י.
#2 לכסון מטריצה קונקרטית (90%)#8 קיילי־המילטון ופולינום אופייני (55%)
2
קיום ויחידות ומשפט המימדיםנשאל ישירותמטלה 3
6 שאלות קריטיות מתוך 15 · 40%
משפט המימדים הוא הטיפוס הרביעי בשכיחותו וגם אחד המשפטים שמבקשים להוכיח. הוא לא רק כלי — הוא שאלה.
#4 משפט המימדים (72%)#1 הוכחת משפט (95%)
0
חזרה מסמסטר א׳בסיס — וגם נשאלמטלה 1
5 שאלות קריטיות מתוך 16 · 31%
הבסיס לכל הקורס, אבל גם שאלה בפני עצמה: Aadj(A)=detAIA\cdot\mathrm{adj}(A)=\det A\cdot I נשאל כהוכחה ב-2025א׳ ש׳2.1 וכלל קרמר ב-2025ב׳ ש׳2.1.
#6 זהויות det\det ו-adj\mathrm{adj} (65%)#9 חישוב דטרמיננטה מובנית (50%)#1 הוכחת משפט (95%)
1
העתקות לינאריותבסיס — וגם נשאלמטלה 2
4 שאלות קריטיות מתוך 18 · 22%
השבוע ה"בסיסי" ביותר — רק 22% מהשאלות שלו קריטיות, ואין לו טיפוס משלו בעשירייה. הוא נבחן דרך שבועות 2–4, לא לבדו.
12
גרם–שמידטבסיס — וגם נשאלאין מטלה
אין מטלה משלו, ולכן אין לו שורה בטבלה — אבל גרם־שמידט הוא חישוב שחוזר, לרוב כסעיף שמכין בסיס אורתונורמלי לשאלת היטל.
13
מטריצות סימטריות ולכסון אורתוגונליתומךאין מטלה
אין מטלה משלו. המשפט הספקטרלי מופיע בעיקר כשאלת נכון/לא-נכון; ריבועים פחותים כמעט לא הופיע.
לכל הסיכומונים לפי שבוע

מפת החשיבות — מטלה × מספר שאלה

שאלה עם סעיפים מחולקת לפי סעיפים · לחיצה קופצת לפירוט
123456נוספת 1נוספת 2נוספת 3נוספת 4
קריטי למבחן חשוב להבנה בסיס אין שאלה כזומעבר עכבר על תא מציג את הסעיפים שלו
שאלהנושארמהלמה
שאלה 1(א)כלל קרמר — מערכת 3×33\times3 עם פרמטרקריטי למבחןהופיעה ב-2023א׳ ש׳1b (מערכת 3×33\times3 מרוכבת עם פרמטר, חישוב yy בקרמר) והוכחת הכלל עצמה ב-2025ב׳ ש׳2.1.
שאלה 1(ב)כלל קרמר עם פרמטר חופשיחשוב להבנהמלמדת שקרמר עובד רק על תת־מערכת ריבועית הפיכה, אבל מערכת לא־ריבועית עם פרמטר חופשי לא נשאלה באף מבחן.
שאלה 2(א)חישוב adj(A)\mathrm{adj}(A) לפי ההגדרהבסיסתרגול יסוד בסימון ההפוך [adj(A)]ij=(1)i+jMji(A)[\mathrm{adj}(A)]_{ij}=(-1)^{i+j}M^{(A)}_{ji} — בלעדיו כל שאלת adj נופלת.
שאלה 2(ב)adj(A)=det(A)A1\mathrm{adj}(A)=\det(A)A^{-1}בסיסתרגול הזהות המרכזית שממנה נגזרות כל שאלות ה-adj במבחנים, אך החישוב עצמו הוא דריל.
שאלה 3(א)adj(A1)=A/detA\mathrm{adj}(A^{-1})=A/\det Aחשוב להבנהתרגיל חימום מצוין לטכניקת ההחלפה adj=detA1\mathrm{adj}=\det\cdot A^{-1}, אך זהות זו בדיוק לא נשאלה באף מבחן.
שאלה 3(ב)adj(A)adj(B)=adj(BA)\mathrm{adj}(A)\mathrm{adj}(B)=\mathrm{adj}(BA)קריטי למבחןהופיעה ב-2024א׳ ש׳3.2 מילה במילה, ומשמשת גם ב-2025סימולציה ש׳3.2 ו-2025ב׳ ש׳5.2.
שאלה 3(ג)B2=IB^2=I, detB=1\det B=1adj(A)AB=adj(AB)A\mathrm{adj}(A)AB=\mathrm{adj}(AB)Aקריטי למבחןהופיעה ב-2025ב׳ ש׳5.2 מילה במילה.
שאלה 4זהות דטרמיננטית להחלפת הפרמטר החופשיחשוב להבנהמחדדת מה בדיוק קרמר מבטיח, אך שאלה בסגנון הזה לא הופיעה באף מבחן.
שאלה 5(א)adj(A)\mathrm{adj}(A) סימטרית ⟹ AA סימטריתחשוב להבנהתרגול חשוב של החילופיות בין ()t(\cdot)^t ל-()1(\cdot)^{-1}, אך לא נשאלה שאלה כזו באף מבחן.
שאלה 5(ב)דוגמה נגדית ללא הפיכותבסיסבניית הדוגמה הנילפוטנטית (001000000)\begin{pmatrix}0&0&1\\0&0&0\\0&0&0\end{pmatrix} — תרגול יסוד בארגז הדוגמאות הנגדיות.
שאלה 6(א)adj\mathrm{adj} של מטריצה אלכסוניתבסיסחישוב ישיר מההגדרה, שנועד לוודא שהסימון ההפוך הובן.
שאלה 6(ב)adj(A)=adj(A)\mathrm{adj}(-A)=-\mathrm{adj}(A)?חשוב להבנהמאמנת בדיוק את המלכודת det(cA)=cndetA\det(cA)=c^n\det A (כאן (1)n1(-1)^{n-1}), אך הטענה עצמה לא נשאלה במבחן.
שאלה 6(ג)adj(A+B)=adj(A)+adj(B)\mathrm{adj}(A+B)=\mathrm{adj}(A)+\mathrm{adj}(B)?בסיסהפרכה מיידית בדוגמה 2×22\times2 — תרגול יסוד שה-adj אינה ליניארית.
שאלה 6(ד)det(adjK)1\det(\mathrm{adj}K)\equiv1 ב-Z11\mathbb{Z}_{11}קריטי למבחןזהויות דטרמיננטה בשדה סופי הופיעו ב-2025א׳ ש׳1.2 (Z7\mathbb{Z}_7, det(3A4B1A1Bt)\det(3A^4B^{-1}A^{-1}B^t)) — אותו שילוב של det(adjA)=det(A)n1\det(\mathrm{adj}A)=\det(A)^{n-1} עם צמצום מודולו pp.
שאלה 6(ה)פיתוח דטרמיננטה "זר" מתאפסקריטי למבחןהופיעה ב-2023א׳ ש׳2b כמעט מילה במילה (k(1)k+2[A]1kM2k(A)=0\sum_{k}(-1)^{k+2}[A]_{1k}M^{(A)}_{2k}=0), 12 נקודות.
שאלה נוספת 1חישוב adj(A)\mathrm{adj}(A) מתוך A1A^{-1}בסיסחזרה על שאלה 2(ב) עם נתון אחר — דריל של det(A)=1/det(A1)\det(A)=1/\det(A^{-1}).
שאלהנושארמהלמה
שאלה 1(א)בדיקת ליניאריות — T(x1,x2)=(1,x2)T(x_1,x_2)=(1,x_2)בסיסהפרכה מיידית כי T(0V)0WT(0_V)\ne0_W — תרגול יסוד בהגדרה.
שאלה 1(ב)בדיקת ליניאריות — העתקה מטריציוניתבסיסאימות שכל T(x)=AxT(\vec x)=A\vec x היא ליניארית; יסוד לכל מה שבא אחריו.
שאלה 1(ג)בדיקת ליניאריות — T(A)=detAT(A)=\det Aבסיסהדטרמיננטה מולטי־ליניארית ולא ליניארית; ההבחנה הזו מוכנה כאן לשאלה 4.
שאלה 1(ד)בדיקת ליניאריות — R2C\mathbb{R}^2\to\mathbb{C}בסיסתרגול יסוד בשאלת "מעל איזה שדה" — ליניארית מעל R\mathbb{R} בלבד.
שאלה 1(ה)בדיקת ליניאריות — T(p)(x)=p(x+1)p(1)T(p)(x)=p(x+1)-p(1)בסיסדריל על מרחב פולינומים; האופרטור הזה חוזר במטלה 9 נוספת 1 ובמבחנים כ-p(x+1)p(x+1).
שאלה 1(ו)בדיקת ליניאריות — T(x,y)=(x,y)T(x,y)=(|x|,y)בסיסהפרכה בהצבת סקלר שלילי — תרגול יסוד.
שאלה 2(א)בסיסים ל-kerT\ker T ו-ImT\mathrm{Im}T ב-R2R3\mathbb{R}^2\to\mathbb{R}^3בסיסהחישוב הבסיסי ביותר של גרעין ותמונה — התשתית למשפט הממדים.
שאלה 2(ב)גרעין ותמונה של אופרטור קיטום על R3[x]\mathbb{R}_3[x]חשוב להבנהמאמנת גרעין/תמונה במרחב מופשט, אבל חישוב ישיר של בסיסים לגרעין ולתמונה לא נשאל במבחנים מ-2022 והלאה.
שאלה 3(א)חישוב TT מערכיה על בסיסבסיסהצבה ישירה בליניאריות — יסוד למשפט הקיום והיחידות.
שאלה 3(ב)הוכחת הפיכות לפי משפט בסיס־לבסיסקריטי למבחןהופיעה ב-2022ב׳ ש׳6.1 ({T(vi)}\{T(v_i)\} בת״ל ⟹ TT איזומורפיזם) וב-2022א׳ ש׳5.1, ובגרסה הפוכה ב-2024סימולציה ש׳1.1.
שאלה 3(ג)חישוב T1T^{-1} על וקטור נתוןחשוב להבנההטכניקה של "לפתור אחורה" מזינה את 2024א׳ ש׳5.1, אך שם היא מנוסחת דרך מטריצה מייצגת ולא כחישוב T1T^{-1} ישיר.
שאלה 4Δ\Delta ליניארית וגם מולטי־ליניארית ⟹ Δ0\Delta\equiv0קריטי למבחןהופיעה ב-2025א׳ ש׳3.1 מילה במילה (13 נקודות), ומשלימה את 2025סימולציה ש׳1.1 (הוכחת מולטי־ליניאריות של det\det).
שאלה 5(א)אי־קיום ה״ל בגלל תלות ליניארית בתחוםקריטי למבחןטיפוס "הוכח שקיימת/לא קיימת ה״ל" הופיע ב-2022א׳ ש׳4.1, ב-2022ב׳ ש׳5.2 וב-2024א׳ ש׳5.1.3.
שאלה 5(ב)פורשים + תמונות בת״ל ⟹ TT הפיכהקריטי למבחןהופיעה ב-2022ב׳ ש׳6.1 (7 נק׳) ובגרסת הכיוון ההפוך ב-2024סימולציה ש׳1.1 (15 נק׳).
שאלה 5(ג)ת״ל ⟹ התמונות ת״לחשוב להבנההלמה המשלימה ל-2024ב׳ ש׳1.1, אך היא עצמה לא נשאלה בשום מבחן.
שאלה 6(א)בת״ל של מסלול תחת אופרטור מעל R\mathbb{R}חשוב להבנהטכניקת "הפעל TT על צירוף מתאפס וחסר" חשובה מאוד, אך הפורמט הזה לא הופיע במבחנים.
שאלה 6(ב)דוגמה נגדית מעל Z2\mathbb{Z}_2בסיסתרגול יסוד בכך שתלות במאפיין השדה שוברת את הטיעון.
שאלה נוספת 1dimImT1\dim\mathrm{Im}T\le1TT=αTT\circ T=\alpha Tחשוב להבנהתרגיל יפה בממד תמונה, אבל אין לו אנלוג באף מבחן.
שאלהנושארמהלמה
שאלה 1שחזור נוסחת TT מערכיה על בסיסקריטי למבחןהופיעה ב-2021ב׳ ש׳3a (מציאת T(xy)T\binom{x}{y} מתוך הנתונים על בסיס) ובגרסה של מטריצה מייצגת ב-2024א׳ ש׳5.1.
שאלה 2אופרטור עם kerT=SYM\ker T=\mathrm{SYM} ו-ImT=ASYM\mathrm{Im}T=\mathrm{ASYM}קריטי למבחןהופיעה ב-2022א׳ ש׳3 (האופרטור S(A)=2At+AS(A)=2A^t+A ופירוק Mn=SYMASYMM_n=\mathrm{SYM}\oplus\mathrm{ASYM}), 20 נקודות.
שאלה 3TT=TT\circ T=TV=kerTImTV=\ker T\oplus\mathrm{Im}Tחשוב להבנההתבנית הסטנדרטית לסכום ישר (חיתוך טריוויאלי + ספירת ממדים), אך הטענה הזו עצמה לא נשאלה באף מבחן.
שאלה 4T(vi)T(v_i) בת״ל ו-T2(vi)T^2(v_i) ת״ל ⟹ dimV3\dim V\ge3קריטי למבחןהופיעה ב-2024סימולציה ש׳5.1.2 מילה במילה.
שאלה 5(א)קיום T:R9R4T:\mathbb{R}^9\to\mathbb{R}^4 עם dimkerTdimImT\dim\ker T\le\dim\mathrm{Im}Tקריטי למבחןטיעון ספירת ממדים בשאלת נכון/לא נכון הופיע ב-2024ב׳ ש׳3.2, ב-2024סימולציה ש׳3.2 וב-2021א׳ ש׳3c.
שאלה 5(ב)איזומורפיזם SYM2F2[x]\mathrm{SYM}_2\cong\mathbb{F}_2[x]חשוב להבנהמחזקת את "VWV\cong W ⟺ אותו ממד", אך שאלת איזומורפיזם בין שני מרחבים מופשטים לא הופיעה במבחנים.
שאלה 5(ג)קיום SS עם (ST)(e3)=e2(S\circ T)(\vec e_3)=\vec e_2, (ST)(e2)=e3(S\circ T)(\vec e_2)=\vec e_3קריטי למבחןטכניקת "השלם קבוצה בת״ל לבסיס והגדר SS עליו" היא בדיוק פתרון 2022ב׳ ש׳5.2 ו-2022א׳ ש׳4.1.
שאלה 5(ד)קיום SS עם ערכים נתונים ל-TST\circ Sחשוב להבנהמלמדת לבדוק שייכות ל-ImT\mathrm{Im}T לפני שבונים, אך הכיוון הזה של ההרכבה לא נשאל במבחן.
שאלה 6(א)yty=0y=0\vec y^{\,t}\vec y=0\Rightarrow\vec y=\vec0בסיסעובדת יסוד שממנה נובעת החיוביות בכל מכפלה פנימית סטנדרטית.
שאלה 6(ב)Null(AtA)=NullA\mathrm{Null}(A^tA)=\mathrm{Null}Aקריטי למבחןאותו טיעון Ax2=xtAtAx\|A\vec x\|^2=\vec x^tA^tA\vec x הוא לב הפתרון של 2023ב׳ ש׳2b ושל 2024סימולציה ש׳5.2.
שאלה 6(ג)rank(AtA)=rankA\mathrm{rank}(A^tA)=\mathrm{rank}Aחשוב להבנהמסקנה ישירה ממשפט הממדים, ומזינה את הריבועים הפחותים במטלה 12 — אך לא נשאלה במבחן.
שאלה נוספת 1קיום SS עם (ST)(e1)=e2(S\circ T)(\vec e_1)=\vec e_2, (ST)(e2)=e1(S\circ T)(\vec e_2)=\vec e_1חשוב להבנהוריאציה של שאלה 5(ג) עם אותה טכניקה בדיוק; כתרגול היא כפילות ולא תוספת.
שאלה נוספת 2(א)אופרטור הנגזרת על R[x]\mathbb{R}[x] — עלבסיסחישוב ישיר של פרימיטיבית פולינומיאלית; יסוד לסעיף (ג).
שאלה נוספת 2(ב)אופרטור הנגזרת — לא חח״עבסיסT(1)=0T(1)=0 ותו לא — תרגול יסוד.
שאלה נוספת 2(ג)R[x]\mathbb{R}[x] אינו נוצר סופיתחשוב להבנהמבליטה שהשקילות "חח״ע ⟺ על" דורשת ממד סופי — מלכודת מבחן ידועה, אבל שאלה על ממד אינסופי לא הופיעה.
שאלהנושארמהלמה
שאלה 1(א)שחזור SS מתוך [S]BE[S]^E_B מעל Z5\mathbb{Z}_5קריטי למבחןהופיעה ב-2021ב׳ ש׳3a וב-2022א׳ ש׳5.2 (מטריצה מייצגת מעל Z3\mathbb{Z}_3), וב-2024א׳ ש׳5.1.
שאלה 1(ב)חישוב מטריצה מייצגת [T]BE[T]^E_Bקריטי למבחןהופיעה ב-2021ב׳ ש׳4b וב-2024ב׳ ש׳3.1(4); חישוב מטריצה מייצגת הוא שלב חובה גם ב-2023ב׳ ש׳3b.
שאלה 1(ג)הפיכות ו-[T1]EB[T^{-1}]^B_Eקריטי למבחןהופיעה ב-2022א׳ ש׳5.1 (הוכח: TT איזומורפיזם ⟹ [T]BC[T]^C_B הפיכה), 7 נקודות.
שאלה 2(א)שימוש במטריצת מעבר לחישוב [w]A[w]_{\mathcal A}בסיסהכפלה ישירה — תרגול יסוד בהגדרת מטריצת המעבר.
שאלה 2(ב)ליניאריות הקואורדינטותבסיס[v+w]A=[v]A+[w]A[v+w]_{\mathcal A}=[v]_{\mathcal A}+[w]_{\mathcal A} — יסוד.
שאלה 3(א)חילוץ [id]AB[\mathrm{id}]^{\mathcal B}_{\mathcal A} מתוך [T]AA[T]^{\mathcal A}_{\mathcal A} ו-[T]AB[T]^{\mathcal B}_{\mathcal A}קריטי למבחןהופיעה ב-2025סימולציה ש׳5.2 עם אותן מטריצות בדיוק ((1231)\begin{pmatrix}1&2\\3&-1\end{pmatrix}, (3214)\begin{pmatrix}3&2\\-1&4\end{pmatrix}).
שאלה 3(ב)חישוב [T]BB[T]^{\mathcal B}_{\mathcal B}קריטי למבחןאותו סעיף בדיוק של 2025סימולציה ש׳5.2, וגם הבסיס ל-2024א׳ ש׳5.1(2).
שאלה 4זהות מטריצות מייצגות ⟹ ST=TSS\circ T=T\circ Sקריטי למבחןהופיעה ב-2025א׳ ש׳2.2 (מטריצות מייצגות מתחלפות ⟹ האופרטורים מתחלפים), 10 נקודות.
שאלה 5B=(T(v1),,T(vn))\mathcal B=(T(v_1),\dots,T(v_n)) בסיס ⟹ [T]AA=[T]BB[T]^{\mathcal A}_{\mathcal A}=[T]^{\mathcal B}_{\mathcal B}חשוב להבנהתרגיל מצוין בהבנת ההגדרה, אך הזהות הזו לא נשאלה באף מבחן.
שאלה 6(א)דמיון של (1102)\begin{pmatrix}1&1\\0&2\end{pmatrix} ו-(1012)\begin{pmatrix}1&0\\1&2\end{pmatrix}קריטי למבחןהופיעה ב-2022ב׳ ש׳2.1 (שתי מטריצות 2×22\times2 עם אותם עקבה ודטרמיננטה ⟹ דומות).
שאלה 6(ב)דמיון של שתי מטריצות מרוכבותקריטי למבחןאותו קריטריון עקבה/דטרמיננטה של 2022ב׳ ש׳2.1, כאן מעל C\mathbb{C}.
שאלה 6(ג)W={A:A,KW=\{A:A,K אינן דומות}\} תת־מרחב?חשוב להבנהמחדדת שדמיון אינה תכונה "ליניארית", אך שאלה בסגנון הזה לא הופיעה במבחנים.
שאלה 6(ד)(0α00)(00β0)\begin{pmatrix}0&\alpha\\0&0\end{pmatrix}\sim\begin{pmatrix}0&0\\\beta&0\end{pmatrix}חשוב להבנההפתרון (החלפת סדר הבסיס) מזין את שאלה נוספת 2 של מטלה 6, אך המטריצות הנילפוטנטיות האלה לא נבדקו לדמיון במבחן.
שאלה נוספת 1מטריצות מייצגות מתחלפות ⟹ אופרטורים מתחלפיםקריטי למבחןהופיעה ב-2025א׳ ש׳2.2 מילה במילה (10 נקודות).
שאלה נוספת 2(א)חזקות של מטריצת סיבובבסיסחישוב גיאומטרי ישיר; מכין את ההבנה של Tn=idT^n=\mathrm{id}.
שאלה נוספת 2(ב)הגדרה טובה לפי משפט הקיום והיחידותבסיסציטוט המשפט — יסוד לכל בניית העתקה.
שאלה נוספת 2(ג)אופרטור התמורה המחזורית: Tn=idT^n=\mathrm{id}, TkidT^k\ne\mathrm{id}קריטי למבחןהופיעה ב-2021א׳ ש׳1 (אותו אופרטור T(vi)=vi+1T(v_i)=v_{i+1}, T(vn)=v1T(v_n)=v_1: 00 אינו ע״ע, 11 הוא ע״ע).
שאלה נוספת 2(ד)מסקנה: Xn=InX^n=I_n, XkInX^k\ne I_nקריטי למבחןחישוב חזקות של מטריצת ההזזה/תמורה הופיע ב-2024ב׳ ש׳3.1(4) (שם Kn=0K^n=0, Kn10K^{n-1}\ne0).
שאלהנושארמהלמה
שאלה 1(א)ABA\sim BA+BABA+B\sim A-B?חשוב להבנהמלמדת שדמיון אינו נשמר תחת פעולות בין שתי המטריצות, אך הטענה עצמה לא הופיעה במבחן.
שאלה 1(ב)שוויון פיתוחי דטרמיננטה של מטריצות דומותקריטי למבחןזהו בדיוק "מטריצות דומות ⟹ אותה דטרמיננטה" שנדרשה בהוכחה ב-2022א׳ ש׳2.1, בשילוב פיתוח לפי שורה/עמודה.
שאלה 1(ג)trace(A2)=trace(B2)\mathrm{trace}(A^2)=\mathrm{trace}(B^2)קריטי למבחןהופיעה ב-2025א׳ ש׳5.2 (לכסינה עם tr(A2)=0\mathrm{tr}(A^2)=0A=0nA=0_n) וב-2023ב׳ ש׳1b (עקבה ואינווריאנטיות דמיון).
שאלה 1(ד)NullA=NullB\mathrm{Null}A=\mathrm{Null}B?קריטי למבחןהופיעה ב-2023ב׳ ש׳4a — דמיון מעביר מרחבים עצמיים דרך P1P^{-1} ולכן שומר רק על הממד, לא על המרחב עצמו.
שאלה 1(ה)adj(A)adj(B)\mathrm{adj}(A)\sim\mathrm{adj}(B)קריטי למבחןהופיעה ב-2025סימולציה ש׳3.2 מילה במילה (12 נקודות).
שאלה 2לאילו a,ba,b שתי המטריצות דומותקריטי למבחןשילוב פרמטר עם קריטריון עקבה/דטרמיננטה — 2022ב׳ ש׳2.1 ו-2022ב׳ ש׳1.2 (לכסינות עם פרמטר).
שאלה 3(א)AA הפיכה ⟹ ABBAAB\sim BAקריטי למבחןהופיעה ב-2024סימולציה ש׳1.2 (AA הפיכה ⟹ det(IAB)=det(IBA)\det(I-AB)=\det(I-BA)) והיא הבסיס ל-2025ב׳ ש׳3.1.
שאלה 3(ב)דוגמה נגדית כש-AA אינה הפיכהקריטי למבחןהדוגמה הנגדית הרשמית של 2023א׳ ש׳2a-ii היא בדיוק זו (A=(0100)A=\begin{pmatrix}0&1\\0&0\end{pmatrix}, B=(1000)B=\begin{pmatrix}1&0\\0&0\end{pmatrix}).
שאלה 4אין D\mathcal D שעבורו [T]DB[T]^{\mathcal B}_{\mathcal D} ו-[T]DA[T]^{\mathcal A}_{\mathcal D} דומותקריטי למבחןהופיעה ב-2025סימולציה ש׳5.2 מילה במילה, כולל אותן שתי מטריצות (10 נקודות).
שאלהנושארמהלמה
שאלה 1(א)לכסון (iiii)\begin{pmatrix}i&i\\i&i\end{pmatrix}קריטי למבחןשאלת לכסון של מטריצה קונקרטית הופיעה בכל מבחן מ-2022 והלאה; הגרסה 2×22\times2 ב-2024ב׳ ש׳4.1 וב-2022א׳ ש׳1.2.
שאלה 1(ב)אי־לכסינות של (2012)\begin{pmatrix}2&0\\1&2\end{pmatrix}קריטי למבחןבלוק ז׳ורדן — בדיוק המצב GM<AMGM<AM שנדרש ב-2025א׳ ש׳4.1 וב-2025ב׳ ש׳5.1, וגם הדוגמה הנגדית ב-2021ב׳ ש׳1b.
שאלה 1(ג)לכסון (2110)\begin{pmatrix}2&1\\1&0\end{pmatrix}קריטי למבחןמטריצה סימטרית עם שני ע״ע שונים — אותו טיפוס של 2024ב׳ ש׳4.1(1) ו-2021א׳ ש׳5a.
שאלה 1(ד)לכסון מטריצת 3×33\times3קריטי למבחןזו השאלה הכי צפויה במבחן: 2024א׳ ש׳4.1, 2024סימולציה ש׳4.1, 2025א׳ ש׳4.1, 2025ב׳ ש׳5.1, 2025סימולציה ש׳5.1.
שאלה 2חישוב A100A^{100}קריטי למבחןהופיעה ב-2022ב׳ ש׳2.2 (A2022A^{2022}) וב-2024ב׳ ש׳4.1(2) (A2024(31)A^{2024}\binom{3}{-1}).
שאלה 3(א)iבניית מטריצה עם פולינום אופייני נתון (מטריצה מלווה)קריטי למבחןהופיעה ב-2023א׳ ש׳5b (מטריצת מלווה 6×66\times6 עם pA(λ)=λ6kp_A(\lambda)=\lambda^6-k), 13 נקודות.
שאלה 3(א)iiאי־לכסינות ב-M3(Z5)M_3(\mathbb{Z}_5)קריטי למבחןהופיעה ב-2025ב׳ ש׳2.2 (ב-Z7\mathbb{Z}_7: אין ע״ע כלל ⟹ לא לכסינה) וב-2022א׳ ש׳5.2 (מעל Z3\mathbb{Z}_3).
שאלה 3(ב)מעלת det(A(x))\det(A(x)) עבור A(x)Mn(F2[x])A(x)\in M_n(\mathbb{F}_2[x])קריטי למבחןאותה אינדוקציה על פיתוח לפי שורה כמו 2024סימולציה ש׳3.1(1) (detAZ\det A\in\mathbb{Z} עבור AMn(Z)A\in M_n(\mathbb{Z})).
שאלה 4(א)(λ,v)(\lambda,\vec v) זוג עצמי של ABAB(λ,Bv)(\lambda,B\vec v) של BABAקריטי למבחןהופיעה ב-2025ב׳ ש׳3.1(1) וב-2025סימולציה ש׳3.1 — מילה במילה, וכן ב-2024א׳ ש׳3.1(2).
שאלה 4(ב)ל-ABAB ול-BABA אותם ערכים עצמייםקריטי למבחןהופיעה ב-2025ב׳ ש׳3.1(2), ב-2025סימולציה ש׳3.1 וב-2024א׳ ש׳3.1(1)+(3).
שאלה 5(א)λ\lambda ע״ע של AA ⟺ ע״ע של AtA^tחשוב להבנהעובדה שימושית (נובעת מ-det(At)=detA\det(A^t)=\det A), אך לא נשאלה בשום מבחן.
שאלה 5(ב)ו״ע שמאליים מול ימנייםחשוב להבנהמרחיבה את התמונה על AA מול AtA^t, אך ו״ע שמאליים לא הופיעו באף מבחן.
שאלה 5(ג)שורות P1P^{-1} כבסיס של ו״ע שמאלייםחשוב להבנהתובנה יפה על מבנה הלכסון, שלא נבדקה מעולם במבחן.
שאלה 6(א)AA סינגולרית ⟺ 00 ע״עקריטי למבחןזהו הצעד הראשון בפתרון של 2023א׳ ש׳2a-i ושל 2024א׳ ש׳3.1(1).
שאלה 6(ב)λ\lambda ע״ע של AAλ2\lambda^2 ע״ע של A2A^2קריטי למבחןהופיעה ב-2023ב׳ ש׳5a-i (p(λ)p(\lambda) ע״ע של p(A)p(A)) ומשמשת ב-2025סימולציה ש׳4.2.
שאלה 6(ג)הכיוון ההפוך — λ2\lambda^2 ע״ע של A2A^2קריטי למבחןהמלכודת המפורשת בפתרון 2023ב׳ ש׳5a ובטיעון של 2025סימולציה ש׳4.2 ("ההפך לא בהכרח").
שאלה 6(ד)סכום שתי לכסינות לכסין?קריטי למבחןהופיעה ב-2021ב׳ ש׳1b מילה במילה, עם הדוגמה הנגדית diag(1,2)+(2101)\mathrm{diag}(1,2)+\begin{pmatrix}2&1\\0&1\end{pmatrix}.
שאלה 6(ה)iλ=1\lambda=1 ע״ע יחיד ו-A2=IA^2=IA=IA=I (שדה כללי)חשוב להבנהחושפת את תלות הטיעון במאפיין השדה, אך הטענה הזו לא נשאלה במבחן.
שאלה 6(ה)iiאותה טענה כאשר 111\ne-1חשוב להבנהמשלימה את (ה)i; חשובה להבנת התנאי, אך אין לה אנלוג במבחנים.
שאלה נוספת 1(א)לכסון (1315)\begin{pmatrix}1&3\\-1&5\end{pmatrix} מעל Z7\mathbb{Z}_7קריטי למבחןשילוב לכסון קונקרטי עם שדה סופי — 2022א׳ ש׳5.2 (Z3\mathbb{Z}_3), 2025א׳ ש׳1.2 ו-2025ב׳ ש׳2.2 (Z7\mathbb{Z}_7).
שאלה נוספת 1(ב)חישוב A100(10)A^{100}\binom{1}{0} מעל Z7\mathbb{Z}_7קריטי למבחןהופיעה ב-2024ב׳ ש׳4.1(2) — פירוק הווקטור לצירוף ו״ע ואז Anb=ciλinviA^n\vec b=\sum c_i\lambda_i^n\vec v_i.
שאלה נוספת 2(א)החלפת שתי שורות ושתי עמודות נותנת מטריצה דומהקריטי למבחןזהו בדיוק "אותו אופרטור בשני בסיסים ⟹ דמיון" שנדרש בהוכחה ב-2024ב׳ ש׳2.1 וב-2025ב׳ ש׳1.1 (15 נק׳ כל אחת).
שאלה נוספת 2(ב)בחירת שם למשפטבסיססעיף הומוריסטי ללא תוכן מתמטי.
שאלה נוספת 3(א)[B]11=α[B]_{11}=\alpha לכל BB דומה ⟹ A=αI2A=\alpha I_2חשוב להבנהמעמיקה את "מחלקת דמיון יחידונית = מטריצה סקלרית", אך שאלה כזו לא הופיעה במבחנים.
שאלה נוספת 3(ב)מסקנה: מחלקת דמיון יחידוניתחשוב להבנהמסקנה ישירה מ-(א); שימושית להפרכות, אך ללא אנלוג במבחן.
שאלה נוספת 4A2=3InA^2=3I_n ב-Z7\mathbb{Z}_7 ⟹ אינה לכסינהקריטי למבחןהופיעה ב-2025ב׳ ש׳2.2 מילה במילה (10 נקודות).
שאלהנושארמהלמה
שאלה 1(א)לכסון מעל Z7\mathbb{Z}_7קריטי למבחןלכסון קונקרטי בשדה סופי — 2022א׳ ש׳5.2 (Z3\mathbb{Z}_3) ו-2025ב׳ ש׳2.2 (Z7\mathbb{Z}_7); הטריק "λ1+λ2=tr\lambda_1+\lambda_2=\mathrm{tr}, λ1λ2=det\lambda_1\lambda_2=\det" חוזר ב-2022ב׳ ש׳2.1.
שאלה 1(ב)A100(10)A^{100}\binom{1}{0} מעל Z7\mathbb{Z}_7קריטי למבחןהופיעה ב-2024ב׳ ש׳4.1(2) (A2024(31)A^{2024}\binom{3}{-1}) וב-2022ב׳ ש׳2.2 (A2022A^{2022}).
שאלה 2(א)מציאת P,DP,D למטריצה סימטרית 3×33\times3קריטי למבחןהופיעה ב-2022א׳ ש׳1.2 (מצא D,PD,P) וב-2024ב׳ ש׳4.1(1) (לכסון אורתוגונלי), וכן ב-2021א׳ ש׳5a.
שאלה 2(ב)חישוב trace(A10)\mathrm{trace}(A^{10})קריטי למבחןהופיעה ב-2025א׳ ש׳5.2 (tr(A2)\mathrm{tr}(A^2) למטריצה לכסינה) וב-2023ב׳ ש׳2a (pA3p_{A^3} מתוך pAp_A).
שאלה 3סדרת פֶּל — נוסחה סגורה בעזרת לכסוןחשוב להבנההיישום היפה ביותר של לכסון, אך אף מבחן מ-2021 ואילך לא כלל שאלת נסיגה/פיבונאצ׳י.
שאלה 4(א)KK מתחלפת עם DD בעלת אלכסון שונה ⟹ KK אלכסוניתחשוב להבנההלמה שמאחורי לכסון סימולטני; 2023ב׳ ש׳5b עוסק בכיוון ההפוך בלבד, ולכן אין לה אנלוג ישיר.
שאלה 4(ב)AA בעלת nn ע״ע שונים ומתחלפת עם BBBB לכסינהחשוב להבנהמסקנה יפה מ-(א); קומוטטיביות הופיעה במבחנים (2022ב׳ ש׳5.1, 2025א׳ ש׳2.2) אך לא בגרסה הזו.
שאלה 5לאילו aCa\in\mathbb{C} המטריצה לכסינהקריטי למבחןהופיעה ב-2022ב׳ ש׳1.2 (לכסינות עם פרמטר וחלוקה למקרים) וב-2022א׳ ש׳5.2.
שאלה 6הוכחת אי־לכסינות של מטריצה עם פרמטריםקריטי למבחןאותו טיעון GM(λ)<AM(λ)GM(\lambda)<AM(\lambda) שנדרש ב-2025א׳ ש׳4.1, ב-2025ב׳ ש׳5.1 וב-2024סימולציה ש׳4.1.
שאלהנושארמהלמה
שאלה 1pA(λ)=λnλp_A(\lambda)=\lambda^n-\lambdarank(A)\mathrm{rank}(A)קריטי למבחןהופיעה ב-2024א׳ ש׳5.2 מילה במילה (8 נקודות).
שאלה 2הסקת trace(A2)\mathrm{trace}(A^2) מדרגה ומחלק של pAp_Aקריטי למבחןאותה טכניקה של 2025א׳ ש׳5.2 (tr(A2)=λi2\mathrm{tr}(A^2)=\sum\lambda_i^2) ושל 2023ב׳ ש׳1b-i (הסקת ע״ע מדרגה ומעקבה).
שאלה 3מציאת מטריצה אלכסונית דומה מתוך דרגות ודטרמיננטהקריטי למבחןהופיעה ב-2023ב׳ ש׳1b (הסקת ע״ע וריבויים מנתוני det\det, tr\mathrm{tr} ודרגה), 15 נקודות.
שאלה 4A1=aI+bA+cA2A^{-1}=aI+bA+cA^2 לפי קיילי־המילטוןקריטי למבחןהופיעה ב-2022ב׳ ש׳6.2 (מ-pAp_A מבודדים A()=cIA\cdot(\ldots)=cI ומסיקים הפיכות) וב-2025א׳ ש׳4.2.
שאלה נוספת 1(א)rank(xyt)=1\mathrm{rank}(\vec x\vec y^{\,t})=1קריטי למבחןהופיעה ב-2022א׳ ש׳2.2 (AA לכסינה עם rank(A)=1\mathrm{rank}(A)=1) וב-2021א׳ ש׳4 (A=uuTA=uu^T).
שאלה נוספת 1(ב)xty0\vec x^{\,t}\vec y\ne0xyt\vec x\vec y^{\,t} לכסינהקריטי למבחןהופיעה ב-2022א׳ ש׳2.2 (ריבוי גיאומטרי n1n-1 ל-00 ו-Tr(A)0\mathrm{Tr}(A)\ne0) וב-2021א׳ ש׳4b.
שאלה נוספת 1(ג)ABA\sim BA+InB+InA+I_n\sim B+I_nבסיסשורה אחת מהגדרת הדמיון — יסוד.
שאלה נוספת 1(ד)det(In+xyt)=1+xty\det(I_n+\vec x\vec y^{\,t})=1+\vec x^{\,t}\vec yחשוב להבנהמסקנה אלגנטית משלושת הסעיפים הקודמים, אך הזהות הזו לא הופיעה באף מבחן.
שאלהנושארמהלמה
שאלה 1(א)α\alpha ע״ע יחיד ⟹ (αInA)n=0n(\alpha I_n-A)^n=0_nקריטי למבחןזהו הצעד המרכזי בפתרון 2025סימולציה ש׳4.2 ובטיעון של 2025א׳ ש׳4.2 (קיילי־המילטון על pA=(λα)np_A=(\lambda-\alpha)^n).
שאלה 1(ב)אין AM3(C)A\in M_3(\mathbb{C}) עם A3=NA^3=Nקריטי למבחןהופיעה ב-2025סימולציה ש׳4.2 מילה במילה, כולל אותה מטריצה (001000000)\begin{pmatrix}0&0&1\\0&0&0\\0&0&0\end{pmatrix} (12 נקודות).
שאלה 2(א)לכסינות T(x,y)=(2x,3y)T(x,y)=(2x,3y)בסיסהאופרטור כבר אלכסוני בבסיס הסטנדרטי — תרגול יסוד בהגדרה.
שאלה 2(ב)לכסינות T(x,y)=(y,x)T(x,y)=(y,x) מעל C\mathbb{C}בסיסשני ע״ע שונים ±1\pm1 ⟹ לכסינה מיידית; דריל לקריטריון המהיר.
שאלה 2(ג)לכסינות T(x,y,z)=(xy,y+z,0)T(x,y,z)=(x-y,\,y+z,\,0)קריטי למבחןאופרטור 3×33\times3 שאינו לכסין — הופיע ב-2021ב׳ ש׳5a (pT=λ(λ+1)2p_T=-\lambda(\lambda+1)^2) ובכל שאלות הלכסון של 2024–2025 (למשל 2025א׳ ש׳4.1).
שאלה 3TT לכסין ו-T4=TT^4=TT2=TT^2=Tקריטי למבחןאותו מסלול של 2023א׳ ש׳4b-iii (TT לכסינה ⟹ T0T\equiv0) ושל 2025א׳ ש׳5.2 — לכסן, לעבוד על הע״ע, לחזור.
שאלה 4TT נילפוטנטי + UkerT=VU\oplus\ker T=VT=0T=0קריטי למבחןהופיעה ב-2021א׳ ש׳6b באותו מבנה (תת־מרחב שמור + סכום ישר ⟹ הכלה בגרעין), ומשלימה את 2024ב׳ ש׳3.1 על נילפוטנטיות.
שאלה 5(א)דוגמה ל-WW שמור תחת TT אך לא תחת T1T^{-1}קריטי למבחןהצד ההפוך של 2025ב׳ ש׳3.2 — הדוגמה מראה בדיוק היכן ההנחה "TT הפיכה" נחוצה.
שאלה 5(ב)TT הפיכה ⟹ WW שמור תחת T1T^{-1}קריטי למבחןהופיעה ב-2025ב׳ ש׳3.2 מילה במילה (12 נקודות).
שאלה 6כל v0Vv\ne0_V ו״ע ⟹ T=λidT=\lambda\cdot\mathrm{id}קריטי למבחןהופיעה ב-2025א׳ ש׳3.2 מילה במילה (12 נקודות).
שאלה נוספת 1(א)[T]EE[T]^E_E של T(p)=p(x+1)p(x)T(p)=p(x+1)-p(x)קריטי למבחןהופיעה ב-2021ב׳ ש׳4 (אותו אופרטור על R4[x]\mathbb{R}_4[x]) וב-2023ב׳ ש׳3b (T(p)=p(x+1)T(p)=p(x+1) על R2[x]\mathbb{R}_2[x]).
שאלה נוספת 1(ב)מסקנה: p(x+3)3p(x+2)+3p(x+1)p(x)=0p(x+3)-3p(x+2)+3p(x+1)-p(x)=0קריטי למבחןנילפוטנטיות (T3=0T^3=0) — הופיעה ב-2021ב׳ ש׳4b (nn מינימלי עם Tn=0T^n=0) וב-2024ב׳ ש׳3.1(3).
שאלה נוספת 1(ג)TT אינה לכסינהקריטי למבחןאותו טיעון של 2023ב׳ ש׳3b (ע״ע יחיד ⟹ אילו הייתה לכסינה הייתה שווה לאופרטור סקלרי) ושל 2023א׳ ש׳2a-ii.
שאלהנושארמהלמה
שאלה 1(א)בדיקת אקסיומות — x1y1+2x1y2+2x2y1+2x2y2x_1y_1+2x_1y_2+2x_2y_1+2x_2y_2קריטי למבחןבדיקת אקסיומות מכפלה פנימית הופיעה ב-2023ב׳ ש׳2b, ב-2022ב׳ ש׳4 וב-2021א׳ ש׳6c.
שאלה 1(ב)ביטוי לא־בילינארי (2y1y22y_1y_2)בסיסהפרכה מיידית של הליניאריות — תרגול יסוד באקסיומה הראשונה.
שאלה 1(ג)בדיקת חיוביות — 3x1y1+3x_1y_1+\ldotsקריטי למבחןאותה בדיקת חיוביות שנדרשה ב-2023ב׳ ש׳2b וב-2022ב׳ ש׳4; הסעיף גם משמש להוכחת 4(ג).
שאלה 1(ד)x,y=ytAtAx\langle\vec x,\vec y\rangle=\vec y^{\,t}A^tA\vec x עבור AA הפיכהקריטי למבחןהופיעה ב-2023ב׳ ש׳2b מילה במילה (12 נקודות).
שאלה 1(ה)תיקון שמפר את החיוביותחשוב להבנהמחדדת שהחיוביות היא האקסיומה השברירית, אך הווריאציה הזו לא הופיעה במבחן.
שאלה 2זהות הקיטוב במרחב הרמיטיקריטי למבחןהופיעה ב-2024א׳ ש׳4.2 מילה במילה (12 נקודות).
שאלה 3(א)i=12p(i)q(i)\sum_{i=1}^{2}p(i)q(i) על R2[x]\mathbb{R}_2[x]חשוב להבנהמלמדת שאם יש פחות נקודות ממעלת הפולינום החיוביות נכשלת, אך מכפלה פנימית על מרחב פולינומים לא נבדקה במבחן.
שאלה 3(ב)i=13p(i)q(i)\sum_{i=1}^{3}p(i)q(i) על R2[x]\mathbb{R}_2[x]חשוב להבנהמזינה את גרם־שמידט של מטלה 12 ש׳1(ב), אך אין לה אנלוג במבחנים.
שאלה 4(א)קושי־שוורץ: x2+xy+y2(2x2+y2)(x2+2y2)x^2+xy+y^2\le\sqrt{(2x^2+y^2)(x^2+2y^2)}קריטי למבחןקושי־שוורץ כאי־שוויון אלגברי הופיע ב-2024ב׳ ש׳4.2, ב-2024סימולציה ש׳4.3, ב-2025א׳ ש׳5.1 וב-2025ב׳ ש׳4.2.
שאלה 4(ב)2a+3b+4c6a2+b2+c2|2a+3b+4c|\le6\sqrt{a^2+b^2+c^2}קריטי למבחןהופיעה ב-2024ב׳ ש׳4.2 באותו מבנה בדיוק ((x+2y+3z)214(x2+y2+z2)(x+2y+3z)^2\le14(x^2+y^2+z^2)).
שאלה 4(ג)אי־שוויון עם מקרה שוויון ⟺ a=ba=bקריטי למבחןמקרה השוויון בקושי־שוורץ נדרש ב-2024א׳ ש׳1.1 (הוכחה + מקרה השוויון) וב-2025א׳ ש׳5.1.
שאלה 4(ד)(x1++x2n)2()()(x_1+\cdots+x_{2n})^2\le(\ldots)(\ldots)קריטי למבחןהופיעה ב-2024סימולציה ש׳4.3 ((x1++xn)2nxi2(x_1+\cdots+x_n)^2\le n\sum x_i^2) — אותה בחירת וקטורים בדיוק.
שאלה 5ת״ל ⟺ u,v1v22=u,v2v2,v1\langle u,v_1\rangle\|v_2\|^2=\langle u,v_2\rangle\langle v_2,v_1\rangleקריטי למבחןהופיעה ב-2025סימולציה ש׳2.2 מילה במילה (10 נקודות).
שאלה 6וקטורי יחידה: u,v<1ϵ|\langle u,v\rangle|<1-\epsilonuv>2ϵ\|u-v\|>\sqrt{2\epsilon}קריטי למבחןאותו טיפוס אומדן נורמה של 2025ב׳ ש׳1.2 (u=2\|u\|=2, v=1\|v\|=1u+vuv3\|u+v\|\cdot\|u-v\|\ge3).
שאלהנושארמהלמה
שאלה 1(א)u=v\|u\|=\|v\|u+vuvu+v\perp u-v במרחב אוקלידיקריטי למבחןאותו פיתוח של u±v2\|u\pm v\|^2 שהוא כל הפתרון של 2025ב׳ ש׳1.2.
שאלה 1(ב)הפרכה במרחב הרמיטיקריטי למבחןמלכודת הצמידה ברכיב השני — בדיוק מה שנבחן ב-2024ב׳ ש׳5.2 וב-2024א׳ ש׳4.2.
שאלה 2u+v,v+w,w+uu+v,\,v+w,\,w+u אורתוגונליים ⟹ u=v=w\|u\|=\|v\|=\|w\|חשוב להבנהתרגול מצוין במניפולציה של מכפלות פנימיות, אך התרגיל הזה לא הופיע באף מבחן.
שאלה 3(א)Re(α)=αα0\mathrm{Re}(\alpha)=|\alpha|\Rightarrow\alpha\ge0קריטי למבחןזהו הליבה של מקרה השוויון באי־שוויון המשולש, שהוכחתו נדרשה ב-2023א׳ ש׳1a-ii (13 נקודות).
שאלה 3(ב)u+v=u+v\|u+v\|=\|u\|+\|v\|u=αvu=\alpha v, α0\alpha\ge0קריטי למבחןהופיעה ב-2023א׳ ש׳1a (אי־שוויון המשולש) וב-2024א׳ ש׳1.1 (קושי־שוורץ + מקרה השוויון ⟺ תלות ליניארית).
שאלה 4(א)שני שוויוני קושי־שוורץ בו־זמנית ⟹ x=y=0x=y=0קריטי למבחןהופיעה ב-2025א׳ ש׳5.1 מילה במילה (12 נקודות).
שאלה 4(ב)u,w=uw|\langle u,w\rangle|=\|u\|\|w\| לכל uuw=0Vw=0_Vקריטי למבחןאותו מהלך של מקרה השוויון שנדרש ב-2025א׳ ש׳5.1 וב-2024א׳ ש׳1.1.
שאלה 4(ג)Proju1,u2\mathrm{Proj}_{\vec u_1,\vec u_2} לכסינהחשוב להבנהמחברת בין Proj2=Proj\mathrm{Proj}^2=\mathrm{Proj} ללכסינות, אך לכסינות של אופרטור היטל לא נשאלה במבחן.
שאלה 4(ד)הזווית בין מטריצת סיבוב ל-I2I_2חשוב להבנהמשתמשת במכפלה A,B=tr(BtA)\langle A,B\rangle=\mathrm{tr}(B^tA) שהופיעה ב-2021ב׳ ש׳2b, אך חישוב זווית עצמו לא נדרש באף מבחן.
שאלה 4(ה)קיום v\vec v עם זוויות θi=iπ4\theta_i=\frac{i\pi}{4}חשוב להבנהתרגיל יפה על אילוצי זוויות, ללא אנלוג באף מבחן.
שאלה 4(ו)סימטרית ואנטי־סימטרית אורתוגונליותחשוב להבנההחידוד האורתוגונלי של הפירוק Mn=SYMASYMM_n=\mathrm{SYM}\oplus\mathrm{ASYM} (2022א׳ ש׳3), אך האורתוגונליות עצמה לא נבדקה במבחן.
שאלה 4(ז)A0=A+At2A_0=\frac{A+A^t}{2} הסימטרית הקרובה ביותרקריטי למבחןזהו משפט "ההיטל הוא הווקטור הקרוב ביותר" שנבחן ב-2021א׳ ש׳5c (הווקטור הקרוב ביותר ל-(1,2,3)T(1,2,3)^T ב-RowA\mathrm{Row}\,A).
שאלהנושארמהלמה
שאלה 1(א)גרם־שמידט ב-R4\mathbb{R}^4קריטי למבחןהופיעה ב-2022א׳ ש׳6.2, ב-2022ב׳ ש׳3.2 (גרסה מרוכבת) וב-2023א׳ ש׳5a.
שאלה 1(ב)גרם־שמידט על R2[x]\mathbb{R}_2[x] עם p(i)q(i)\sum p(i)q(i)חשוב להבנהמרחיבה את התהליך למרחב מופשט, אך כל שאלות גרם־שמידט במבחנים היו ב-Rn\mathbb{R}^n או ב-Cn\mathbb{C}^n.
שאלה 2(א)לכסון אורתוגונלי של מטריצה סימטרית 3×33\times3קריטי למבחןהופיעה ב-2021א׳ ש׳5a וב-2024ב׳ ש׳4.1(1) (D=UtAUD=U^tAU עם UU אורתוגונלית).
שאלה 2(ב)iמטריצה אורתוגונלית OO עבור (2112)\begin{pmatrix}2&1\\1&2\end{pmatrix}קריטי למבחןהופיעה ב-2024ב׳ ש׳4.1(1) עם אותו מבנה בדיוק (מטריצה סימטרית 2×22\times2, נרמול הו״ע).
שאלה 2(ב)iiהפרכת קיום v\vec v עם Av,v<0\langle A\vec v,\vec v\rangle<0קריטי למבחןהתנאי T(v),v\langle T(v),v\rangle נבחן ב-2023א׳ ש׳4b, ב-2024ב׳ ש׳5.1 וב-2021א׳ ש׳6a (הגרסה החיובית).
שאלה 3(א)בסיס אורתונורמלי ל-{x2y+2z=0}\{x-2y+2z=0\}קריטי למבחןהופיעה ב-2022א׳ ש׳6.2 עם המישור x+2y+2z=0x+2y+2z=0 — אותה שאלה כמעט מילה במילה.
שאלה 3(ב)חישוב ProjW(x)\mathrm{Proj}_{W^\perp}(\vec x)קריטי למבחןהופיעה ב-2022ב׳ ש׳3.2 (הטלה אורתוגונלית) וב-2023א׳ ש׳5a-ii (בסיס ל-UU^\perp).
שאלה 3(ג)המטריצה המייצגת [ProjW]EE[\mathrm{Proj}_W]^E_Eחשוב להבנהמחברת מטריצה מייצגת עם היטל, אך חישוב מטריצת ההיטל לא נדרש באף מבחן.
שאלה 3(ד)מרחק של וקטור מ-WWקריטי למבחןהופיעה ב-2021א׳ ש׳5c (הווקטור הקרוב ביותר ל-(1,2,3)T(1,2,3)^T ב-RowA\mathrm{Row}\,A).
שאלה 4(א)ProjW2=ProjW\mathrm{Proj}_W^2=\mathrm{Proj}_Wחשוב להבנהתכונת היסוד של ההיטל שמזינה את מטלה 3 ש׳3, אך לא נשאלה במבחן.
שאלה 4(ב)ImProjW=W\mathrm{Im}\,\mathrm{Proj}_W=Wחשוב להבנהמשלימה את התמונה על אופרטור ההיטל; אין לה אנלוג במבחנים.
שאלה 4(ג)kerProjW=W\ker\mathrm{Proj}_W=W^\perpחשוב להבנהמסבירה מדוע V=WWV=W\oplus W^\perp; המשלים האורתוגונלי נבחן (2022ב׳ ש׳3.1) אך לא דרך הגרעין של ההיטל.
שאלה 4(ד)ProjW(u),v=u,ProjW(v)\langle\mathrm{Proj}_W(u),v\rangle=\langle u,\mathrm{Proj}_W(v)\rangleחשוב להבנההסימטריות של ההיטל — תכונה יפה שלא נבדקה באף מבחן.
שאלה 5מטריצת מעבר בין בסיסים אורתונורמליים היא אורתוגונליתקריטי למבחןהופיעה ב-2022ב׳ ש׳4 (BB אורתונורמלי ⟹ u,w=[u]B[w]B\langle u,w\rangle=[u]_B\cdot[w]_B) וב-2021א׳ ש׳1c (שימור מכפלה ⟹ מטריצה אורתוגונלית).
שאלה 6פתרון אופטימלי בריבועים פחותיםחשוב להבנההנושא האחרון בקורס והיישום המרכזי של ההיטל, אך ריבועים פחותים לא הופיעו באף אחד מ-12 המבחנים שנבדקו.

Top 10 — השאלות עם הסיכוי הגבוה ביותר להופיע

כל מועד מבוסס על מה שנלמד באותה שנה, ולכן שיעורי הבית של השנה הם המנבא הטוב ביותר. האחוזים הם הערכה מתדירות ההופעה בפועל — לא הבטחה.
1

הוכח משפט מההרצאות (סעיף של 13–18 נקודות שהפתרון הרשמי בו הוא "ראה הרצאות")

95%
2023א׳ ש׳1a (אי־שוויון המשולש)2024א׳ ש׳1.1 (קושי־שוורץ + מקרה השוויון)2024א׳ ש׳2.1 (משפט הממדים)2024ב׳ ש׳1.1 (קבוצה פורשת ⟹ תמונותיה פורשות)2024ב׳ ש׳2.1 ו-2025ב׳ ש׳1.1 (דמיון ⟺ אותו אופרטור בשני בסיסים)2024סימולציה ש׳1.1 ו-2024סימולציה ש׳2.12025א׳ ש׳1.1 ($GM\le AM$)2025א׳ ש׳2.1 ($A\cdot\mathrm{adj}(A)=\det A\cdot I_n$)2025ב׳ ש׳2.1 (כלל קרמר)2025סימולציה ש׳1.1 ו-2025סימולציה ש׳2.1מטלה 1 ש׳3מטלה 2 ש׳4מטלה 3 ש׳3מטלה 4 ש׳4מטלה 11 ש׳3
  • לשנן בעל־פה את 19 המשפטים שנשאלו בפועל: אי־שוויון המשולש, קושי־שוורץ עם מקרה השוויון, משפט הממדים, [T(v)]B=[T]BA[v]A[T(v)]_B=[T]^A_B[v]_A, ו״ע של ע״ע שונים בת״ל, GM(α)AM(α)GM(\alpha)\le AM(\alpha), Aadj(A)=detAIA\cdot\mathrm{adj}(A)=\det A\cdot I, כלל קרמר, מולטי־ליניאריות של det\det, דמיון ⟺ אותו אופרטור, U=(U)U=(U^\perp)^\perp.
  • בכל הוכחה לצטט במפורש כל משפט שמשתמשים בו ואת כל תנאיו ("VV נוצר סופית", "AA הפיכה").
  • לכתוב כל הוכחה מהזיכרון על דף לפני המבחן — זה 15 נקודות ודאיות מתוך 100.
  • ברוב המבחנים יש שתי הוכחות כאלה, אחת בשאלת מכפלה פנימית ואחת בשאלת דטרמיננטות/לכסון.
כתיבת "ידוע מההרצאה" במקום ההוכחה = אפס נקודות; ושכחת הכיוון השני במקרה השוויון של קושי־שוורץ מורידה כמחצית מהסעיף.
2

לכסון מטריצה קונקרטית 3×33\times3 (או 2×22\times2): ע״ע, ריבויים, ומסקנה על לכסינות

90%
2022א׳ ש׳1.22022ב׳ ש׳1.2 (עם פרמטר)2023ב׳ ש׳1b-ii2024א׳ ש׳4.12024סימולציה ש׳4.12025א׳ ש׳4.12025ב׳ ש׳5.12025סימולציה ש׳5.12021א׳ ש׳2c2021ב׳ ש׳5aמטלה 6 ש׳1מטלה 7 ש׳2מטלה 7 ש׳5מטלה 7 ש׳6מטלה 9 ש׳2
  • לחשב pA(λ)=det(λIA)p_A(\lambda)=\det(\lambda I-A) עם פעולת שורה בתוך הדטרמיננטה כדי ליצור גורם משותף — הטריק שחוזר בכל הפתרונות הרשמיים.
  • לכל ע״ע: AMAM מהפירוק, ו-GM=nrank(AλI)GM=n-\mathrm{rank}(A-\lambda I) ע״י דירוג בפועל.
  • הקריטריון: לכסינה ⟺ pAp_A מתפרק לגורמים ליניאריים וגם GM=AMGM=AM לכל ע״ע ⟺ GM=n\sum GM=n.
  • קיצור דרך רשמי: שתי שורות בת״ל ב-AλIA-\lambda Irank2\mathrm{rank}\ge2, וסינגולריות ⟹ rank=2\mathrm{rank}=2GM=1GM=1.
להניח ש-AM=2AM=2 גורר GM=2GM=2 בלי לדרג. וכשמבקשים P1AP=DP^{-1}AP=D עם DD נתונה — סדר עמודות PP חייב להתאים לסדר האלכסון.
3

מטריצות מייצגות, מטריצות מעבר ודמיון — מציאת וקטור, בסיס, או הוכחה שאין בסיס כזה

78%
2024א׳ ש׳5.12025סימולציה ש׳5.22025א׳ ש׳2.22024ב׳ ש׳2.12025ב׳ ש׳1.12023ב׳ ש׳1a2023ב׳ ש׳4a2022א׳ ש׳52022ב׳ ש׳2.12021ב׳ ש׳3מטלה 4 ש׳1מטלה 4 ש׳3מטלה 4 ש׳6מטלה 4 נוספת 1מטלה 5 ש׳4
  • העמודה ה-jj של [T]CB[T]^B_C היא [T(bj)]C[T(b_j)]_C — לתרגם כל מטריצה מייצגת למשוואות מפורשות.
  • [T]DB=[id]DC[T]CB[T]^B_D=[\mathrm{id}]^C_D\cdot[T]^B_C (החלפת בסיס בטווח) ו-[T]CB=[T]CA[id]AB[T]^B_C=[T]^A_C\cdot[\mathrm{id}]^B_A (בתחום).
  • להוכחת "אין בסיס כזה": כל מטריצת מעבר הפיכה ⟹ המכפלה הפיכה; אם המטריצה הנתונה סינגולרית — סתירה. או דרך det\det ואינווריאנטיות הדמיון.
  • ABA\sim B ⟺ קיים אופרטור ובסיסים שבהם שתיהן מייצגות אותו — זהו גם המשפט שמבקשים להוכיח (2024ב׳, 2025ב׳).
בלבול בכיוון הסימון: בקורס הזה עליון = תחום ותחתון = טווח. וגם — [T]AA[T]^{\mathcal A}_{\mathcal A} ו-[T]BB[T]^{\mathcal B}_{\mathcal B} דומות, אבל [T]BA[T]^{\mathcal A}_{\mathcal B} ו-[T]AB[T]^{\mathcal B}_{\mathcal A} אינן.
4

משפט הממדים: הסקת חסמים על dimker\dim\ker, dimIm\dim\mathrm{Im} ודרגה

72%
2024א׳ ש׳2.12024א׳ ש׳5.22024ב׳ ש׳3.12024ב׳ ש׳3.22024סימולציה ש׳3.22024סימולציה ש׳5.12022א׳ ש׳4.12022ב׳ ש׳6.12023א׳ ש׳3b2021א׳ ש׳3cמטלה 3 ש׳4מטלה 3 ש׳5מטלה 3 ש׳6מטלה 2 ש׳5מטלה 8 ש׳1
  • לתרגם כל נתון לשפת הכלות: ST=0ImTkerSS\circ T=0\Rightarrow\mathrm{Im}T\subseteq\ker S; T2=0ImTkerTT^2=0\Rightarrow\mathrm{Im}T\subseteq\ker T.
  • להפעיל dim\dim על ההכלה ולשלב עם dimV=dimkerT+dimImT\dim V=\dim\ker T+\dim\mathrm{Im}T.
  • מ-pAp_A אפשר לקרוא דרגה: AM(0)=1GM(0)=1rank(A)=n1AM(0)=1\Rightarrow GM(0)=1\Rightarrow\mathrm{rank}(A)=n-1 (2024א׳ ש׳5.2).
  • לבניית העתקה: להגדיר אותה על בסיס — לפי משפט הקיום והיחידות זה תמיד חוקי.
משפט הממדים הוא על dimV\dim V — ממד התחום. והשקילות "חח״ע ⟺ על" תקפה רק לאופרטור על מרחב נוצר סופית.
5

הוכחת אי־שוויון אלגברי בעזרת קושי־שוורץ (כולל מקרה השוויון)

70%
2024א׳ ש׳1.12024ב׳ ש׳4.22024סימולציה ש׳4.32025א׳ ש׳5.12025ב׳ ש׳1.22025ב׳ ש׳4.2מטלה 10 ש׳4מטלה 10 ש׳6מטלה 11 ש׳3מטלה 11 ש׳4
  • לזהות את האגף השמאלי כ-x,y2\langle\vec x,\vec y\rangle^2 — כל השאלה היא בחירת שני הווקטורים הנכונים.
  • למקדמים לא נוחים: לפזר את השורש, x22\frac{x^2}{2} מתקבל מ-x=x22x=\frac{x}{\sqrt2}\cdot\sqrt2.
  • y=(1,,1)t\vec y=(1,\dots,1)^t נותן מיד (x1++xn)2nxi2(x_1+\cdots+x_n)^2\le n\sum x_i^2.
  • אם נתון שוויון — המסקנה היא תלות ליניארית x=αy\vec x=\alpha\vec y; זה חלק מהמשפט שיש לצטט.
במרוכבים צריך את הצעד הנפרד Re2u,vu,v2\mathrm{Re}^2\langle u,v\rangle\le|\langle u,v\rangle|^2, ואסור לשכוח שהצמידה היא ברכיב השני.
6

זהויות דטרמיננטה ו-adj\mathrm{adj}: חילוץ det(A)\det(A) ממשוואה מטריציונית

65%
2023ב׳ ש׳5c2024א׳ ש׳3.22024ב׳ ש׳1.22024ב׳ ש׳2.22024סימולציה ש׳3.12025א׳ ש׳1.22025ב׳ ש׳5.22025סימולציה ש׳3.2מטלה 1 ש׳3מטלה 1 ש׳6מטלה 5 ש׳1(ה)מטלה 8 נוספת 1
  • להחליף מיד adj(A)=det(A)A1\mathrm{adj}(A)=\det(A)A^{-1} (תקף רק כש-AA הפיכה) ואז לעשות אלגברה של מטריצות הפיכות.
  • ארגז הכלים: det(AB)=detAdetB\det(AB)=\det A\det B, det(At)=detA\det(A^t)=\det A, det(cA)=cndetA\det(cA)=c^n\det A, det(adjA)=det(A)n1\det(\mathrm{adj}A)=\det(A)^{n-1}, adj(A)adj(B)=adj(BA)\mathrm{adj}(A)\mathrm{adj}(B)=\mathrm{adj}(BA).
  • להפעיל det\det על שני אגפי המשוואה הנתונה, ואז לפתור משוואה סקלרית ב-det(A)\det(A).
  • בשדה סופי — לצמצם מודולו pp רק בסוף, ולהיעזר במשפט פרמה הקטן כשמופיעה חזקה p1p-1.
det(cA)=cndet(A)\det(cA)=c^n\det(A) ולא cdet(A)c\det(A) — הטעות מספר 1 (ב-2024ב׳ זה 36=7293^6=729). ו-adj(A)adj(B)=adj(BA)\mathrm{adj}(A)\mathrm{adj}(B)=\mathrm{adj}(BA) עם היפוך סדר.
7

מכפלה פנימית: בדיקת אקסיומות והסקת u=0Vu=0_V מזהות נתונה

55%
2022ב׳ ש׳42023ב׳ ש׳2b2024א׳ ש׳4.22024ב׳ ש׳5.12024ב׳ ש׳5.22025סימולציה ש׳2.22021א׳ ש׳6c2021ב׳ ש׳2bמטלה 10 ש׳1מטלה 10 ש׳2מטלה 10 ש׳3מטלה 10 ש׳5
  • שלוש האקסיומות בסדר: ליניאריות ברכיב הראשון, הרמיטיות y,x=x,y\langle y,x\rangle=\overline{\langle x,y\rangle}, וחיוביות עם x,x=0x=0\langle x,x\rangle=0\Rightarrow x=0.
  • טריק הסימטריה: ביטוי סקלרי שווה לשחלוף של עצמו — כך מוכיחים ytAtAx\vec y^tA^tA\vec x סימטרי.
  • להסקה מזהות: להציב v=uv=u (או u=v2u=v_2), לפתח לפי ליניאריות וצמידות, ולקבל cu2=0c\|u\|^2=0 עם c0c\ne0.
  • זהות הקיטוב מעל C\mathbb{C} — לדעת לכתוב אותה ולפתח כל 2\|\cdot\|^2.
מעל C\mathbb{C} אין ליניאריות ברכיב השני: u,αv=αˉu,v\langle u,\alpha v\rangle=\bar\alpha\langle u,v\rangle. זו הטעות היקרה ביותר בשאלות האלה.
8

קיילי־המילטון ופולינום אופייני: הסקת זהות מטריציונית או הוכחת אי־קיום מטריצה

55%
2022ב׳ ש׳6.22023א׳ ש׳3a2023ב׳ ש׳2a2023ב׳ ש׳5a2025א׳ ש׳4.22025סימולציה ש׳4.22025ב׳ ש׳4.3מטלה 8 ש׳4מטלה 9 ש׳1מטלה 6 ש׳6(ב)מטלה 6 ש׳6(ג)
  • מ-nn ע״ע שונים במטריצה n×nn\times n אפשר לבנות את pAp_A במלואו ואז להציב: pA(A)=0np_A(A)=0_n.
  • לבידוד ההופכית: מ-pA(A)=0p_A(A)=0 מבודדים A()=cIA\cdot(\ldots)=cI ומקבלים A1A^{-1} כפולינום ב-AA.
  • להוכחת אי־קיום: חשב את pp של המטריצה הנתונה, הסק שכל ע״ע של AA הוא 00, מעל C\mathbb{C} קבל pA(λ)=λnp_A(\lambda)=\lambda^n, והפעל קיילי־המילטון לסתירה.
  • הפולינום המינימלי הוא מוניך, מחלק את pAp_A, ומתאפס על כל הע״ע.
λ\lambda ע״ע של AAp(λ)p(\lambda) ע״ע של p(A)p(A), אבל ההפך אינו נכון. ולהסיק "pAp_A ידוע" מרשימת ע״ע תקף רק אם ספירת הריבויים מגיעה ל-nn.
9

חישוב דטרמיננטה של מטריצה מובנית או ענקית (דירוג, החלפות שורה, מטריצת מלווה)

50%
2023א׳ ש׳5b ($6\times6$)2024א׳ ש׳1.2 ($5\times5$)2024סימולציה ש׳2.2 ($4\times4$)2025ב׳ ש׳4.1 ($2025\times2025$)2025סימולציה ש׳4.1 ($2025\times2025$)2022ב׳ ש׳1.2מטלה 1 ש׳2מטלה 1 ש׳6(ה)מטלה 6 ש׳3(א)מטלה 6 ש׳3(ב)
  • לזהות את המבנה תחילה: משולשית, אנטי־משולשית, מלווה, או כמעט־אלכסונית.
  • למטריצה הפוכה בסדר השורות: לבצע RiRni+1R_i\leftrightarrow R_{n-i+1} ולספור את מספר ההחלפות (ב-n=2025n=2025 יש 10121012 החלפות — זוגי, ולכן הסימן לא משתנה).
  • RiRi+cRjR_i\to R_i+cR_j אינה משנה את הדטרמיננטה; החלפת שורות משנה סימן; RicRiR_i\to cR_i מכפילה ב-cc. לתעד כל פעולה.
  • למטריצת מלווה: לפתח לפי העמודה או השורה עם הכי הרבה אפסים ולזהות שהמינורים משולשיים.
שכחת סימן ההחלפות היא הטעות מספר 1 — תמיד לספור. ובמטריצת מלווה, לשים לב לסימנים (1)i+j(-1)^{i+j} בפיתוח.
10

ABAB מול BABA: אותם ערכים עצמיים, והמסקנות על הפיכות ולכסינות

45%
2023א׳ ש׳2a2024א׳ ש׳3.12024סימולציה ש׳1.22025ב׳ ש׳3.12025סימולציה ש׳3.1מטלה 6 ש׳4מטלה 5 ש׳3
  • מקרה λ=0\lambda=0: דרך דטרמיננטות — det(BA)=det(B)det(A)=det(AB)=0\det(BA)=\det(B)\det(A)=\det(AB)=0.
  • מקרה λ0\lambda\ne0: בנייה ישירה y=Bv\vec y=B\vec v, כולל ההוכחה הנפרדת ש-y0\vec y\ne\vec0.
  • מסקנה: ABIAB-I אינה הפיכה ⟺ 11 ע״ע של ABAB11 ע״ע של BABABAIBA-I אינה הפיכה.
  • עבור AA הפיכה: ABBAAB\sim BA, ומכאן det(IAB)=det(IBA)\det(I-AB)=\det(I-BA).
חייבים להפריד למקרה λ=0\lambda=0 ולמקרה λ0\lambda\ne0 — הבנייה y=Bv\vec y=B\vec v נכשלת כש-λ=0\lambda=0. וזכרו: אותם ע״ע אינם גוררים אותה לכסינות (הדוגמה הנגדית הרשמית של 2023א׳).
מה לדעת בעל־פה
העובדות, הדוגמאות הנגדיות והמלכודות