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

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

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

האיבר ה-n-י בסדרת המסעדן העצל הוא אחד ועוד המספר המשולשי ה-n-י, ולכן העמודה השלישית במשולש ברנוליתבנית:ביאור () מייצגת סדרה זו עבור .
בנוסף ניתן לקבל את הסדרה מסכום שלושת האיברים הראשונים בכל שורה במשולש פסקל, או האיבר הראשון בכל שורה במשולש פלויד תבנית:אנ.תבנית:ביאור ההפרש בין האיבר ה-n-י בסדרה לבין האיבר שלפניו הוא n.
לפיכך, סדרה זו (תבנית:OEIS), המתחילה ב-, היא:
1, 2, 4, 7, 11, 16, 22, 29, 37, 46, 56, 67, 79, 92, 106, 121, 137, 154, 172, 191, 211...
המקבילה התלת־ממדית של בעיית המסעדן העצלן היא מספרי העוגה תבנית:אנ, בה ההפרש בין האיבר ה-n-י לבין האיבר שלפניו הוא המספר ה-n בסדרת המסעדן העצלן.
הוכחה

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