Download as pdf or txt
Download as pdf or txt
You are on page 1of 10

‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬

‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬


‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫אלגברה לינארית א'‬


‫דירוג מטריצות‬
‫הקדמה‬
‫קורס זה מסתובב סביב מערכות של משוואות לינאריות‪ ,‬כגון‬
‫‪‬‬ ‫‪6 y  8 z  7‬‬
‫‪‬‬
‫‪3x  2 y  6 z  8‬‬
‫‪ 5x  8 y  5z  0‬‬
‫‪‬‬
‫בשיעור זה הראשון נלמד שתי שיטות בסיסיות שעליהן מתבסס למעשה כל שאר הקורס‪:‬‬

‫א‪ .‬לפתור מערכת משוואות לינאריות באופן שיטתי (ולא כמו בבית הספר)‬
‫ב‪ .‬לקבוע את מספר הפתרונות של המערכת‪.‬‬

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

‫מספר הפתרונות של מערכת לינארית‬


‫מערכת של שתי משוואות עם שני נעלמים‬
‫נתבונן תחילה במערכת של שתי משוואות עם שני נעלמים‪ .‬משוואה לינארית עם שני נעלמים‪ ,‬דהיינו‬
‫‪ , ax  by  c‬היא משוואת ישר‪ .‬אם כן‪ ,‬הפתרון של מערכת של שתי משוואות עם שני נעלמים הוא נקודת‬
‫החיתוך של שני ישרים‪ .‬ישנם כאן שלושה מקרים אפשריים מבחינת המצב ההדדי של שני הישרים‪.‬‬

‫שני ישרים שאינם מקבילים‬

‫במקרה זה יש ולמערכת פתרון יחיד כיון שיש נקודת חיתוך יחידה בין שני הישרים‪.‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪1‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫שני הישרים מתלכדים‬ ‫שני ישרים מקבילים ושונים זה מזה‬

‫במקרה זה יש ולמערכת אינסוף פתרונות כיון‬ ‫במקרה זה אין פתרון למערכת כיון שהישרים‬
‫ש"החיתוך" הוא הישר כולו‪.‬‬ ‫אינם נחתכים‪ ,‬כלומר "החיתוך" הוא "ריק"‪.‬‬

‫מערכת כללית‬
‫לקמן נבין כי גם במקרה הכללי ( ‪ m‬משוואות עם ‪ n‬נעלמים) יכולות להיווצר רק שלוש מצבים‪:‬‬

‫א‪ .‬למערכת אין פתרון‬


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

‫הצגה מטריציאלית של מערכת לינארית‬


‫מטריצה מייצגת‬
‫מטריצה מורחבת‬
‫כל מערכת לינארית ניתן להציג על ידי "מַ ְט ִריצָ ה מֻ ְרחֶ בֶ ת" כאשר איברי המטריצה שלפני הקו המאונך הם‬
‫מקדמי הנעלמים ואילו איבריה שאחרי הקו המאונך הם המספרים החופשיים שבאגפים הימניים של‬
‫המשוואות‪ .‬לדוגמה‪:‬‬
‫‪ 0 6 8 7 ‬‬ ‫‪‬‬ ‫‪6 y  8 z  7‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 3 2 6‬‬ ‫‪8‬‬ ‫~‬ ‫‪3 x  2 y  6 z  8‬‬
‫‪ 5 8 5‬‬ ‫‪0 ‬‬ ‫‪ 5x  8 y  5z  0‬‬
‫‪‬‬

‫מטריצת מקדמים‬
‫המטריצה המורכבת רק ממקדמי הנעלמים ללא המספרים החופשיים תיקרא " ַמ ְט ִריצַ ת ְמ ַק ְד ִמים"‪.‬‬
‫בדוגמה לעיל היא‪:‬‬
‫‪ 0 6 8 ‬‬
‫‪ 3 2 6 ‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 5 8 5 ‬‬

