מתמטיקה תיכונית/אלגברה תיכונית/קומבינטוריקה/תמורות/תמורות במעגלים

ההבדל בין תמורות על ישר למעגל

עריכה

עד כה דנו בתמורות של איברים הנמצאים בשורה. עתה נדון על תמורות במעגלים.

כאשר יש לו 3 איברים שונים ניתן לסדר אותן בשורה   אפשרויות.

במעגל קיימות לנו רק שתי אפשרויות:

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

תמורות במעגל

עריכה

הגדרה 1: תמורה על   איברים במעגל היא  


הוכחה

עריכה

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

  • אבג, בגא, גאב.

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

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

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

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


דוגמות

עריכה

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