Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
משפט המספרים המחומשים הוא משפט הקובע את הפיתוח לטור של המכפלה האינסופית .
נסמן ב- את המספר המחומש המוכלל ה-n-י. משפט המספרים המחומשים קובע את הזהות המפתיעה:
כלומר,
השוויון הוא שוויון בין טורי חזקות פורמליים, והוא מתכנס לכל .
התיעוד הראשון של המשפט מופיע בהתכתבות בין לאונרד אוילר לדניאל ברנולי מ-1741. אוילר נתן הוכחה מלאה למשפט במכתב לכריסטיאן גולדבך ב-1750.
השימוש העיקרי במשפט הוא להוכחת נוסחאות נסיגה לפונקציית המחלקים ולפונקציית החלוקה.
ההוכחה המקורית של אוילר היא דרך מניפולציות אלגבריות. נביא כאן הוכחה קומבינטורית יותר באופיה.
ראשית נגדיר מינוח שימושי. חלוקה של מספר שלם היא הצגה שלו כסכום של מספרים טבעיים. שתי חלוקות הן זהות אם ההבדל היחיד ביניהן הוא סדר המחוברים. חלוקה נבדלת היא חלוקה שבה כל המחוברים שונים זה מזה. למשל החלוקות הנבדלות של 8 הן: 1+2+5, 1+3+4, 1+7, 2+6, 3+5, 8. חלוקה נבדלת תקרא חלוקה זוגית או חלוקה אי-זוגית אם מספר המחוברים בה הוא זוגי או אי-זוגי בהתאמה (זהו אינו השימוש המקובל במינוחים אלו). נשים לב כי ל-8 יש מספר זהה של חלוקות זוגיות ואי-זוגיות. עובדה זו אינה מקרית, כפי שיוסבר בהמשך.
נגדיר את הטור הפורמלי:
מפתיחת סוגריים באגף ימין נקבל:
המקדמים של הם 1 לכל חלוקה זוגית של n ו--1 לכל חלוקה אי-זוגית של n. כלומר שווה למספר החלוקות הזוגיות של n פחות מספר החלוקות האי-זוגיות.
כדי לסיים את הוכחת המשפט נותר להראות ש- רק כאשר n מספר מחומש, ואז הוא שווה 1 או -1 בהתאמה. לשם כך עלינו להוכיח, שלמעט במקרה המחומש, מספר החלוקות הזוגיות של מספר תמיד שווה למספר החלוקות האי-זוגיות שלו.
נגדיר פונקציה על קבוצת החלוקות הנבדלות של מספר באופן הבא: בהינתן חלוקה נבדלת, נסמן את המחובר הקטן ביותר בה ב-m. כעת:
קל לראות שפונקציה זו היא אינוולוציה, הפעלתה פעמיים מחזירה את החלוקה המקורית. כמו כן קל לראות שהפעלתה על חלוקה זוגית מחזירה חלוקה אי-זוגית ולהפך. מכאן שמדובר בהתאמה חד-חד-ערכית ועל בין קבוצת החלוקות הזוגיות לקבוצת החלוקות האי-זוגיות של מספר נתון והן שוות, זאת למעט מקרה קצה בו הפונקציה נכשלת. למשל במקרה של 8 הפונקציה מתאימה את הזוגות:
לכן, .
ישנם שני מקרי קצה אפשריים שבהם הפונקציה נכשלת:
כל מספר מחומש הוא מהצורה או ל-m שלם חיובי ולכן ההוכחה הושלמה.
פונקציית החלוקה סופרת את מספר הדרכים השונות לחלק את המספר כסכום של טבעיים. אין נוסחה סגורה ישירה לחישוב .
משפט המספרים המחומשים מאפשר לחשב את באמצעות נוסחת נסיגה. אוילר הוכיח שהפונקציה היוצרת של פונקציית החלוקה היא:
נסמן:
אזי:
מכאן של-n חיובי . אולם אם נחשב אותו ישירות מן ההגדרה נקבל:
ולאחר בידוד המחובר והעברת אגפים מקבלים:
זהו סכום סופי, שכן (סכום ריק), ולכל k שלילי .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.