שדה המספרים הניתנים לבנייה


שגיאות פרמטריות בתבנית:מקורות

פרמטרי חובה [ נושא ] חסרים

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

שדה המספרים הניתנים לבנייה הוא השדה הכולל את כל המספרים שאפשר לבנות בסרגל ובמחוגה.[1]

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

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

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

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

הבעיות של ימי קדם עריכה

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

קישורים חיצוניים עריכה

  1. ^ Martin, George E., Geometric Constructions, Undergraduate Texts in Mathematics, New York: Springer-Verlag, 1998