הצגת המקור של הדף "משפט ז'יראר"

ב[[טריגונומטריה ספירית]], '''משפט ז'יראר''' (ב[[אנגלית]]: Girard's theorem) קובע שסכום הזוויות של משולש [[מסילה גאודזית|גיאודטי]] על [[כדור (גאומטריה)|כדור]] סוטה מ-<math>\pi</math> סטייה חיובית שערכה פרופורציונלי לשטח המשולש <math>A/r^2</math>, או, בניסוח שקול: <math>(\alpha + \beta + \gamma - \pi)r^2 = A</math>, כאשר r הוא [[רדיוס]] הכדור. את המשפט, שהוא המקרה הלא-טריוויאלי הפשוט ביותר של [[משפט גאוס-בונה]], גילה והוכיח המתמטיקאי הצרפתי [[אלבר ז'יראר]].

== הוכחת המשפט ==
[[קובץ:Sftriangle.png|שמאל|250px|ממוזער|שלושת המעגלים הגדולים מחלקים את הכדור לשלושה זוגות של סהרונים.]]

הרעיון המרכזי של ההוכחה הוא להסתכל בהשלמה של המשולש הספירי, כלומר להסתכל לא רק על קשתות ה[[מעגל גדול|מעגלים הגדולים]] שמהוות את צלעות המשולש, אלא על כל ההיקף שלהם, כמומחש באיור. ניתן לראות שכל שני מעגלים גדולים נפגשים בשתי [[נקודות אנטיפודיות]], ולכן יוצרים זוג של "רצועות כדוריות", אותם נכנה סהרונים (lunes). סהרונים אלו חופפים בחלקם, כאשר אזורי החפיפה הם שני העותקים של המשולש הכדורי. מיישום [[עקרון ההכלה וההפרדה]] לצורך חישוב שטח ניתן לקבל איפוא ששטח הכדור <math>4\pi r^2</math> שווה לסכום שטחי שלושת זוגות הסהרונים פחות ארבע פעמים שטח המשולש הכדורי. הסיבה לכך היא שכל סהרון מכיל את שטח המשולש הכדורי, בעוד יש שני משולשים כדוריים בלבד, לכן ספרנו את השטח A של המשולש הכדורי 6 פעמים כאשר יש למנות אותו פעמיים בלבד, ומכאן מגיע המחוסר 4A. כיוון שזווית הפתיחה של כל סהרון היא אחת מהזוויות הקודקודיות של המשולש הכדורי <math>\alpha ,\beta ,\gamma</math>, ניתן לקבל ששטח הסהרון פרופורציונלי לזווית הקודקודית שמתאימה לו ושווה במדויק ל-: <math>\frac {{\theta}}{{2\pi}}\cdot 4\pi r^2 = 2\theta r^2</math>. מהצבת כל הקשרים האלו נקבל:

<math>4(\alpha + \beta + \gamma)r^2 - 4A = 4\pi r^2</math>

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

<math>A = (\alpha + \beta + \gamma - \pi)r^2</math>

'''מ.ש.ל'''

== יישום משפט ז'יראר למיון פאונים משוכללים ==
[[File:Soccer ball.svg|thumb|left|ריצוף של כדורגל על ידי מחומשים כדוריים משוכללים.]]
ניתן להיעזר במשפט ז'יראר למתן הוכחה שאינה נעזרת ב[[נוסחת אוילר (תורת הגרפים)|נוסחת אוילר בתורת הגרפים]] לעובדה שקיימים רק 5 [[פאון משוכלל|פאונים משוכללים]] בשלושה ממדים. פאון משוכלל הוא פאון שכל פאותיו הן [[מצולע משוכלל|מצולעים משוכללים]] חופפים כך שבכל קודקוד שלו נפגשות מספר שווה של פאות. 

'''הוכחה''': מטעמי סימטריה ניתן לחסום כל פאון משוכלל בכדור (מרכז הכדור החוסם הוא גם מרכז הכובד של הפאון). אם נבצע [[הטלה גנומונית]] של צלעות הפאון ממרכז הכדור החוסם אל פני הכדור, אז תחת ההטלה כל צלע של הפאון תהפוך לקשת של [[מעגל גדול]], ולכן נקבל ריצוף של [[ספירה (גאומטריה)|הספירה הדו-ממדית]] (פני הכדור החוסם) על ידי מצולעים כדוריים משוכללים חופפים. אם מספר הפאות של הפאון המשוכלל הוא <math>f</math> וכל פאה היא מצולע משוכלל בעל <math>n</math> צלעות, אז שטח כל מצולע כדורי כזה הוא <math>A=\frac{4\pi r^2}{f}</math>. משפט ז'יראר המקורי אמנם נוסח למשולשים כדוריים, אולם בעזרת [[טריאנגולציה]] ניתן להראות שסכום זוויותיו של כל מצולע כדורי בעל ''n'' צלעות עולה על סכום זוויותיו של מצולע מישורי בן ''n'' צלעות לפי הכלל:

:<math>\sum_{k=1}^n \alpha_k - (n-2)\pi = \frac{A}{r^2}</math>

מכיוון שכל מצולע כדורי כזה הוא גם מצולע משוכלל, כל הזוויות <math>\alpha_k</math> שוות זו לזו, ולכן נקבל שזוויותיו הן:

:<math>\alpha_k = \frac{4\pi}{fn} + \frac{(n-2)\pi}{n}</math>

מצולעים כדוריים זהים כאלה יכולים לרצף את פני הספירה רק אם הזווית הפנימית שלהן היא מהצורה <math>\alpha_k = \frac{2\pi}{m}</math> כאשר ''m'' [[מספר טבעי]] כלשהו המייצג את מספר הפאות הנפגשות בכל קודקוד. לאחר מספר פישוטים אלגבריים נקבל את [[משוואה דיופנטית|המשוואה הדיופנטית]]:

: <math>\frac{m-2}{2m}=\frac{f-2}{fn}</math>

מכיוון שמספר הצלעות המינימלי בפאה כלשהי הוא 3 (כלומר <math>n\ge 3</math>), מספר הפאות המינימלי של פאון תלת-ממדי הוא 4 (כלומר <math>f\ge 4</math>) ומספר הפאות הנפגשות בכל קודקוד הוא לכל הפחות 3 (כלומר <math>m\ge 3</math>), השבר באגף שמאל תמיד גדול או שווה מ- <math>\frac{1}{3}</math> כאשר <math>m\ge 6</math> בעוד שהשבר באגף ימין תמיד קטן מ-<math>\frac{1}{3}</math>. לפיכך פתרון ייתכן רק עבור <math>m = 3,4,5</math>. בדיקה מדוקדקת של שלושת המקרים מגלה פתרונות עבור:

* [[ארבעון משוכלל]] (<math>m = 3,n=3,f=4</math>)
* [[קובייה]] (<math>m = 3,n=4,f=6</math>)
* [[תמניון משוכלל]] (<math>m = 4,n=3,f=8</math>)
* [[תריסרון משוכלל]] (<math>m = 3,n=5,f=12</math>)
* [[עשרימון משוכלל]] (<math>m = 5,n=3,f=20</math>)

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

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