‫מטריצה פתירה‬
‫ירה" אם היא מייצגת מערכת משוואות פתירה כלומר מערכת שיש לה פתרון‬ ‫מטריצה מורחבת תיקרא "פְ ִת ָ‬
‫(בין שקיים פתרון יחיד בין שקיימים אינסוף פתרונות)‪.‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪2‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫שקילות של מטריצות‬
‫פעולות שורה אלמנטריות‬
‫כאשר פותרים מערכת משוואות‪ ,‬מבצעים פעולות אלגבריות על המשוואות באופן כזה שעל ידי הפעולות‬
‫האלגבריות הללו מקבלים מערכת משוואות חדשה ושקּולה שיש לה אותו פתרון (או אותם הפתרונות)‪.‬‬
‫כשם שהמערכת הדשה שונה מהמערכת המקורית‪ ,‬כך גם המטריצה המייצגת החדשה שונה מהמטריצה‬
‫המקורית‪ .‬אבל לכל פעולה אלגברית על המשוואות מתאימות פעולה מסוימת על שורות המטריצה (כיון‬
‫ְט ִרּיֹות" ואלו הן‪:‬‬
‫ּׁשּורה ָה ֵא ֵל ֶמנ ָ‬
‫שהשורות מייצגות את המשוואות) ופעולות אלה נקראות "פְ עֻּלֹות ַה ָ‬

‫א‪ .‬להכפיל שורה מסוימת במספר שונה מאפס‬


