בתשובה לאלון עמית, 20/07/04 11:56
אכן אי רציונלי, ואף טרנסצנדנטי 234582
אם כך אני כנראה לא מבין על מה מדובר בכלל. קורה‏1.
__________
1- לעתים קרובות מדי
אכן אי רציונלי, ואף טרנסצנדנטי 234585
הוכחה של משפט מהסוג מהסוג "קיים X" יכולה להיות קונסטרוקטיבית (הנה X) או לא (עושים שמיניות ומראים שיש כזה, אבל לא מראים מיהו).

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

כל זה הוא קצת סמנטי, כמו שציינו אחרים. אם אני זוכר נכון, אפשר להוכיח את המשפט גם ע"י "אם x^y אלגברי ו(עוד כל מיני תנאים), אז y רציונלי". פה כאילו אפשר שוב לשאול אם מראים "קונסטרוקטיבית" ש-y רציונלי; אני מניח שלא, אבל אני לא חושב שזה אומר הרבה על המשפט.
אכן אי רציונלי, ואף טרנסצנדנטי 234598
אם כך מה כל העניין הזה קשור לאותה הוכחה קונסטרקטיבית שמחפשים בפתיל הזה (ההיא שהיא אולי קשה ביותר כדברי יובל ואולי קשה אך לא ביותר כדבריך)? חשבתי שאולי הסיבה להבדל בקושי נעוצה בעניין הקונסטרקטיבי.

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

1 שני אי-רציונליים כך שאחד בחזקת השני הוא רציונלי.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים