השערת abc

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

השערת abc היא השערה מרחיקת לכת בענף האנליזה הדיופנטית של תורת המספרים, שהציעו ז'וזף אוסטרלה (Joseph Oesterlé) ודויד מסר (David Masser) בסוף שנות ה-80 של המאה ה-20. ההשערה ידועה לפיכך גם בשם השערת אוסטרלה-מסר. ההשערה מכלילה משפטים חשובים והשערות מרכזיות בתחום, ובהם משפט פאלטינגס וגרסה חלשה של המשפט האחרון של פרמה. לפי ההשערה, אם a,b,c הם מספרים זרים המקיימים a+b=c, אז הרדיקל \operatorname{rad}(abc) אינו קטן בהרבה מ-c. זהו נוסח עבור מספרים שלמים של משפט מייסון-סטותרס על פולינומים.

באוגוסט 2012 הודיע המתמטיקאי היפני שיניצ'י מוצ'יזוקי (Shinichi Mochizuki) כי הוא פיתח גישה חדשה, "תורת טייכמולר בין-מרחבית" (inter-universal Teichmüller theory), המובילה לדבריו להוכחה של השערת abc. מומחים בגאומטריה לא קומוטטיבית העריכו שיש בגישה זו תוכן של ממש, אם כי קשה לראות בשלב זה יישומים אחרים של התורה. למרות שיתוף הפעולה של מוצ'יזוקי, הבדיקה מתקדמת באיטיות.

ההשערה[עריכת קוד מקור | עריכה]

לכל \epsilon>0 יש לכל היותר מספר סופי של שלשות של מספרים זרים a,b,c המקיימות a+b=c ו- c>\operatorname{rad}(abc)^{1+\epsilon}, כאשר \operatorname{rad}(abc) היא מכפלת הגורמים הראשוניים השונים של המכפלה abc. הגרסה האפקטיבית של ההשערה קובעת שאין פתרון למשוואה a+b=c עבור a,b,c זרים המקיימים c > \operatorname{rad}(abc)^2.

עבור רוב המספרים, הרדיקל \operatorname{rad}(n) הוא מסדר הגודל של n, ורק לעתים נדירות הוא קטן בהרבה: זה קורה כאשר n מתחלק בחזקה גבוהה של גורם ראשוני. למשל, \operatorname{rad}(2^4\cdot3^5)=2\cdot 3=6 \ll 2^4\cdot 3^5=3888. משום כך, בדרך כלל יהיה הרדיקל של abc גדול מ-c. שלשות כמו 3+125=128 שבהן הרדיקל קטן, \operatorname{rad}(3\cdot 5^3\cdot 2^7)=30 < 128, הן נדירות למדי. יש אמנם מספר אינסופי של שלשות שעבורן c>\operatorname{rad}(abc), אבל על-פי ההשערה, אם מחזקים את האי-שוויון הזה מעט ודורשים c>\operatorname{rad}(abc)^{1+\epsilon}, יש לו כאמור רק מספר פתרונות סופי.

קישורים חיצוניים[עריכת קוד מקור | עריכה]