מקדם בינומי

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

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

הגדרה מתמטית

לכל נגדיר:

כאשר פונקציית העצרת.

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

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

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

כמו כן,

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

משולש פסקל

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

עם תנאי ההתחלה

הבינום של ניוטון

הבינום של ניוטון הוא נוסחה לפיתוח סכום של שני אברים:

מקרה פרטי של הנוסחה הוא

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

זהויות עם מקדמים בינומיים

1.
הוכחה: אם ניעזר בנוסחה המפורשת, נקבל . אם נסתכל על הזהות באופן קומבינטורי, בחירת אברים מתוך היא כמו בחירת האברים שלא נבחרו.
2.
הוכחה: ראו בפסקה הקודמת.
3.
הוכחה: על האבר הכללי של הטור ניתן לומר שהוא מכפלת מספר תת־הקבוצות בגודל בגודל תת־הקבוצה, וניתן לפרש אותו באופן קומבינטורי גם כמכפלת מספר האברים בסך הפעמים שכל אבר נבחר כאשר מציינים את כל תת־הקבוצות בגודל (כלומר ). כיוון שכך, סכום הטור שווה למכפלת מספר האברים במספר הפעמים שכל אבר נבחר כאשר מספחים לו תת־קבוצה מתוך קבוצה בגודל (כלומר יש לכפול בגודל קבוצת החזקה של קבוצה בגודל ), כלומר .
4.
הוכחה: נחלק קבוצה בגודל לשתי תת־קבוצות בגודל . מספר האפשרויות לבחור ממנה קבוצה בגודל שווה לסכום של מכפלות מספר האפשרויות לבחור קבוצה בגודל מתת־הקבוצה הראשונה () במספר האפשרויות לבחור קבוצה בגודל מתת־הקבוצה השנייה (), כאשר הסכימה עוברת על פני כל הערכים של מ־0 ל־. מכאן נקבל:
זהות זו היא מקרה פרטי של זהות ונדרמונד הכללית יותר: , שניתן להסיק אותה באופן זהה לגמרי – במקרה הכללי מחלקים קבוצה בעלת אברים לשתי תת־קבוצות של ו־ אברים. מספר תת־הקבוצות עם אברים (אגף ימין) שווה לסכום באגף שמאל ( ו־ הם מספר האברים שנבחרים מכל תת־קבוצה, בהתאמה).

הכללה

עבור מספרים ממשיים, המקדם ניתן להגדרה ללא פעולת העצרת על ידי:

באופן דומה, הגדרה זו מאפשרת להגדיר את הבינום של ניוטון כאשר המעריך אינו מספר טבעי

ראו גם

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

ראו מדיה וקבצים בנושא זה בוויקישיתוף.

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.