מספרים ברי בנייה

מבוא: בניות בעזרת סרגל ומחוגה

משפחה מיוחדת של בעיות בגיאומרטיה אוקלידית היא בעיות בנייה. לדוגמא:

• כיצד ניתן לצייר (באופן מדוייק) מחומש משוכלל?
• בהינתן מעגל במישור, כיצד ניתן למצוא (=לצייר) את המרכז שלו?
• בהינתן זווית במישור, כיצד ניתן לחלק אותה לשניים?

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

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

• לבנות ("לסמן") את נקודות החיתוך בין:

א. שני ישרים שכבר בנינו

ב. ישר שבנינו ומעגל שבנינו

ג. שני מעגלים שבנינו

• לבנות ישר העובר דרך שתי נקודות שכבר בנינו (את זה אפשר "לעשות עם סרגל").
• לבנות מעגל שמרכזו בנקודה שבנינו ושעובר דרך נקודה שבנינו (את זה אפשר "לעשות עם מחוגה").

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

תרגיל: הראו איך לבצע את הבניות הבאות:

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

2. בהיתן קטע AB, לבנות ישר המאונך ל-AB ועובר דרך A.

3. בהינתן ישר L ונקודה P, לבנות מקביל ל-L העובר דרך P.

4. נתון קטע באורך 1, יש לבנות משולש שווה צלעות עם אורך צלע 1.

הגדרה ותכונות

מעכשיו, כאשר נאמר שמשהו גיאומטרי הוא בר בנייה הכוונה היא שהוא בר בנייה בעזרת סרגל ומחוגה.

קיימות מספר הגדרות שקולות למספרים ברי בנייה:

• מספר ממשי חיובי $r\geq 0$ נקרא בר בנייה אם, בהינתן קטע באורך 1, ניתן לבנות קטע באורך $r$.
• מספר מרוכב $c=a+ib$ (כאשר $a,b\in \mathbb{R}$) נקרא בר בנייה אם בהינתן הנקודות $(0,0),(0,1)$ במישור $\mathbb{R}^2$ ניתן לבנות את $(a,b)$.
• מספר מרוכב $c=a+ib$ (כאשר $a,b\in \mathbb{R}$) נקרא בר בנייה אם $|a|,|b|$ ברי בנייה.

תרגיל: הוכיחו ישירות ש-$\sqrt{2},\sqrt{5}$ ברי בנייה.

ניתן גיאומטרית שכל מספר רציונלי הוא בר בנייה. יותר מכך, לכל $a,b$ ברי בנייה מתקיים שגם $ab,a+b,a-b,a/b,\sqrt{a}$ ברי בנייה. לכן, אוסף המספרים ברי הבניה הוא תת שדה של $\mathbb{C}$ ושדה זה סגור תחת הוצאת שורש ריבועי ותחת צמוד מרוכב.

משפט: התנאים הבאים שקולים עבור $a\in \mathbb{C}$:

א. $a$ בר בנייה.

ב. קיים מגדל שדות $\mathbb{Q}=L_0\subseteq L_1\subseteq\dots\subseteq L_r$ כך ש-$a\in L_r$ וגם $[L_i:L_{i=1}]=2$ לכל $0<i\leq r$.

ג. קיימת הרחבת גלואה $L/\mathbb{Q}$ כך ש-$a\in L$ וגם $[L:\mathbb{Q}]$ חזקת 2.

ד. סגור גלואה של $\mathbb{Q}[a]/\mathbb{Q}$ הוא ממימד $2^n$ מעל $\mathbb{Q}$.

הערה: הדעות חלוקות לגבי מה הוכחתם בהרצאה. בטוח הוכחתם ש-א שקול ל-ב. בתרגילי הבית הוכחתם ש-ב שקול ל-ג. העובדה ש-ג שקול ל-ד היא תרגיל טריוויאלי למדי.

דוגמא: $\sqrt{\sqrt{2}-\sqrt{3}}$ הוא בר בנייה כי $\mathbb{Q}\subseteq \mathbb{Q}[\sqrt{2}]\subseteq\mathbb{Q}[\sqrt{2},\sqrt{3}]\subseteq \mathbb{Q}[\sqrt{\sqrt{2}-\sqrt{3}}]$ הוא מגדל שדות המקיים את תנאי המשפט ב-ב. (כמובן שהרבה יותר קל להוכיח את זה עם העובדה שאוסף המספרים ברי הבנייה הוא שדה שסגור להוצאת שורש...)