גאומטריה היפרבולית היא גאומטריה לא אוקלידית שבה האקסיומה החמישית של אוקלידס, אקסיומת המקבילים, מוחלפת באקסיומה הבאה:
במהלך השנים שאחרי פרסום הספר "יסודות" של אוקלידס (שלימים היווה את הבסיס לגאומטריה שנקראת על שמו: "גאומטריה אוקלידית"), הייתה מקובלת התחושה שאקסיומת המקבילים (הקובעת שדרך נקודה שמחוץ לישר עובר קו מקביל אחד ויחיד) אינה 'טבעית' ומובנת מאליה כמו יתר האקסיומות של הגאומטריה. תחושה זו הביאה לניסיונות חוזרים ונשנים להוכיח את האקסיומה החמישית כמשפט גאומטרי. כל הניסיונות מסוג זה כשלו, עד שבמאה ה-19, המתמטיקאים גאוס, בויאי ולובצ'בסקי הגיעו במקביל (כל אחד בנפרד) למסקנה שהאקסיומה החמישית אינה נובעת מן האקסיומות האחרות. הם הגיעו להבנה, שניתן להחליף את האקסיומה המקובלת בזו המצוינת לעיל, ולקבל מבנה גאומטרי עשיר ומעניין, גם אם שונה מהגאומטריה האוקלידית המוכרת. אחד ההבדלים הבולטים הוא שבגאומטריה היפרבולית, סכום הזוויות במשולש קטן מ-180 מעלות.
גאומטריה היפרבולית מישורית היא גם הגאומטריה שמתקיימת על פני משטחים "אוכפיים" בכל מקום או משטחים פסאודוספיריים, דהיינו משטחים עם עקמומיות גאוס שלילית קבועה.
לישרים יחידים בגאומטריה היפרבולית יש בדיוק אותן תכונות כמו קווים ישרים בגאומטריה אוקלידית. לדוגמה, שתי נקודות מגדירות ישר היפרבולי יחיד, וניתן להמשיך את הישרים (לשני הכיוונים) במידה אינסופית.
לזוג ישרים נחתכים יש בדיוק אותן תכונות כמו לזוג ישרים נחתכים בגאומטריה אוקלידית. למשל, שני ישרים לעולם לא נחתכים ביותר מנקודה אחת, הזוויות הקודקודיות שנוצרות בנקודת החיתוך שוות, וכמו כן זוויות צמודות הן משלימות ל-180 מעלות.
כאשר מוסיפים ישר שלישי אז התכונות של ישרים היפרבוליים נחתכים הופכות שונות מאלו של ישרים נחתכים בגאומטריה אוקלידית. לדוגמה, בהינתן 2 ישרים נחתכים ישנם אינסוף ישרים היפרבוליים שאינם חותכים את אף אחד מצמד הישרים הנתונים.
כל התכונות הללו אינן תלויות במודל של המישור ההיפרבולי בו משתמשים, אף על פי שהישרים עשויים להיראות שונים ביותר במודלים שונים.
לישרים לא נחתכים בגאומטריה היפרבולית יש תכונות ששונות מאלו של ישרים לא נחתכים בגאומטריה אוקלידית:
פירוש הדבר שדרך P ישנם אינסוף ישרים שנחים באותו מישור ואינם חותכים את R.
את הישרים הלא-נחתכים הללו נהוג לחלק לשתי קבוצות:
ישנם מחברים שמשתמשים במונח ישרים "מקבילים" כדי להתייחס ל"מקבילים גבוליים" ובמונח ישרים "בלתי נחתכים" כדי להתייחס לקווים "אולטרה-מקבילים".
המקבילים הגבוליים הללו יוצרים זווית θ עם PB; זווית זו תלויה רק בעקמומיות גאוס של המישור ההיפרבולי בו עוסקים ובמרחק PB והיא נקראת זווית ההקבלה.
בעבור קווים אולטרה-מקבילים, משפט הקווים האולטרה-מקבילים קובע כי ישנו ישר יחיד במישור ההיפרבולי שניצב לצמד ישרים אולטרה-מקבילים.
בשונה ממשולשים אוקלידיים, בהם הזוויות תמיד נסכמות ל-π רדיאנים (180 מעלות), בגאומטריה היפרבולית סכום הזוויות של משולש היפרבולי תמיד קטן מ-π רדיאנים. את ההבדל מכנים מגרעת זוויתית.
השטח של משולש היפרבולי ניתן על ידי מכפלת המגרעת הזוויתית שלו (ברדיאנים) ב-R2 (כאן R הוא רדיוס העקמומיות המתאים למישור ההיפרבולי הנידון). כתוצאה ישירה, לכל המשולשים ההיפרבוליים יש שטח שקטן או שווה ל-R2π. השטח של משולש אידיאלי (משולש שכל צלעותיו אסימפטוטיות זו לזו) שבו כל הזוויות הן 0° שווה לחסם העליון הזה. בכך נעוץ אחד ההבדלים המהותיים בין הגאומטריה ההיפרבולית לאוקלידית - לגאומטריה היפרבולית יש קנה מידה אבסולוטי טבעי; קיים קשר בין תוצאות מדידות של מרחק לתוצאות מדידת זוויות.
בדומה לגאומטריה כדורית או אליפטית, בגאומטריה היפרבולית אם שני משולשים דומים אז הם בהכרח חופפים.
בגאומטריה היפרבולית, ההיקף של מעגל בעל רדיוס r גדול יותר מ- .
יהי , כאשר היא עקמומיות גאוס של המישור. בגאומטריה היפרבולית, העקמומיות שלילית, כך שהשורש הריבועי מקודם הוא מספר חיובי.
ההיקף של מעגל בעל רדיוס r שווה ל-:
והשטח של הדיסק התחום במעגל זה הוא:
לפיכך, בגאומטריה היפרבולית היחס בין היקף המעגל לרדיוסו תמיד גדול יותר מ- , על אף שניתן להתקרב ליחס זה באופן שרירותי באמצעות בניית מעגל קטן מספיק.
אם עקמומיות גאוס של המישור היא 1- אז העקמומיות הגיאודזית של מעגל בעל רדיוס r היא: .
הדרך הטובה ביותר להשתכנע שהתורה החדשה עקבית (כלומר, שאין בה סתירות) היא לבנות מודל שלה במסגרת תאוריה אחרת, מקובלת יותר. פירושו של דבר, שבמסגרת התאוריה הוותיקה, בוחרים קבוצה שתייצג את המישור ההיפרבולי, ומאפיינים את הנקודות ואת הקווים הישרים במישור זה. כל שנדרש מן המודל הוא שהקווים והנקודות שלו יקיימו את האקסיומות של התורה החדשה. אם קיים מודל כזה, אז העקביות של התאוריה החדשה נובעת מזו של התאוריה הישנה.
באופן צפוי (אך אירוני), המודלים המקובלים לגאומטריה ההיפרבולית הם במסגרת הגאומטריה האוקלידית. יש להבין, שקיומם של מודלים כאלה מוכיח כי אם הגאומטריה האוקלידית עקבית, הרי שבהכרח תכונה זו חלה גם על הגאומטריה ההיפרבולית. זו כשלעצמה הוכחה שאקסיומת המקבילים (האוקלידית) בלתי תלויה באקסיומות הגאומטריות האחרות (העקביות של הגאומטריה האוקלידית עצמה נשענת על העקביות של תורת הקבוצות, דרך המודל הסטנדרטי של המרחב האוקלידי).
את המישור ההיפרבולי ניתן לאפיין, כמרחב עם תבנית דיפרנציאלית, כמשטח רימן שלם פשוט קשר בעל עקמומיות בכל נקודה. מבחינה טופולוגית, הוא מהווה כיסוי אוניברסלי לכל משטח רימן בעל עקמומיות קבועה ושלילית.
למישור ההיפרבולי יש כמה מודלים מקובלים, שכולם ניתנים לתיאור ובנייה במסגרת הגאומטריה האוקלידית:
This article uses material from the Wikipedia עברית article גאומטריה היפרבולית, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). התוכן זמין לפי תנאי CC BY-SA 4.0 אלא אם כן נאמר אחרת. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki עברית (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.