משפט לז'נדר על משולשים כדוריים

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

יהי ABC משולש כדורי על ספירת היחידה בעל צלעות קטנות a,b,c. יהי A'B'C' המשולש המישורי בעל אותן הצלעות. אז המשפט קובע שהזוויות של המשולש הכדורי עולות על הזוויות המתאימות של המשולש המישורי בזווית זהה בקירוב, ששווה לשליש ההפרש הזוויתי בין סכום הזוויות של המשולש הכדורי ל-π.
Spherical trigonometry legendre.svg

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

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

משפט ז'יראר קובע שהסטייה הזוויתית של משולש כדורי, E, שווה לשטח שלו Δ, ולפיכך משפט לז'נדר ניתן לקביעה באופן הבא:

הסטייה הזוויתית, או השטח, של משולשים קטנים כאלה היא קטנה מאוד. לשם דוגמה נתייחס למשולש שווה-צלעות עם אורך צלע של 60km על פני ארץ כדורית בעלת רדיוס 6,371km; הצלע מתאימה למרווח זוויתי של 0.0094 = 60/6371, או בערך 10−2 רדיאנים (זווית מרכזית של 0.57°). השטח של משולש כדורי כזה מקורב היטב עם זה של משולש מישורי עם אותן צלעות: רדיאנים.

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

(כאשר Δ′ הוא שטח המשולש המישורי). תוצאה זאת הוכחה על ידי Buzengeiger ב-1818.

ניתן להכליל את המשפט לאליפסואיד כאשר a,b,c מחושבים על ידי חלוקת האורך האמיתי שלהן בשורש הריבועי של מכפלת רדיוסי העקמומיות הראשיים בנקודות מסוימות על הצלעות (במקום הרדיוס הכדורי). גאוס (1828, מאמרים 26-28) סיפק נוסחאות מדויקות במקרה זה.

ראו גם