פורטל:מתמטיקה/משפטים והשערות/4

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

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

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

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

לערך המלא