Эйлердің болжам шамасы - Eulers sum of powers conjecture - Wikipedia

Эйлердің болжамдары жоққа шығарылған болжам жылы математика байланысты Ферманың соңғы теоремасы. Ол ұсынған Леонхард Эйлер 1769 ж. Онда барлығы үшін айтылады бүтін сандар n және к егер 1-ден үлкен болса, егер n коң бүтін сандардың күші - бұл а кқуат, содан кейін n -дан үлкен немесе тең к:

а к
1
 
+ а к
2
 
+ ... + а к
n
 
= бк
nк

Болжам жалпылау әрекетін білдіреді Ферманың соңғы теоремасы, бұл ерекше жағдай n = 2: егер а к
1
 
+ а к
2
 
= бк
, содан кейін 2 ≥ к.

Болжам іске қатысты болса да к = 3 (бұл Ферманың үшінші күштерге арналған соңғы теоремасынан туындайды), ол жоққа шығарылды к = 4 және к = 5. Болжамның сәтсіздікке ұшырауы немесе қандай-да бір мәнге ие болуы белгісіз к ≥ 6.

Фон

Эйлер теңдік туралы білген 594 + 1584 = 1334 + 1344 төрт төртінші дәреженің қосындысын қосқанда; бірақ бұл а қарсы мысал өйткені теңдеудің бір жағында ешқандай мүше оқшауланбаған. Ол сондай-ақ төрт текше есебінің толық шешімін ұсынды Платонның нөмірі 33 + 43 + 53 = 63 немесе такси нөмірі 1729.[1][2] Теңдеудің жалпы шешімі

болып табылады

қайда а және б кез келген бүтін сандар.

Қарсы мысалдар

Эйлердің жорамалын жоққа шығарды L. J. Lander және Паркин Т.Р. 1966 ж. тікелей компьютерлік іздеу арқылы а CDC 6600, олар қарсы мысал тапты к = 5.[3] Бұл тек екі сөйлемнен тұратын қағазда жарияланды.[3] Барлығы үш қарабайыр (яғни, жиынтықтардың жалпы факторы жоқ болатын) қарсы мысалдар белгілі:

275 + 845 + 1105 + 1335 = 1445 (Lander & Parkin, 1966),
(−220)5 + 50275 + 62375 + 140685 = 141325 (Scher & Seidl, 1996), және
555 + 31835 + 289695 + 852825 = 853595 (Фрай, 2004).

1986 жылы, Ноам Элкиес үшін қарсы мысалдардың шексіз қатарын құру әдісін тапты к = 4 іс.[4] Оның ең кішкентай қарсы мысалы болды

26824404 + 153656394 + 187967604 = 206156734.

Elkies шешімдерінің нақты жағдайын сәйкестендіруге дейін қысқартуға болады[5][6]

(85v2 + 484v − 313)4 + (68v2 − 586v + 10)4 + (2сен)4 = (357v2 − 204v + 363)4

қайда

сен2 = 22030 + 28849v56158v2 + 36941v331790v4.

Бұл эллиптикалық қисық а ұтымды нүкте кезінде v1 = −31/467. Осы бастапқы рационалды нүктеден басқалардың шексіз жиынтығын есептеуге болады. Ауыстыру v1 сәйкестілікке және жалпы факторларды жоюға жоғарыда келтірілген сандық мысал келтірілген.

1988 жылы, Роджер Фрай ықтимал ең кіші мысалды тапты

958004 + 2175194 + 4145604 = 4224814

үшін к = 4 Elkies ұсынған тәсілдерді қолдана отырып, тікелей компьютерлік іздеу арқылы. Бұл шешім айнымалылардың мәні 1 000 000-нан төмен жалғыз болып табылады.[7]

Жалпылау

Платонның нөмірін бір түсіндіру, 3³ + 4³ + 5³ = 6³

1967 жылы Л. Дж. Ландер, Т.Р. Паркин және Джон Селридж болжамды[8] егер болса

,

қайда аменбj барлығы үшін натурал сандар болып табылады 1 ≤ менn және 1 ≤ jм, содан кейін м + nк. Ерекше жағдайда м = 1, болжам бойынша, егер

