הצגת המקור של הדף "משפט לקסל"

[[File:Lexell's theorem.png|thumb|upright=1.25|המשולשים הכדוריים הכתומים ''ABC'' חולקים בסיס משותף ''AB'' ויש להם אותו שטח. המקום הגאומטרי של הקודקוד המשתנה שלהם ''C'' הוא מעגל קטן (בירוק מקווקו) העובר דרך הנקודות האנטיפודיות ל-''A'' ו-''B''.]]

ב[[גאומטריה כדורית]], '''משפט לקסל''' (ב[[אנגלית]]: Lexell's theorem) הוא תוצאה המאפיינת את ה[[מקום גאומטרי|מקום הגאומטרי]] של קודקודי כל המשולשים הכדוריים בעלי בסיס ו[[שטח]] קבועים. המשפט נקרא על שם המתמטיקאי הפיני-שוודי [[אנדרס יוהאן לקסל]] שפעל ב[[האימפריה הרוסית|רוסיה]], מחשובי מפתחי הטריגונומטריה והגאומטריה הכדורית ב[[המאה ה-18|מאה ה-18]].

לקסל הציג את המשפט שלו כדוגמה לטענה לא טריוויאלית על עקומים על גבי ספירה דו-ממדית (טענה על מקום גאומטרי), האנלוגית באופן חלקי לטענות 37 ו-39 בספר הראשון של [[יסודות (ספר)|יסודות]] של [[אוקלידס]]. ב[[גאומטריה אוקלידית]] דו-ממדית (מישורית), בהינתן צלע אחת (נניח ''AB'') של משולש, המקום הגאומטרי של כל הנקודות ''C'' כך שלמשולש ''ABC'' יהיה שטח השווה לערך נתון מסוים הוא זוג ישרים המקבילים לצלע הבסיס (''AB''), והנמצאים במרחק ממנה הנקבע על פי היחס בין שטח המשולש לאורכה. משפט לקסל מספק את התשובה לשאלה הזהה עבור המקרה של משולשים כדורים; במקרה זה, המקום הגאומטרי של ''C'' יהיה מעגל קטן מסוים, שאינו מצוי במרחק קבוע מן [[מעגל גדול|המעגל הגדול]] שעליו מונחת צלע הבסיס.

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

== ניסוח ==
[[File:Area of a spherical triangle via Lexell circles.png|thumb|upleft=1.25|נוסחה לשטחם של משולשים כדוריים האנלוגית לנוסחה למשולשים מישוריים.]]
בהינתן בסיס קבוע <math>AB</math>, שהוא קשת של מעגל גדול על הספירה, ושתי נקודות קצה <math>C</math> ו-<math>X</math> המצויות באותו צד של המעגל הגדול <math>AB</math>, משפט לקסל קובע כי השטח של המשולש הכדורי <math>\triangle ABX</math> שווה לשטחו של <math>\triangle ABC</math> [[אם ורק אם]] <math>X</math> נחה על המעגל הקטן <math>B^* C A^*\!,</math> כאשר <math>A^*</math> ו-<math>B^*</math> הן הנקודות האנטיפודיות ל-<math>A</math> ו-<math>B</math>, בהתאמה.

כאנלוג אחד לנוסחה המישורית <math>\text{area} = \tfrac12 \, \text{base} \cdot \text{height}</math> עבור שטח של משולש, העודף הזוויתי הכדורי <math>\varepsilon</math> (לפי [[משפט ז'יראר]], העודף הזוויתי הכדורי יחסי לשטח המשולש הכדורי) של המשולש הכדורי <math>\triangle ABC</math> ניתן לחישוב במונחי הבסיס <math>c</math> ([[זווית מרכזית|האורך הזוויתי]] של הקשת ''AB'') וה"גובה"  <math>h_c</math> (המוגדר כמרחק הזוויתי בין המעגלים הקטנים המקבילים <math>A^* B^* C</math> ו-<math>A B C^*</math>):

:<math>\sin \tfrac12 \varepsilon = \tan \tfrac12 c \, \tan\tfrac12 h_c.</math>

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

המעגלים הקטנים <math>A^* B^* C</math> ו-<math>A B C^*</math> חותכים כל אחד את המעגל הגדול <math>AB</math> בזווית של <math>\tfrac12 \varepsilon</math>.
 
== הוכחות ==
ישנן מספר דרכים להוכיח את משפט לקסל, כשכל אחת שופכת אור על היבט אחר במערכת הקשרים שמתקיימת.
=== בעזרת משולשים שווי-שוקיים ===
[[File:Lexell's proof of Lexell's theorem.png|thumb|left|הוכחת לקסל באמצעות חלוקת המשולש ''A''<sup>∗</sup>''B''<sup>∗</sup>''C'' לשלושה משולשים שווי-שוקיים.]]
הרעיון המרכזי בהוכחה הגאומטרית של לקסל מ-1777 - שאומץ גם על ידי [[אז'ן שרל קטלן]] (ב-1843), [[ז'אק אדמר]] (1901) ואחרים - הוא לפצל את המשולש הכדורי <math>\triangle A^* B^* C</math> לשלושה משולשים שווי-שוקיים עם [[קודקוד]] משותף במרכז [[מעגל חוסם|המעגל החוסם]] <math>P</math> של המשולש הזה (שבדומה למשולשים במישור הוא מפגש האנכים האמצעיים לצלעות המשולש, אך כאן אנכים אלה הם קשתות מעגלים גדולים), ואז לבטא את העודף הזוויתי <math>\varepsilon</math> של המשולש הכדורי <math>\triangle ABC</math> באמצעות זוויותיו. באיור, הנקודות <math>A</math> ו-<math>B</math> נמצאות בצד המרוחק של הספירה כדי שניתן יהיה לראות בבירור את הנקודות האנטיפודיות שלהן כמו גם את כל מעגל לקסל <math>l</math> (המעגל החוסם את המשולש <math>\triangle A^* B^* C</math> הוא למעשה המעגל הקטן מניסוח המשפט).

נסמן את [[זווית|זוויות]] הבסיס של המשולשים שווי השוקיים <math>\triangle B^* C P</math> (המודגש באדום באיור),  <math>\triangle CA^* P</math> (בכחול) ו- <math>\triangle A^* B^* P</math> (בסגול) ב-<math>\alpha</math> ,<math>\beta</math> ו-<math>\delta</math>, בהתאמה. ניתן לחשב את הזוויות הפנימיות של המשולש <math>\triangle ABC</math> (בכתום) במונחי הזוויות האלו: <math>\angle A = \pi - \beta - \delta</math> ([[זווית חיצונית|הזווית המשלימה]] של <math>\angle A^*</math>) ובדומה לכך <math>\angle B = \pi - \alpha - \delta</math> ולבסוף <math>\angle C = \alpha + \beta</math>.

העודף הזוויתי של <math>\triangle ABC</math> הוא לפיכך:

:<math>\begin{align}
\varepsilon
&= \angle A + \angle B + \angle C - \pi \\[3mu]
&= (\pi - \beta - \delta) + (\pi - \alpha - \delta) + (\alpha + \beta) - \pi \\[3mu]
&= \pi - 2\delta.
\end{align}</math>  

לפי משפט ז'יראר, עודף זוויתי זה שווה לשטח המשולש הכדורי <math>\triangle ABC</math> (על ספירת היחידה). לפיכך, כל עוד הבסיס <math>AB</math> קבוע, עבור כל קודקוד שלישי <math>C</math> הנופל על מעגל לקסל, הנקודה <math>P</math> ולפיכך גם הזווית <math>\delta</math> לא ישתנו, וכך גם העודף הזוויתי <math>\varepsilon</math> של <math>\triangle ABC</math> אשר תלוי רק בגודל <math>\delta</math>, שהוא קבוע. לפיכך קיבלנו שהמקום הגאומטרי של כל הקודקודים <math>C</math> המקיימים שלמשולש   <math>\triangle ABC</math> שטח קבוע הוא המעגל הקטן <math> A^* B^* C</math>.

=== בעזרת מעגל אמצעים ===
[[File:Lexell's theorem via a Saccheri quadrilateral.png|thumb|left|הוכחת גאוס באמצעות מרובע סאקרי.]]
הוכחה העושה שימוש במעגל האמצעים של המשולש הכדורי  <math>\triangle ABC</math> ניתנה על ידי קרל פרידריך גאוס ב-1841, והיא מתאפיינת בבהירות ויזואלית רבה יותר. במסגרת ההוכחה, בונים את [[מרובע סאקרי]] (מרובע עם שתי זוויות סמוכות ישרות ושתי זוויות נוספות השוות זו לזו) הנוצר בין הבסיס <math> AB</math> של המשולש וההטלה האורתוגונלית שלו על מעגל האמצעים <math>m</math>, אשר יש לו אותו שטח כמו למשולש. 

יהי <math>m</math> המעגל הגדול העובר דרך נקודות האמצע <math>M_1</math> של <math>AC</math> ו-<math>M_2</math> של <math>BC</math>, ויהיו
<math>B'</math> ,<math>A'</math> ו-<math>C'</math> עקבי הגבהים המורדים מקודקודי המשולש אל <math>m</math>. לצמד המשולשים ישרי הזווית <math>\triangle AA'M_1</math> ו-<math>\triangle CC'M_1</math> שנוצרים (באדום מוצלל) יש זוויות שוות ב-<math>M_1</math> (זוויות קודקודיות) ו[[יתר]]ים שווים, כך שהם [[חפיפה|חופפים]]; כך גם המשולשים  <math>\triangle BB'M_2</math> ו-<math>\triangle CC'M_2</math> (בכחול). בפרט, מכיוון שמהחפיפה נובע ש-<math>AA'</math> ו-<math>BB'</math> שווים שניהם ל-<math>CC'</math>, מקבלים שהמרובע <math>\square ABB'A'</math> הוא אכן מרובע סאקרי. לפיכך, השטח של המשולש <math>\triangle ABC</math> שווה לשטחו של מרובע סאקרי <math>\square ABB'A'</math>, שכן שניהם מורכבים ממשולש אדום אחד, משולש כחול אחד, ומהמרובע הירוק <math>\square ABM_2M_1</math> המשותף לשניהם. מכיוון שהמעגל הגדול <math>m</math>, ולפיכך גם המרובע <math>\square ABB'A'</math>, אינו משתנה תחת כל בחירה של <math>C</math> על מעגל לקסל <math>l</math> - הנבנה כמעגל הקטן המצוי במרחק זוויתי קבוע <math>CC'</math> מן המעגל הגדול <math>m</math> - שטח המשולש המתאים <math>\triangle ABC</math> נשאר קבוע.

=== בעזרת הטלה סטריאוגרפית ===
[[הטלה סטריאוגרפית|ההטלה הסטריאוגרפית]] מעתיקה את הספירה הדו-ממדית למישור. מעגל גדול יועתק למעגל במישור, בעוד ששני הקטבים יועתקו לראשית ול[[נקודה באינסוף]]. כל מעגל על הספירה יועתק למעגל או ישר (מעגל מוכלל) במישור, כשקווים ישרים אינסופיים ייצגו מעגלים גדולים העוברים דרך  הקוטב המועתק לנקודה באינסוף. ההטלה הסטריאוגרפית היא [[העתקה קונפורמית|קונפורמית]], כלומר היא משמרת זוויות בין עקומים.

[[File:Stereographic proof of Lexell's theorem.png|thumb|upleft=1.25|הוכחה בעזרת הטלה סטריאוגרפית.]]

כדי להוכיח קשרים גאומטריים על משולש כדורי כללי <math>\triangle ABC</math>, ניתן להניח [[בלי הגבלת הכלליות]] שקודקוד <math>A</math> הוא הנקודה המועתקת לראשית המישור. תחת הנחה זו, צלעות המשולש הכדורי יועתקו לשני קטעים ישרים (המייצגים את שני הצלעות הנפגשות בקודקוד <math>A</math>) ולקשת מעגלית. מכיוון שההטלה הסטריאוגרפית משמרת זוויות נקבל שאם המשיקים לקשת המעגלית בשני הקודקודים האחרים נחתכים בנקודה <math>E</math>, ייווצר מרובע מישורי <math>\square ABEC</math>, אשר הזווית החיצונית לו בקודקוד <math>E</math> היא העודף הזוויתי <math>\varepsilon = \angle A + \angle B + \angle C - \pi</math> של המשולש הכדורי.

כעת, יהי <math>O</math> הנקודה במישור ההטלה שהיא מרכז הקשת המעגלית אשר אליה מועתקת הצלע <math>BC</math>. למרובע <math>\square OBEC</math> יש שתי זוויות ישרות, כך שהזווית המרכזית <math>\angle BOC</math> שווה לזווית החיצונית ב-<math>E</math>, שהיא כאמור גם העודף הזוויתי של המשולש <math>\varepsilon</math>. הזווית המישורית <math>\angle BB^*C</math> היא זווית היקפית הנמתחת על ידי אותה קשת, כך שלפי משפט הזווית ההיקפית גודלה הוא <math>\tfrac12\varepsilon</math>. קשר זה נשמר עבור כל בחירה של <math>C</math>; לפיכך, העודף הזוויתי של המשולש נשמר כל עוד <math>C</math> נשאר על מעגל לקסל <math>l</math>, אשר מועתק לישר (אינסופי) דרך <math>B^*</math> במישור ההטלה.

== מקורות ==
* "A Most Elegant Property: On the Early History of Lexell’s Theorem"
* "On Lexell's Theorem"

==קישורים חיצוניים==
* [https://books.google.co.il/books?id=fL5DDwAAQBAJ&pg=PA117&lpg=PA117&dq=lexell%27s+theorem&source=bl&ots=XacoVU250v&sig=ACfU3U0sbunRqT08EpFVD3jjsuA-8pCQsQ&hl=en&sa=X&ved=2ahUKEwjX89zRmZLyAhVihv0HHYAKAG0Q6AEwB3oECA4QAw#v=onepage&q=lexell's%20theorem&f=false תיאור משפט לקסל]

[[קטגוריה:גאומטריה]]
[[קטגוריה:משפטים בטריגונומטריה]]