הכפלת הקובייה
הכפלת הקובייה היא אחת מהבעיות הגאומטריות של ימי קדם. הבעיה נוסחה על ידי היוונים הקדמוניים, ונשארה פתוחה במשך מאות שנים, עד שהוכחה במאה ה-19 כבלתי-פתירה באמצעות תורת גלואה.
הבעיה היא: "כיצד ניתן להכפיל נפח של קובייה נתונה באמצעות סרגל ומחוגה?" כלומר, בהינתן מקצוע של קובייה, כיצד ניתן לבנות את המקצוע של הקובייה הכפולה ממנה בנפחה. בעיה זאת שקולה לבניית המספר .
![{\displaystyle {\sqrt[{3}]{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ca071ab504481c2bb76081aacb03f5519930710)
היסטוריה
הבעיה מבוססת על סיפור לפיו באתונה פרצה מגפה. לשאלת התושבים כיצד ניתן לעצור אותה, ענתה האורקל שעליהם להכפיל את נפח המזבח של אפולו, שצורתו הייתה קובייה. התושבים ניסו לעשות זאת על ידי הכפלת אורך המקצוע, אך פתרון זה הוא שגוי משום שלמעשה הוא מכפיל את נפח הקובייה פי 8. באופן כללי, אם מגדילים את המקצוע פי , אז נפח הקובייה גדל פי . לכן כדי להכפיל את נפחה של קובייה יש להגדיל את הצלע פי . לאחר שהבינו את הבעיה, הם ניסו למצוא דרך לבנות קובייה כפולה בנפחה, אך ללא הצלחה.
התפתחות חשובה בחיפוש הפתרון התרחשה כאשר מצא היפוקרטס מכיוס ניסוח חילופי: נתון קטע, יש למצוא שני קטעים כך שהראשון ממוצע גאומטרי של הקטע הנתון ושל השני, ואילו השני ממוצע גאומטרי של הראשון ושל קטע כפול מהקטע הנתון. כלומר, אם נתון קטע באורך a, יש למצוא r ו-s כך ש: . קל לראות ש-. הוא ומנכמוס הראו גם שניתן לפתור בעיה זאת על ידי מציאת חיתוך של פרבולה והיפרבולה או שתי היפרבולות.
![{\displaystyle {s \over r}={\sqrt[{3}]{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02d0fd49b41248e6a4903f8e15b8045584d2bfc8)
בשנת 1837 הוכיח פירה וונצל ש- איננו שייך לשדה המספרים הניתנים לבנייה, ולפיכך הבעיה איננה פתירה.
![{\displaystyle \ {\sqrt[{3}]{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/995a7712ed9d9f3fc569e7271185c8447f9c0a4a)
הוכחה
ניתן להראות שכל המספרים הניתנים לבנייה שייכים לשדה המהווה הרחבה מממד (כאשר n הוא מספר טבעי כלשהו) של שדה המספרים הרציונליים, כיוון שחיתוך של שני ישרים משאיר את המספר באותו הממד, ואילו חיתוך של ישר עם מעגל או שני מעגלים יוצר הרחבה ריבועית. נניח בשלילה ש- ניתן לבנייה בסרגל ומחוגה, אז הוא צריך להיות שייך לשדה כאמור (נסמן אותו ב-F). שדה זה חייב להכיל את השדה , שהוא הרחבה ממד 3 של שדה המספרים הרציונליים. לכן מתקיים:
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4682c6f3952f1b35a5db23be9b806fc79e771d30)
![{\displaystyle [F:\mathbb {Q} ]=[F:\mathbb {Q} ({\sqrt[{3}]{2}})][\mathbb {Q} ({\sqrt[{3}]{2}}):\mathbb {Q} ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c1dd656dd9556958f371dc95d8f46c0dc01e570)
![{\displaystyle 2^{n}=[F:\mathbb {Q} ({\sqrt[{3}]{2}})]\cdot 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07ff4012172e38123f3573479157165181af0e2)
זה בלתי אפשרי, כי 3 איננו גורם של . סתירה.
ראו גם
קישורים חיצוניים
