מספרים חברותיים

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

דוגמה לשרשרת באורך 5:
 

שרשרת זו, כמו-גם השרשרת באורך 28, נתגלו בשנת 1918 בידי פ. פולה ללא כלים אנליטיים אלא באמצעות חישוב ידני, והן השרשרות הראשונות שנתגלו שאורכן גדול מ-2. עד היום לא ידועה נוסחה אנליטית לחיזוי מספרים חברותיים, ואלו שנמצאו לאחר שתי הדוגמאות הראשונות של פולה נתגלו באמצעות מחשב.

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

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

השרשרת שאורכה 28 מכילה את המספרים:
14316, 19116, 31704, 47616, 83328, 177792, 295488, 629072, 589786, 294896, 358336, 418904, 366556, 274924, 275444, 243760, 376736, 381028, 285778, 152990, 122410, 97946, 48976, 45946, 22976, 22744, 19916, ו-17716.

שרשרת באורך 4 נתגלתה לראשונה בשנת 1969. מאז התגלו שרשרות רבות נוספות באותו אורך, אך לא ידועה אף שרשרת באורך 3. עובדה זאת מעלה תהיות שעדיין לא נפתרו: האם ישנן שרשרות כאלו בכל אורך שהוא, או שעבור אורכים מסוימים אין אף שרשרת? וגם להפך, האם לכל אורך או לפחות עבור אורכים מסוימים, ישנן אינסוף שרשרות כאלו?

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

שאלה פתוחה נוספת מתייחסת לזוגיות: בכל השרשרות הידועות, הזוגיות זהה לכל המספרים בשרשרת, כלומר, או שכולם זוגיים או שכולם לא זוגיים. האם קיימת שרשרת המכילה גם מספרים זוגיים וגם מספרים לא-זוגיים?

ראו גם
 סדרות מחלקים

לקריאה נוספת
 P. Poulet, #4865, L'intermediare des math. 25 (1918), pp. 100-101.

קישורים חיצוניים
 טבלת החברותיים/ידידים/משוכללים (באנגלית, מעודכנת רק עד: 1/10/2007) בשורה הראשונה משמאל לימין: 1) ידידים. 2) חברותיים מסדר 4. 3) חברותיים מעל סדר 4. 4) משוכללים.
 רשימת המספרים החברותיים בלבד מעודכנת יותר

הערות שוליים

חברותיים
שעשועי מתמטיקה
בעיות פתוחות בתורת המספרים