‫ב‪ .‬להוסיף לשורה מסוימת כפולה של שורה אחרת‬
‫ג‪ .‬להחליף שתי שורות‬
‫דוגמה‬
‫את מערכת דלעיל ניתן לפתור על ידי פעולות אלגבריות ופעולות שורה אלמנטריות המקבילות להן כדלהלן‪:‬‬
‫‪ 0‬‬ ‫‪6 8‬‬ ‫‪7   II‬‬ ‫‪‬‬ ‫‪6 y  8 z  7 I‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 3‬‬ ‫‪2 6‬‬ ‫‪8  I‬‬ ‫‪3 x  2 y  6 z  8‬‬ ‫‪II‬‬
‫‪ 5‬‬ ‫‪0 ‬‬ ‫‪ 5x  8 y  5z  0‬‬
‫‪8 5‬‬ ‫‪‬‬ ‫‪III‬‬
‫‪3‬‬ ‫‪2 6‬‬ ‫‪8‬‬ ‫‪3 x  2 x2  6 z  8‬‬ ‫‪II  I‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 0‬‬ ‫‪6 8‬‬ ‫‪7 ‬‬ ‫‪ ‬‬ ‫‪6 y  8 z  7 I  II‬‬
‫‪ 5‬‬ ‫‪0  5  I  3  III‬‬ ‫‪ 5x  8 y  5z  0‬‬
‫‪8 5‬‬ ‫‪‬‬ ‫‪III‬‬
‫‪3 2 6‬‬ ‫‪8 3  I  II‬‬ ‫‪3 x  2 y  6 z  8‬‬ ‫‪I‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪  0 6 8‬‬ ‫‪7 ‬‬ ‫‪ ‬‬ ‫‪6 y  8 z  7 II‬‬
‫‪ 0 34 15‬‬ ‫‪40  17  II  3  III‬‬ ‫‪‬‬ ‫‪34 y  15 z  40 III  5  I  3  III‬‬
‫‪‬‬
‫‪9 0 10‬‬ ‫‪31 91 I  10  III‬‬ ‫‪9 x  10 z  31 I  3  I  II‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪  0 6 8‬‬ ‫‪7  91 II  8  III‬‬ ‫‪  6 y  8 z  7 II‬‬
‫‪ 0 0 91‬‬ ‫‪239 ‬‬ ‫‪‬‬ ‫‪91z  239 III  17  II  3  III‬‬
‫‪‬‬
‫‪819‬‬ ‫‪0 0‬‬ ‫)‪5211 : (819‬‬ ‫‪819 x  5211 I  91  I  10  III‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪546 0‬‬ ‫‪1275 : 546‬‬ ‫‪  546 y  1275 II  91  II  8  III‬‬
‫‪‬‬ ‫‪239  : 91‬‬ ‫‪ 91z  239 III‬‬
‫‪0‬‬ ‫‪0 91‬‬ ‫‪‬‬
‫‪1 0‬‬ ‫‪0‬‬ ‫‪ 579‬‬ ‫‪‬‬ ‫‪ x   572‬‬
‫‪91‬‬ ‫)‪I  I : (819‬‬
‫‪‬‬
‫‪91‬‬
‫‪‬‬ ‫‪425 ‬‬
‫‪ 0 1‬‬ ‫‪0‬‬ ‫‪182 ‬‬
‫‪  y  182‬‬
‫‪425‬‬
‫‪II  II : 546‬‬
‫‪0 0‬‬ ‫‪239 ‬‬ ‫‪ z  239‬‬ ‫‪III  III : 91‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪91 ‬‬ ‫‪‬‬ ‫‪91‬‬

‫הסבר הפעולות‪:‬‬
‫‪ .1‬בשלב הראשון רק העתקנו את המערכת (בצד ימין) ותרגמנו אותה לשפת המטריצות (בצד שמאל)‬
‫‪ .2‬בשלב השני החלפנו את השורה הראשונה והשנייה כדי למנוע שהעמודה הראשונה תתחיל ב‪0 -‬‬
‫מסיבה שתתבאר לקמן‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪3‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫בשלב הבא איפסנו את המקדם של ‪ x‬בשורה השלישית כך שהכפלנו את השורה השלישית ב‪3 -‬‬ ‫‪.3‬‬
‫והכפלנו את השורה הראשונה ב‪( 5 -‬אומנם במחשבה בלבד) והחלפנו את השורה השלישית בסכום‬
‫של שתי השורות שהוכפלו‪ ,‬דהיינו ‪ , 5  (3 x  2 y  6 z )  3  (5 x  8 y  5 z )  0 x  34 y  15 z‬ואת‬
‫שאר השורות השארנו כך שהן‪ .‬עד כאן הצלחנו ליצור מצב שבו המקדמים של ‪ , x‬הנמצאים‬
‫בעמודה הראשונה‪ ,‬התאפסו בכל השורות חוץ מהשורה הראשונה שהיא כביכול "השורה של ‪." x‬‬
‫בשלב הבא ביקשנו לאפס את המקדמים של ‪ , y‬הנמצאים בעמודה השנייה‪ ,‬בכל השורות חוץ‬ ‫‪.4‬‬
‫מהשורה השנייה שהיא כביכול "השורה של ‪ ," y‬ולשם כך נעזרנו באותו הרעיון כמו בשלב הקודם‪.‬‬
‫בשלב הבא איפסנו באותה השיטה את המקדמים של ‪ , z‬הנמצאים בעמודה השלישית‪ ,‬בכל‬ ‫‪.5‬‬
‫השורות חוץ מהשורה השלישית שהיא כביכול "השורה של ‪." z‬‬
‫בשלב האחרון לא נשאר לנו אלא לבודד את הנעלמים‪ ,‬כל אחד ב"שורה שלו"‪.‬‬ ‫‪.6‬‬

‫מערכות לינאריות שקולות‬


‫מטריצה שהתקבלה ממטריצה אחרת על ידי פעולות שורה אלמנטריות הינה " ְשקּו ָלה" למטריצה המקורית‪,‬‬
‫רוצה לומר כי שתי המטריצות מייצגות מערכות משוואות בעלות אותו הפתרון (או אותו אוסף הפתרונות)‪.‬‬

‫הוכחה‪ :‬כל פעולת שורה אלמנטרית במטריצה מייצגת פעולה אלגברית במערכת המשוואות והפעולות‬
‫האלגבריות הללו הן פעולות שקילה המשמרֹות את הפתרון‪.‬‬

‫דירוג מטריצה‬
‫הקדמה‬
‫מושגי יסוד‬
‫מֹוביל" של המטריצה‪.‬‬
‫בכל שורה של מטריצה‪ ,‬האיבר הראשון (משמאל לימין) השונה מאפס ייקרא " ֵאיבַ ר ִ‬
‫שּורה מֹובִ ילָה"‪ .‬שורה שאינה מובילה היא בהכרח שורת אפסים!‬ ‫שורה שיש בה איבר מוביל תיקרא " ָ‬
‫עמודה שיש בה איבר מוביל תיקרא "עַ ּמּודָ ה מֹובִ ילָה"‪ .‬אולם‪ ,‬שים לב כי עמודה בלתי מובילה אינה בהכרח‬
‫עמודת אפסים‪ .‬עמודה בלתי מובילה תיקרא "עַ ּמּודָ ה חָ פְ ִשית"‪.‬‬

‫דוגמה‬
‫במטריצה להלן העיגול השחור " ‪ " ‬מסמל איבר ששונה מאפס‪ ,‬ואילו הכוכבית " ‪ " ‬מסמלת איבר כל‬
‫שהוא‪ ,‬בין אפס בין שונה מאפס‪:‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 ‬‬
‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬

‫העיגולים הם האיברים המובילים במטריצה הזאת‪ .‬השורות ‪ 3 ,1‬ו‪ 4-‬הן מובילות ואילו השורה ‪ 2‬היא שורת‬
‫אפסים‪ .‬העמודות ‪ 3 ,1‬ו‪ 6-‬הן מובילות ואילו העמודות ‪ 7 ,5 ,4 ,2‬ו‪ 8-‬הן חופשיות‪.‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪4‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫מטריצה מדורגת‬
‫דֹורגֶת" אם היא מקיימת שלושת התנאים להלן‪:‬‬
‫מטריצה תיקרא " ְמ ֶ‬

‫א‪ .‬כל השורות המובילות נמצאות מעל שורות האפסים (אם ישנן כאלה)‪.‬‬
‫ב‪ .‬כל איבר מוביל נמצא ימינה מהאיבר המוביל של השורה שלמעלה‪.‬‬
‫ג‪ .‬בכל עמודה מובילה‪ ,‬האיברים שמתחת לאיבר המוביל הם כולם אפסים‪.‬‬

‫דוגמה‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ ‬‬
‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫מטריצה קנונית‬
‫"מַ ְט ִריצָ ה ָקנֹו ִנית" היא מטריצה מדורגת שמקיימת שני תנאים נוספים‪:‬‬

‫ד‪ .‬כל האיברים המובילים שווים ל‪.1-‬‬


‫ה‪ .‬בכל עמודה מובילה‪ ,‬האיבר המוביל הוא היחיד שאינו מתאפס‪.‬‬

‫דוגמה‬
‫‪1‬‬ ‫‪‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪ ‬‬
‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫יחידותה של המטריצה הקנונית‬


‫ניתן להוכיח כי כל מטריצה שאינה כולה מתאפסת שקולה למטריצה קנונית יחידה‪.‬‬

‫הדירוג של גאוס‬
‫הגדרה‬
‫דירוג מטריצה הקרוי "הַ דֵ ירּוג שֶ ל גָאּוס" נעשה על פי התהליך הבא‪:‬‬

‫להתחיל בעמודה השמאלית ביותר שאינה כולה מתאפסת‪ .‬על ידי שני השלבים הבאים נהפוך‬ ‫א‪.‬‬
‫העמודה הזאת לעמודה מובילה ואת האיבר העליון שבה לאיבר מוביל‪.‬‬
‫אם האיבר העליון מתאפס יש להחליף את השורה העליונה עם שורה אחרת‪.‬‬ ‫ב‪.‬‬
‫לאפס את כל האיברים שמתחת לאיבר המוביל על ידי פעולות השורה (כמו בדוגמה לעיל)‪.‬‬ ‫ג‪.‬‬
‫לכסות את השורה העליונה ולבצע על המטריצה הקטנה את שלושת השלבים לעיל‪.‬‬ ‫ד‪.‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪5‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫דוגמה‬

‫‪ 0‬‬ ‫‪6 8 7   II  3 2 6‬‬ ‫‪8‬‬


‫‪ 3‬‬ ‫‪2 6‬‬ ‫‪8  I   0 6 8 7 ‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪ 5‬‬ ‫‪8 5 0 ‬‬ ‫‪ 5 8 5 0  5  I  3  III‬‬
‫‪ 3‬‬ ‫‪2 6‬‬ ‫‪8‬‬ ‫‪ 3‬‬ ‫‪2‬‬ ‫‪6‬‬ ‫‪8‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 0‬‬ ‫‪6 8 7 ‬‬ ‫‪ 0‬‬ ‫‪6‬‬ ‫‪8 7 ‬‬
‫‪ 0 34 15 40  17  II  3  III  0‬‬ ‫‪0‬‬ ‫‪91 239 ‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫החלפנו שורות על מנת לקבל איבר מוביל בעמודה הראשונה ואיפסנו כל האיברים מתחת‪ .‬אחר כך כיסינו‬
‫את השורה הראשונה ואז העמודה השנייה היא העמודה הראשונה שאינה כולה מתאפסת‪ .‬האיבר העליון‬
‫של עמודה זו – דהיינו ‪ – 6‬הוא האיבר המוביל ואיפסנו את האיבר מתחת‪ .‬עם זה נגמר הדירוג‪.‬‬

‫הצבה לאחור בסיום הדירוג של גאוס‬


‫אחרי הדירוג של גאוס מתרגמים את המטריצה בחזרה למערכת משוואות ומבודדים את הנעלמים זה אחר‬
‫זה כאשר מתחילים במשוואה התחתונה ועולים למעלה‪ .‬תהליך זה נקרא " ַהצָ בָ ה לְ ָאחֹור" כי בכל משוואה‬
‫מציבים את התוצאה של המשוואות הקודמות‪ .‬לדוגמה‪ ,‬בדירוג לעיל ההצבה לאחור נראית כדלהלן‪:‬‬

‫‪239‬‬
‫‪91z  239  z ‬‬
‫‪91‬‬
‫‪6 y  8 z  7‬‬
‫‪239‬‬ ‫‪425‬‬
‫‪6y 8‬‬ ‫‪ 7  y ‬‬
‫‪91‬‬ ‫‪182‬‬
‫‪3 x  2 y  6 z  8‬‬
‫‪425‬‬ ‫‪239‬‬ ‫‪579‬‬
‫‪3 x  2 ‬‬ ‫‪ 6‬‬ ‫‪8 x  ‬‬
‫‪182‬‬ ‫‪91‬‬ ‫‪91‬‬

‫‪. x   579‬‬
‫‪91‬‬ ‫‪y  182‬‬
‫‪425‬‬
‫‪z  239‬‬
‫‪91‬‬
‫והתקבל הפתרון היחיד‪:‬‬

‫קביעת מספר הפתרונות‬


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

‫אם במטריצה המדורגת העמודה שאחרי הקו המאונך הינה מובילה‪ ,‬אזי האיבר המוביל של העמודה הזאת‬
‫הוא האיבר היחיד בשורה שלו ששונה מאפס ושורה כזאת נקראת "פְ סּוק ֶש ֶקר" כיון שהשורה מייצגת‬
‫משוואה שבאגף השמאלי כל הנעלמים נעלמו (כלומר המקדמים שלהם התאפסו) כל עוד המספר החופשי‬
‫באגף הימני (דהיינו האיבר המוביל הנזכר לעיל) שונה מאפס ונמצא שהמשוואה מהסגנון " ‪ " 0  ‬וזה אכן‬
‫פסוק שקר! במקרה זה כמובן למערכת אין פתרון‪.‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪6‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫דוגמה‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬


‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 ‬‬

‫העמודה אחרי הקו המאונך היא מובילה וזה ולכן השורה מספר ‪ 3‬היא פסוק שקר‪ ,‬ולמערכת אין פתרון‪.‬‬
‫עמודה חופשית לפני הקו – אינסוף פתרונות‬

‫אם אין פסוק שקר (כלומר אם העמודה שאחרי הקו המאונך הינה חופשית) וגם קיימת עמודה חופשית‬
‫לפני הקו המאונך‪ ,‬אזי למערכת יש אינסוף פתרונות‪.‬‬

‫דוגמה‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬


‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 ‬‬

‫כאן אין פסוק שקר כיון שהעמודה אחרי הקו – העמודה מספר ‪ – 6‬הינה חופשית‪ ,‬ובנוסף העמודות מספרי‬
‫‪ 2‬ו‪( 4-‬שהן לפני הקו) הינן חופשיות‪ .‬לכן למערכת אינסוף פתרונות‪.‬‬
‫כל העמודות שלפני הקו מובילות – פתרון יחיד‬

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

‫דוגמה‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬


‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 ‬‬

‫הערות‬
‫א‪ .‬שורות אפסים אינן רלוונטיות לקביעת מספר פתרונות! פשוט לא מתייחסים לשורות אפסים‬
‫בהקשר של קביעת מספר הפתרונות!‬
‫ב‪ .‬העמודה שאחרי הקו המאונך אינה מורכבת ממקדמי הנעלמים אלא מהמספרים החופשיים‬
‫שבאגפים הימניים של המערכת‪ .‬לכן אם העמודה שאחרי הקו המאונך הינה חופשית אין זה מראה‬
‫על אינסוף פתרונות‪.‬‬
‫ג‪ .‬המערכת פתירה אם ורק אם למטריצה המדורגת אין פסוק שקר‪.‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪7‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ '‫אלגברה לינארית א‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ 1 ‫שיעור‬ ‫הקדמה‬
‫יורדן‬-‫דירוג של גאוס‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫דוגמאות לפתירת מערכת על ידי הדירוג של גאוס‬


 2 x  7 y  z  30 .‫א‬

 6 x  6 z  12
4 x  8 y  2 z  10

:‫פתרון‬
 2 7 1 30   2 7 1 30   II  1 0 1 2
     
 6 0 6 12  : 6   1 0 1 2   I   2 7 1 30  2  I  II
 4 8 2 10  : 2  2 4 1 5  2 4 1 5 2  I  III
 1 0 1 2  1 0 1 2
   
  0 7 3 34    0 7 3 34 
 0 4 1 9  7  III  4  II  0 0 5 73
, y  75  7 y  3  735  34  7 y  3z  34 , z  735  5z  73 :‫הצבה לאחור‬

. x  635   x  735  2   x  z  2

7 x  3 y  1 .‫ב‬

14 x  6 y  2
:‫פתרון‬
 7 3 1  7 3 1  7 3 1
     
 14 6 2 : 2  7 3 1 I  II  0 0 2
.‫ אין פתרון‬,‫פסוק שקר‬
4 x1  6 x2  2 x3  2 x4  4 .‫ג‬

 3x2  3x3  x4  2 x5  2
 2x  2x  x  2x  4
 1 3 4 5

:‫פתרון‬
 4 6 2 2 0 4  : 2  2 3 1 1 0 2 
   
0 3 3 1 2 2    0 3 3 1 2 2 
 2 0 2 1 2 4   2 0 2 1 2 4  III  I
 2 3 1 1 0 2  2 3 1 1 0 2 
   
  0 3 3 1 2 2   0 3 3 1 2 2 
 0 3 3 0 2 2  III  II  0 0 0 1 0 0 

.‫ הם חופשיים ושאר הנעלמים תלויים בהם‬x5 -‫ ו‬x3 ‫ הן חופשיות והנעלמים‬5-‫ ו‬3 ‫העמודות מספרי‬
, x2   x3  23 x5  23  3x2  3x3  2 x5  2  3x2  3x3  x4  2 x5  2 , x4  0 :‫הצבה לאחור‬
. x1   x3  x5  2  2 x1  3( x3  23 x5  23 )  x3  2  2 x1  3x2  x3  x4  2

‫דוד‬-‫© ד"ר רוני בן‬ 8 ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫הדירוג של גאוס ‪-‬יורדן‬


‫הגדרה‬
‫ניתן להימנע מההצבה לאחור על ידי דירוג מטריצה משוכלל הקרוי " ַה ֵדירּוג ֶשל גָאּוס‪-‬יורדן" שבו לא‬
‫מאפסים רק את האיברים שמתחת לאיבר המוביל באותה העמודה אלא גם את האיברים שמעל האיבר‬
‫המוביל‪ ,‬וכיון שדירוג זה מביא תמיד למטריצה מדורגת קנונית‪ ,‬אין יותר צורך להצבה לאחור‪ ,‬אלא‬
‫הפתרון מופיע פשוט בעמודה שלאחר הקו המאונך כפי שנסביר עתה על ידי דוגמאות‪.‬‬

‫דוגמאות לפתירת מערכת על ידי הדירוג של גאוס ‪-‬יורדן‬


‫א‪ 2 x  7 y  z  30 .‬‬
‫‪‬‬
‫‪ 6 x  6 z  12‬‬
‫‪4 x  8 y  2 z  10‬‬
‫‪‬‬
‫פתרון‪:‬‬
‫‪ 2 7‬‬ ‫‪1 30 ‬‬ ‫‪ 2 7 1 30   II  1 0 1‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 6 0 6 12  : 6   1 0 1‬‬ ‫‪2   I   2 7 1 30  2  I  II‬‬
‫‪ 4 8 2 10  : 2  2 4 1‬‬ ‫‪5‬‬ ‫‪ 2 4 1‬‬ ‫‪5 2  I  III‬‬
‫‪ 1 0 1‬‬ ‫‪2‬‬ ‫‪ 1 0‬‬ ‫‪1‬‬ ‫‪2  5  I  III‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪  0 7 3 34 ‬‬ ‫‪  0 7‬‬ ‫‪3‬‬ ‫‪34  5  II  3  III‬‬
‫‪ 0 4 1‬‬ ‫‪9  7  III  4  II  0 0 5 73‬‬
‫‪ 5‬‬ ‫)‪0 0 63 : (5‬‬ ‫‪ 1 0 0 63 / 5‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪  0 35 0 49  : (35)  0 1 0‬‬ ‫‪7 / 5‬‬
‫‪ 0‬‬ ‫)‪0 5 73 : (5‬‬ ‫‪0 0 1 73 / 5 ‬‬

‫‪. x  635‬‬ ‫‪y  75‬‬ ‫פתרון יחיד‪z  735 :‬‬

‫ב‪4 x1  6 x2  2 x3  2 x4  4 .‬‬
‫‪‬‬
‫‪ 3x2  3x3  x4  2 x5  2‬‬
‫‪ 2x  2x  x  2x  4‬‬
‫‪ 1‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬

‫פתרון‪:‬‬
‫‪ 4 6 2 2 0‬‬ ‫‪4  : 2  2 3 1 1 0 2 ‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪0‬‬ ‫‪3 3 1 2‬‬ ‫‪2    0 3 3 1 2 2 ‬‬
‫‪ 2 0 2 1 2‬‬ ‫‪4 ‬‬ ‫‪ 2 0 2 1 2 4  III  I‬‬
‫‪ 2 3 1 1‬‬ ‫‪0 2  I  II‬‬ ‫‪2 0 2 0 2 4 : 2‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪  0 3 3 1‬‬ ‫‪2 2‬‬ ‫‪  0 3 3 1 2 2  : 3‬‬
‫‪ 0 3 3 0‬‬ ‫‪2 2  III  II  0 0 0 1 0 0 ‬‬
‫‪1 0 1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 0 1 1 1/ 3‬‬ ‫‪2 / 3 2 / 3‬‬
‫‪0 0 0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0 ‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪9‬‬ ‫כל הזכויות שמורות‬


‫מכללת אורות ישראל רחובות‬ ‫אלגברה לינארית א'‬ ‫בסייעתא דשמיא‬
‫דירוג של גאוס‬ ‫שיעור ‪1‬‬ ‫הקדמה‬
‫דירוג של גאוס‪-‬יורדן‬ ‫מושגי יסוד‬
‫פעולות שורה אלמנטריות‬

‫זאת מטריצה קנונית כאשר העמודות מספרי ‪ 3‬ו‪ 5-‬הן חופשיות‪ ,‬משמע שהנעלמים ‪ x3‬ו‪ x5 -‬הם‬
‫חופשיים ושאר הנעלמים תלויים בהם‪ .‬נתרגם את המטריצה הקנונית למשוואות‪ ,‬ונתחיל בשורה‬
‫התחתונה‪ . x4  0 :‬נעבור לשורה השנייה נבודד‪. x2   x3  23 x5  23  x2  x3  13 x4  32 x5  32 :‬‬
‫לבסוף נעבור לשורה העליונה ונבודד‪ , x1   x3  x5  2  x1  x3  x5  2 :‬והפתרון הוא‪:‬‬
‫‪( x1   x3  x5  2, x2   x3  23 x5  23 , x4  0‬כאשר ‪ x3‬ו‪ x5 -‬הם חופשיים)‪ .‬נוהגים לסמן את‬
‫הנעלמים החופשיים על ידי האותיות ‪ s‬ו‪( t -‬וכן הלאה באלף בית הלטיני)‪ ,‬ואז הפתרון מקבל את‬
‫צּורה הַ פ ַָרמֶ ְט ִרית" ‪. x5  t , x4  0 , x3  s , x2   s  23 t  23 , x1   s  t  2‬‬
‫"הַ ָ‬

‫תרגילים להגשה‬
‫פתור את המערכות הלינאריות לקמן‪.‬‬
‫ה‪ 7 x  4 y  6 .‬‬ ‫ג‪8 y  3z  5 .‬‬ ‫א‪ 9 x  6 y  3 .‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ x  6y  2‬‬ ‫‪ x  2 y  8‬‬ ‫‪3x  2 y  1‬‬
‫‪3x  9 y  3‬‬ ‫ו‪.‬‬ ‫ד‪ 3x  y  5 .‬‬ ‫ב‪ 6 x  8 y  16 .‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 7 x  y  8‬‬ ‫‪8 x  4 y  5‬‬ ‫‪5 x  4 y  8‬‬
‫‪  x1  x2  2 x3  x5  1‬‬ ‫י‪.‬‬ ‫ז‪8 x1  4 x3  8 x4  8 .‬‬
‫‪‬‬ ‫‪‬‬
‫‪2 x1  x2  3x3  2 x4  4‬‬ ‫‪ 4 x1  x3  8 x4  6‬‬
‫‪ x  2 x  x  x  3‬‬ ‫‪ x  6x  x  9‬‬
‫‪ 1‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪ 2‬‬ ‫‪3‬‬ ‫‪4‬‬

‫‪‬‬ ‫יא‪4 x  8 y  12 .‬‬ ‫ח‪ 7 x  y  5 z  1 .‬‬


‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪3y  z  1‬‬ ‫‪3 x  2 y  7 z  2‬‬
‫‪2 x  8 y  6 z  4‬‬ ‫‪ 5x  2 y  z  2‬‬
‫‪‬‬ ‫‪‬‬
‫‪4 x1  3x2  x3  2 x4‬‬ ‫‪5‬‬ ‫יב‪.‬‬ ‫ט‪9 x  9 z  5 .‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 2 x1  3x2  x3  x4‬‬ ‫‪ 4‬‬ ‫‪ 3 y  z  3‬‬
‫‪‬‬ ‫‪ x  2y  3‬‬
‫‪‬‬ ‫‪x1  x3  2 x4‬‬ ‫‪4‬‬ ‫‪‬‬
‫‪‬‬ ‫‪4 x1  6 x5  8 x6‬‬ ‫טז‪ 2 .‬‬ ‫‪‬‬ ‫‪4 x1  8 x3‬‬ ‫‪4‬‬ ‫יג‪.‬‬
‫‪‬‬ ‫‪2 x2  4 x4  6 x6‬‬ ‫‪ 4‬‬ ‫‪‬‬ ‫‪2 x2  x3  2 x4‬‬ ‫‪0‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪3x1  6 x2  2 x3  3x4‬‬ ‫‪2‬‬ ‫‪‬‬ ‫‪2 x1  5 x4‬‬ ‫‪3‬‬
‫‪‬‬ ‫‪3x2  x4  3 x5‬‬ ‫‪0‬‬ ‫‪3x1  x2  2 x3  x4‬‬ ‫‪ 3‬‬
‫‪ x1  x2  x3‬‬ ‫יז‪ 1 .‬‬ ‫יד‪ 2 x1  8 x3  2 x4  0 .‬‬
‫‪x  x  x‬‬ ‫‪8 x  4 x  8 x  16‬‬
‫‪ 2 3 4‬‬ ‫‪2‬‬ ‫‪ 2‬‬ ‫‪3‬‬ ‫‪4‬‬
‫‪‬‬ ‫‪‬‬
‫‪ x1  x3  x4‬‬ ‫‪3‬‬ ‫‪‬‬ ‫‪x‬‬‫‪1‬‬ ‫‪‬‬ ‫‪3‬‬ ‫‪x‬‬‫‪3  4‬‬

‫‪ x1  x2  x4‬‬ ‫‪4‬‬ ‫‪‬‬


‫‪‬‬ ‫‪5 x1  x4  0‬‬
‫‪‬‬ ‫טו‪x1  3x2  2 x3  4 x4  1 .‬‬
‫‪5 x  2 x  7 x  14 x  12‬‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬
‫‪‬‬
‫‪‬‬ ‫‪2 x1  2 x3  4 x4  4‬‬
‫‪‬‬ ‫‪x2  x3  2 x4  1‬‬

‫© ד"ר רוני בן‪-‬דוד‬ ‫‪10‬‬ ‫כל הזכויות שמורות‬

You might also like