גאומטריה אוקלידית

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף גאומטריית המישור)
קפיצה לניווט קפיצה לחיפוש
אוקלידס

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

במשך יותר מאלפיים שנה נקראה הגאומטריה האוקלידית פשוט "גאומטריה", משום שהיתה הגאומטריה היחידה. ניסיונות להוכיח את אקסיומת המקבילים הביאו במאה ה-19 לפיתוחן של גאומטריות אלטרנטיביות, שאינן מקבלות את האקסיומה הזו, והן קרויות גאומטריות לא־אוקלידיות.

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

הנחות

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

  1. אפשר להעביר קטע ישר בין שתי נקודות.
  2. אפשר להמשיך קטע ישר ללא גבול.
  3. אפשר לתאר מעגל על־פי מרכז ורדיוס.
  4. כל הזויות הישרות שוות ביניהן.
  5. אם שני ישרים נחתכים על־ידי ישר שלישי באופן שסכום הזויות הפנימיות שייווצרו באחד הצדדים קטן מסכום שתי זויות ישרות, אזי אם יוארכו הישרים מספיק באותו צד הם יפגשו. (השקולה לטענה: דרך נקודה מחוץ לישר כלשהו, ניתן להעביר ישר אחד ויחיד שלא יחתך עם הישר הנתון.)

בנוסף אוקלידס מציין חמש מוסכמות, או אקסיומות, שאינן תלויות במושגים מסוימים:

  1. אלו השוים לדבר זהה שווים האחד לשני.
  2. אם שווים נוספים לשווים, הסכומים שווים.
  3. אם שווים מופחתים משווים, ההפרשים שווים.
  4. אלו החופפים אחד לשני שווים.
  5. השלם גדול מהחלק.

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

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

פיתוח גאומטריית המרחב דורש את מושג המישור, המאופיין בכך שדרך 3 נקודות שאינן נמצאות על ישר אחד עובר מישור אחד ויחיד.

ראו גם

לקריאה נוספת

  • דיבשה אמירה, ביסוס אכסיומתי ליסודות הגאומטריה, הוצאת עם עובד ודביר, 1962
  • Euclid's Elements, "היסודות", ספרו של אוקלידס, בתרגום לאנגלית

קישורים חיצוניים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0