נוסחת אוילר (תורת הגרפים)

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

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

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

כאשר  הוא מספר רכיבי הקשירות.

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

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

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

יהי פאון אשר פאה אחת שלו מופנית כלפי מעלה. נסיר פאה זו כך שהקודקודים והמקצועות הסמוכים לו נשארים במקום וכעת יש לנו "קופסה" פתוחה. נמתח את הקופסה הפתוחה ככה שהקודקודים בפתח הפאון יקיפו (על משטח דו־ממדי) את כל שאר הקודקודים ובכך יצרנו גרף של קודקודים ומקצועות (בעצם, מקצועותיו של הפיאון הן הקשתות של הגרף) ולכן גם שטח בין קשתות אלו (כלומר האזורים שהיו הפיאות של הפאון) נוצר גם הוא. לשטחים הללו נקרא שטחי הגרף (להלן איור א'). לכל שטח הכלוא בין קשתות נקרא שטח גרף פנימי. לאזור שמחוץ לגרף נקרא שטח גרף חיצוני. נתייחס לשטח האחרון כפאה שהסרנו בהתחלה. ביצירת גרף אין אנחנו מסירים או מוסיפים ישר או קודקוד ולכן מספר הקודקודים  בגרף, (vertices), זהה למספר הקודקודים של הפאון. כמו כן מספר הקשתות , (edges), זהה גם הוא. נסמן , (face), את מספר השטחים הכלואים בין ישרים בגרף + שטח הגרף החיצוני. סכום שטחים אלה זהה לסכום פיאות הפאון (להלן איור ב').ממוזער|245x245 פיקסלים|(ב') רשת קודקודים, ישרים ושטחים עבור מקרה של קובייה.

 המרת הגרף 
3 צעדים יבוצעו על הגרף שלנו:

 אם לשטח גרף פנימי יש יותר מ3 צדדים, נעביר מיתר מקודקוד מסוים לקודקוד שאינו מחובר אליו כבר בקשת (להלן איור ג'). נבחין כי עבור צעד בודד מספר הקודקודים לא השתנה, התווספו שטח אחד וקשת אחת. לכן   והביטוי לא השתנה.ממוזער|246x246 פיקסלים|(ג') המחשת תהליך שלב 1 עד להשגת הרשת מורכבת ממשולשים.
 כעת אם לאחד המשולשים קיימת קשת משותפת עם שטח הגרף החיצוני, אז נסיר אותו. נבחין כי עבור צעד בודד מספר הקודקודים לא השתנה, החסרנו שטח אחד והחסרנו קשת אחת. לכן   והביטוי לא השתנה.
 כעת אם לאחד המשולשים יש שתי קשתות משותפות לשטח הגרף החיצוני, נסיר אותו. נבחין כי עבור צעד אחד החסרנו קודקוד אחד, שטח אחד ושתי קשתות.  לכן  והביטוי לא השתנה.

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

ממוזער|250x250 פיקסלים|(ד') המחשה של צעדים 2 ו3 מבוצעים. כאשר צעד 3 אפשרי, הוא יבוצע שוב ושוב עד להשגת משולש בודד.

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

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

 ראו גם 

 מאפיין אוילר של משטח

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



אביגייל קירק, Euler's polyhedron formula,  באתר "Plus" ביוני 2007

אוילר
קטגוריה:לאונרד אוילר