סדרת המסעדן העצלן

סדרת המסעדן העצלן (באנגלית: Lazy caterer's sequence) או המספרים המצולעיים המרכזיים (באנגלית: Central polygonal numbers) מתארים את המספר המרבי של חתיכות של מעגל שניתן ליצור עם מספר נתון של חיתוכים ישרים. לדוגמה, שלושה חיתוכים של מעגל ייצרו שש חתיכות אם כולם נפגשים בנקודה מסוימת בתוכו, אך שבע אם לא.

הבעיה מתוארת בסיפור על מסעדן עצלן שרוצה ליצור כמה שיותר חתיכות מפיצה או פנקייק על ידי n חיתוכים ישרים.

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

 הסדרה ונוסחה 
ממוזער|מספר החתיכות המקסימלי (p) שניתן לקבל מ-n חיתוכים ישרים היא המספר המשולשי ה-n-י ועוד אחד (OEIS A000124)

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

ממוזער|סדרת המסעדן העצלן (בירוק) וסדרות סידור על-מישורים נוספות עם סימון OEIS במשולש ברנולי 

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

בנוסף ניתן לקבל את הסדרה מסכום שלושת האיברים הראשונים בכל שורה במשולש פסקל, או האיבר הראשון בכל שורה במשולש פלויד . ההפרש בין האיבר ה-n-י בסדרה לבין האיבר שלפניו הוא n.

לפיכך, סדרה זו (), המתחילה ב-, היא:

1, 2, 4, 7, 11, 16, 22, 29, 37, 46, 56, 67, 79, 92, 106, 121, 137, 154, 172, 191, 211...

המקבילה התלת־ממדית של בעיית המסעדן העצלן היא מספרי העוגה , בה ההפרש בין האיבר ה-n-י לבין האיבר שלפניו הוא המספר ה-n בסדרת המסעדן העצלן.

 הוכחה 
ממוזער|GIF המתאר את החיתוכים העוקבים של סדרת המסעדן העצלן.
נסמן ב- את מספר הפרוסות המרבי שנוצר מ- חיתוכים ישרים.

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

נוסחת נסיגה זו ניתנת לפתירה. אם נרחיב את  לפי נוסחה זו נקבל 

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

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

.

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



 ביאורים 

קטגוריה:הוכחות
קטגוריה:סדרות של שלמים
קטגוריה:אופטימיזציה מתמטית