משפט ז'יראר

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

 הוכחת המשפט 
שמאל|250px|ממוזער|שלושת המעגלים הגדולים מחלקים את הכדור לשלושה זוגות של סהרונים.

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

ומצמצום ב-4 והעברת אגפים נקבל את התוצאה המבוקשת:

מ.ש.ל

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

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

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

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



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

 ארבעון משוכלל ()
 קובייה ()
 תמניון משוכלל ()
 תריסרון משוכלל ()
 עשרימון משוכלל ()

 ראו גם 
 טריגונומטריה ספירית
 משפט גאוס-בונה

קטגוריה:טריגונומטריה