(жоғарыда келтірілген шарттарда) содан кейін nк − 1.

Ерекше жағдай а беру проблемасы ретінде сипатталуы мүмкін бөлім аз ғана қуатқа ие керемет күш. Үшін к = 4, 5, 7, 8 және n = к немесе к − 1, көптеген белгілі шешімдер бар. Олардың кейбіреулері төменде келтірілген. 2002 жылғы жағдай бойынша шешімдер жоқ оның соңғы мерзімі ≤ 730000.[9]

к = 3

33 + 43 + 53 = 63 (Платонның нөмірі 216)
Бұл жағдай а=1, б= 0 Шриниваса Раманужан формула
[10]
Текшені үш кубтың қосындысы ретінде келесі параметрге келтіруге болады
немесе сол сияқты
[10]
2 100 000 саны3 тоғыз түрлі жолмен үш кубтың қосындысы түрінде көрсетілуі мүмкін.[10]

к = 4

958004 + 2175194 + 4145604 = 4224814 (Р. Фрай, 1988)[4]
304 + 1204 + 2724 + 3154 = 3534 (Р.Норри, 1911)[8]

Бұл Р.Норридің мәселені шешудің ең кішкентай шешімі.

к = 5

275 + 845 + 1105 + 1335 = 1445 (Lander & Parkin, 1966)[11]
195 + 435 + 465 + 475 + 675 = 725 (Ландер, Паркин, Селридж, ең кішкентай, 1967)[8]
75 + 435 + 575 + 805 + 1005 = 1075 (Sastry, 1934, үшінші кіші)[8]

к = 7

1277 + 2587 + 2667 + 4137 + 4307 + 4397 + 5257 = 5687 (М. Додрилл, 1999)[дәйексөз қажет ]

к = 8

908 + 2238 + 4788 + 5248 + 7488 + 10888 + 11908 + 13248 = 14098 (С. Чейз, 2000)[дәйексөз қажет ]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Данхэм, Уильям, ред. (2007). Эйлердің данышпаны: оның өмірі мен шығармашылығы туралы ойлар. MAA. б. 220. ISBN  978-0-88385-558-4.
  2. ^ Тит, III, Пьезас (2005). «Эйлердің кеңейтілген болжамы».
  3. ^ а б Ландер, Л. Дж .; Паркин, Т.Р (1966). «Эйлердің болжамына ұқсас мысалдарға қарсы мысал». Өгіз. Amer. Математика. Soc. 72 (6): 1079. дои:10.1090 / S0002-9904-1966-11654-3.
  4. ^ а б Elkies, Noam (1988). «Қосулы A4 + B4 + C4 = Д.4" (PDF). Есептеу математикасы. 51 (184): 825–835. дои:10.1090 / S0025-5718-1988-0930224-9. JSTOR  2008781. МЫРЗА  0930224.
  5. ^ «Elkies» а4+б4+в4 = г.4".
  6. ^ «Төртінші державалардың қосындылары».
  7. ^ Фрай, Роджер Э. (1988), «95800 табу4 + 2175194 + 4145604 = 4224814 қосу машинасында », Supercomputing 88, II том: Ғылым және қосымшалар, 106–116 б., дои:10.1109 / SUPERC.1988.74138
  8. ^ а б в г. Ландер, Л. Дж .; Паркин, Т.Р .; Selfridge, J. L. (1967). «Ұқсас күштердің тең сомаларына шолу». Есептеу математикасы. 21 (99): 446–459. дои:10.1090 / S0025-5718-1967-0222008-0. JSTOR  2003249.
  9. ^ Джованни Ресторан және Жан-Шарль Мейригнак (2002). Диофантия теңдеуінің ең кіші шешімдері , Есептеу математикасы, т. 72, б. 1054 (қараңыз. Қараңыз) әрі қарайғы жұмыс бөлім).
  10. ^ а б в Математика әлемі: Диофантиялық теңдеу - 3-дәреже
  11. ^ Беркард Полстер (24.03.2018). «Эйлер мен Ферманың соңғы теоремалары, Симпсондар және CDC6600» (видео). Алынған 2018-03-24.

Сыртқы сілтемелер