מחלק משותף מקסימלי

בתורת המספרים, מחלק משותף מרבי  (או מחלק משותף גדול ביותר, ממג"ב; וכן gcd קיצור של Greatest Common Divisor) של שני מספרים שלמים הוא המספר השלם הגדול ביותר שמחלק את שניהם ללא שארית. למשל, המחלק המשותף המרבי של 12 ו־18 הוא 6. במושג זה, שהוא אבן פינה בתורת המספרים האלמנטרית, עסק כבר אוקלידס, שאף כלל בספרו "יסודות" את אלגוריתם אוקלידס לחישוב המחלק המשותף המרבי.

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

מקובל לסמן את המחלק המשותף המרבי של שני מספרים  בסימון , או בקיצור .

שני מספרים שהמחלק המשותף המרבי שלהם הוא 1 (כדוגמת 9 ו-14) נקראים מספרים זרים או "ראשוניים הדדית".

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

תכונות המחלק המשותף המרבי 

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

 חישוב המחלק המשותף המרבי 

את המחלק המשותף המרבי של שני מספרים אפשר לחשב בנקל מתוך הפירוק לגורמים שלהם; כך לדוגמה המחלק המשותף המרבי של 495 ו-525 הוא 15, לפי החישוב:

.

עם זאת, מציאת הפירוק לגורמים היא בעיה קשה, והרבה יותר קל מבחינה חישובית למצוא את המחלק המשותף המרבי ישירות, ללא חישוב הגורמים הראשוניים.

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

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

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

דוגמה
המחלק המשותף המרבי של 1071 ו־1029 הוא 21. נראה זאת באמצעות האלגוריתם האוקלידי:

 a  b q r 1071 1029 1 42 1029 42 24 21 42 21 2 0 21 0  

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

ניתן לסכם את האמור לעיל באלגוריתם הבא:

Extended_GCD(a,b)
1. if b == 0 return [a,1,0]
2. q = a/b, r = a%b
3. [d,m,n]=Extended_GCD(b,r)
4. return [d,n,m-qn]

יעילות האלגוריתם זהה בסדר הגודל שלה ליעילות האלגוריתם הפשוט; מספר האיטרציות שמבצע האלגוריתם נותר זהה, ולכל איטרציה התווספו רק חישובים בסיסיים (מציאת q, חישוב m-qn).

מחלק משותף מרבי בתחומי שלמות

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

ישנן הגדרות חזקות יותר: 
  איבר  הוא מחלק משותף מרבי מוחלט של  אם . 
  איבר  הוא מחלק משותף מרבי חזק של  אם  האידיאל  הוא חיתוך האידיאלים השבריים הראשיים המכילים את האידיאל  (בכתיב של פעולת-v (ע"ע תחום שלמות), זה שקול לכך ש-). תנאי זה שקול גם לכך ש-ab/d הוא ה-lcm של a,b. 
 בשפה זו, איבר  הוא מחלק משותף מרבי של  אם  האידיאל  הוא חיתוך האידיאלים הראשיים המכילים את האידיאל . תנאי זה שקול גם לכך ש-ab/d הוא ה-lcm של a,b. 

אם d הוא ממ"מ מוחלט של a,b, אז הוא גם ממ"מ חזק; ואם d הוא ממ"מ חזק של a,b, אז הוא גם ממ"מ. הכיוונים ההפוכים אינם נכונים.
ל-a,b יש ממ"מ חזק אם ורק אם לכל ac,bc יש ממ"מ.

תחום שלמות שבו יש ממ"מ מוחלט לכל שני איברים נקרא תחום ראשי.
תחום שלמות שבו יש ממ"מ לכל שני איברים נקרא תחום gcd; לדוגמה, כל תחום פריקות יחידה הוא תחום gcd.

בהתאמה לשלושת סוגי הממ"מ, 
 אומרים ש-a,b זרים אם הממ"מ שלהם הוא 1 (זה שקול לכך שאין להם מחלק משותף לא הפיך); 
 שהם זרים חזק אם הממ"מ החזק שלהם הוא R; 
 ושהם זרים באופן מוחלט (או קו-מקסימליים) אם הממ"מ המוחלט שלהם הוא R. 
מ-a|bc נובע a|c אם ורק אם אם a,b זרים חזק.

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

כלי להדגמת רקורסיה
פונקציה המממשת את האלגוריתם של אוקלידס בצורה רקורסיבית משמשת לעיתים קרובות כדי להדגים את העוצמה של שימוש ברקורסיה בתכנות. הפונקציה הבאה שמחשבת gcd מפתיעה בפשטותה, בזכות השימוש ברקורסיה. התחביר מתאים למספר שפות קרובות, ביניהן C ו-Java. ניתן לכתוב פונקציה דומה בכל שפה שתומכת ברקורסיה.
int gcd(int a, int b) {
    if (b==0) return (a);
    else return gcd(b, a % b);
}

ראו גם
 כפולה משותפת מינימלית

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

 מחשב מחלק משותף מקסימלי


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