Loading AI tools
בנייה של עצמים גאומטריים, כגון קטעים בעלי תכונות מוגדרות, הנעזרת בסרגל ובמחוגה בלבד מוויקיפדיה, האנציקלופדיה החופשית
בגאומטריה האוקלידית של המישור, בנייה בסרגל ובמחוגה היא בנייה של עצמים גאומטריים, כגון קטעים בעלי תכונות מוגדרות, הנעזרת בסרגל ובמחוגה בלבד. לעניין זה, הסרגל והמחוגה אינם הכלים הפיזיים המשמשים בשרטוט, אלא הפשטות גאומטריות, המממשות את שלוש האקסיומות הראשונות מבין חמש האקסיומות של אוקלידס בספרו "יסודות":
אוינופידיס היה הראשון שהתחיל לחקור את הנושא.
סרגל ומחוגה מאפשרים לבצע שתי פעולות יסודיות:
בנוסף לזה אפשר למצוא את:
בניה במחוגה וסרגל היא שרשרת של פעולות כאלו, המגיעה אל התוצאה המבוקשת.
ניתן לבנות בעזרת הסרגל והמחוגה בניות רבות ומגוונות. דוגמאות לבעיות בנייה אלמנטריות:
פעולות נפוצות נוספות הן: חיבור וחיסור של אורכי קטעים, כפל וחילוק שלהם במספרים רציונליים, חיבור וחיסור זוויות ועוד.
פרט לבעיות הקלות שנמנו בסעיף הקודם, בעיות בנייה היו אחד הכוחות שהניעו את התקדמות הגאומטריה לאורך השנים. בין הבעיות הנודעות יותר נמנות:
היוונים הקדמונים ניסחו ארבע בעיות, אשר במשך כ-2,000 שנה היו בעיות פתוחות:
כל ארבע הבעיות הוכחו כבלתי פתירות, באמצעות יישום אלמנטרי של התורה המתמטית העוסקת בהרחבת שדות.
כדי לבנות מצולע משוכלל בן n צלעות, צריך לבנות את הזווית בת מעלות, כלומר לבנות קטע שאורכו . מספר זה נמצא בתוך שדה ההרחבה מעל הרציונליים של שורש היחידה מסדר n, המכונה גם השדה הציקלוטומי ה-n-י. גאוס הוכיח באמצעות השיטות של תורת גלואה ומחקריו על שורשי יחידה, שאפשר לבנות מצולעים משוכללים שמספר הצלעות שלהם הוא מכפלה של חזקת 2 וראשוני פרמה שונים. בפרט אפשר לבנות את המצולע המשוכלל בן 17 צלעות (גאוס הציג בנייה אלגברית מפורשת למצולע כזה ב-1801), ואת המצולע המשוכלל בן 65,537 צלעות. לעומת זאת, לא ניתן לבנות את המצולע המשוכלל בן 9 צלעות (משום שזה יצריך בניית זווית של 20 מעלות, בנייה שאינה אפשרית בסרגל ומחוגה).
אם נתון קטע היחידה, כלומר קטע שאורכו 1, אז ניתן להגדיר "מספר חיובי הניתן לבנייה". כיוון שאפשר לחבר קטעים, אפשר לקבל כל מספר טבעי. ניתן גם לבצע פעולות נוספות:
כדי לכפול קטעים u ו-v, יש לבנות את הקטע OA שאורכו 1, ו-AC שאורכו u באופן ששלוש הנקודות על אותו ישר. אחר כך בונים OB שאורכו v כך ש-B לא על אותו ישר. בונים מ-C ישר מקביל ל-AB וקוראים לנקודת החיתוך שלהם D. על פי משפט תאלס מתקיים:
כדי לחלק קטעים יש למצוא מספר הופכי, כלומר אם נתון u יש למצוא את . ניתן לעשות זאת באותה דרך, כאשר הפעם בונים כך ש-OA=u, AC=1 ו-OB=1 ואז: ומכאן BD=1\u כמבוקש. מה שהוסבר עד כה מספיק כדי לבנות כל מספר רציונלי חיובי.
פעולה נוספת שניתן לעשות היא הוצאת שורש ריבועי. כדי לעשות זאת יש לבנות קטע AB באורך a (ממנו רוצים להוציא שורש) וקטע BC שאורכו 1 כך ששני הקטעים על אותו ישר. לאחר מכן לבנות מעגל שקוטרו AC, ואז לבנות אנך ל-AC מהנקודה B ולקרוא לנקודת החיתוך שלו עם המעגל D. מתקיים , ולכן על פי תכונות דמיון משולשים מתקיים או ומכאן כמבוקש.
לאחר שנתונות זוג נקודות, להן אפשר להתייחס כנקודות 0 ו- 1, מגדירים מספר מרוכב כנקודה שהוא מציין על המישור המרוכב. קבוצת המספרים הניתנים לבנייה בצורה כזאת מהווים שדה הנקרא שדה המספרים הניתנים לבנייה. ניתן לבנות מספר a+bi אם ורק אם ניתן לבנות את |a| ואת |b|, אותם בונים כמוסבר לעיל.
למספרים הניתנים לבנייה תכונות נוספות. כך למשל, מספר ניתן לבנייה אם ורק אם הוא שייך לשדה הנמצא בקצה של מגדל הרחבות ריבועיות (הרחבות מממד 2) של שדה המספרים הרציונליים.
אף על פי שבבעיות הבנייה הקלאסיות מקובל היה להשתמש בשני הכלים, הסרגל והמחוגה, ידוע שאפשר להסתפק בהרבה פחות. בשנת 1797 פרסם הגאומטרן האיטלקי לורנצו מסקרוני ספר, שבו הראה שכל בעיה שאפשר לבנות בסרגל ומחוגה, אפשר לבנות גם באמצעות המחוגה לבדה[1]. כדי להראות זאת, הוכיח מסקרוני שבמחוגה ניתן לחבר ולחסר ארכי קטעים, וגם להכפיל ולחלק אורכים זה בזה. (לא ניתן לבנות ישרים, אך ניתן למצוא שתי נקודות המתוות את הישר, ולמעשה לשרטט נקודות כרצוננו הנמצאות על הישר).
כבר ב-1759 עסק ד'אלמבר בפתרון בעיות בנייה בסרגל בלבד. בעיות אלה מטבען מוגבלות יותר מאשר הבניות במחוגה ובסרגל, משום שהסרגל אינו מאפשר אלא פתרון של משוואות ליניאריות. עבודתו של ד'אלמבר המריצה מתמטיקאים צרפתיים אחרים לעסוק בנושא, שהעניין בו גבר אחרי פרסום ספרו של מסקרוני. באותה עת הציע ז'אן-ויקטור פונסלה (Jean-Victor Poncelet; 1867-1788) שהוספת מעגל אחד קבוע במישור (יחד עם המרכז של אותו מעגל), די בה כדי לאפשר לסרגל לפתור כל בעיית בנייה במחוגה וסרגל. השערה זו הוכחה ב-1833 על ידי הגאומטרן יאקוב שטיינר, וזכתה לשם משפט פונסלה-שטיינר.
כלי נוסף שניתן להגדיר הוא "סרגל דו-צדדי" ― כלי שבהינתן ישר, מסוגל לבנות ישר מקביל במרחק קבוע (רוחב הסרגל), ובהינתן שתי נקודות שמרחקן גדול מרוחב הסרגל, מסוגל לבנות ישר דרך אחת מהן שמרחקו מהשנייה שווה לרוחב הסרגל. כל בעיה שאפשר לבנות בסרגל ומחוגה, אפשר לבנות באמצעות סרגל דו-צדדי בלבד.[2]
היפיאס הראה שבעזרת קוואדרטריקס, כלי שאיננו בארגז הכלים של הגאומטריה, ניתן לחלק זווית נתונה לשלושה חלקים, וכן הוכח שכלי זה מאפשר את תרבוע העיגול.
כלי אחר שנעשה בו שימוש בהקשר דומה, הוא "הסרגל המסומן" או ה-neusis construction (אנ'), כלי שבהינתן קטע, נקודה, ושני קווים, בונה נקודה על כל אחד מהקווים כך ששלוש הנקודות ― הנתונה ושתי החדשות ― נמצאות על ישר אחד, והמרחק בין שתי החדשות הוא כאורך הקטע הנתון. כלי זה ניתן ל"מימוש" על ידי סרגל, עליו ניתן לסמן אורך של קטע נתון, ואז להניח אותו על הנקודה הנתונה, ולאפשר לו להסתובב ולהחליק על גביה, עד ששני קצות הקטע שמסומן עליו ייגעו בשני הקווים הנתונים ― ואז לבנות את הקו שהוא מתווה.
ה-neusis construction מספק פתרון נאה לכמה מהבעיות שהוזכרו קודם לכן, כמו הבעיה של הכפלת הקובייה (אותה אפשר לפתור גם באמצעות חיתוך של פרבולות, או בעזרת העקום הקרוי קונכואיד, שבנייתו מיוחסת לניקומדס, בן המאה השנייה לפני הספירה). ארכימדס הראה שאפשר, בעזרת סרגל, מחוגה ו-neusis construction, לחלק זווית נתונה לשלושה חלקים.
ניתן להגדיר עקום שלישי זווית (אנ'), ואז בעזרת סרגל ומחוגה לחלק זוויות ל-3 חלקים שווים.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.