כלל סארוס

באלגברה ליניארית, כלל סַארוּס (באנגלית: Rule of Sarrus) הוא שיטה פשוטה ושימושית לזכור ולחשב את הדטרמיננטה של מטריצה ריבועית מסדר . הכלל קרוי על שם המתמטיקאי הצרפתי פייר פרדריק סארוס , אשר הציג אותו בשנת 1833.

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

 תיאור הכלל 
עבור מטריצה  מסדר :

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

באופן פורמלי:

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

 דוגמה מספרית 
תהי המטריצה :

לפי כלל סארוס, נבצע את החישוב הבא:
 אלכסונים "חיוביים" (משמאל למעלה לימין למטה):



 סכום: 

 אלכסונים "שליליים" (משמאל למטה לימין למעלה):



 סכום: 

הדטרמיננטה היא ההפרש בין הסכומים:

תוצאה זו צפויה, שכן השורות במטריצה זו תלויות ליניארית (השורה השנייה היא ממוצע של הראשונה והשלישית), ולכן המטריצה אינה הפיכה.

 הוכחה 
ההוכחה לכך שכלל סארוס מניב את ערך הדטרמיננטה נובעת ישירות מההגדרה הכללית של הדטרמיננטה (נוסחת לייבניץ):

כאשר , חבורת התמורות  כוללת  תמורות. נמיין אותן לפי הזוגיות שלהן:

 תמורות זוגיות (סימן )
 הזהות  נותנת את האיבר  (האלכסון הראשי).
 המחזור  נותן את האיבר .
 המחזור  נותן את האיבר .
אלו בדיוק שלושת האלכסונים ה"יורדים" בשיטת סארוס.

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

מכאן שסכימת האלכסונים בשיטה זו מכסה בדיוק את כל איברי הדטרמיננטה עם הסימנים המתאימים.

 הכללות ומגבלות 

תבנית דומה, המבוססת על אלכסונים, מתקיימת עבור מטריצות מסדר :

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

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

באופן כללי, מספר המחוברים נוסחת לייבניץ לחישוב דטרמיננטה של מטריצה  הוא  (עצרת).
 עבור , ישנם  מחוברים, וכלל סארוס מספק בדיוק 6 אלכסונים (3 חיוביים ו-3 שליליים).
 עבור , ישנם  מחוברים. שיטת אלכסונים נאיבית תניב רק 8 מחוברים (4 יורדים ו-4 עולים), ולכן היא שגויה מיסודה.

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

 ראו גם 
 דטרמיננטה
 מטריצה ריבועית
 נוסחת לייבניץ לדטרמיננטות

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


 סרטון הסבר על כלל סארוס באתר Khan Academy

קטגוריה:אלגברה ליניארית
קטגוריה:מטריצות
קטגוריה:כללי אצבע