Ердис-Мозер теңдеуі - Erdős–Moser equation

Сұрақ, Web Fundamentals.svgМатематикадағы шешілмеген мәселе:
Ердис-Мозер теңдеуінің шешімінен басқа шешімдері бар ма? ?
(математикадағы шешілмеген мәселелер)

Жылы сандар теориясы, Ердис-Мозер теңдеуі болып табылады

қайда және оң бүтін сандар. Жалғыз белгілі шешім1 + 21 = 31, және Paul Erdős басқа шешімдер жоқ деп болжайды.

Шешімдерге қатысты шектеулер

Лео Мозер 1953 жылы 2 бөлінетіндігін дәлелдеді к және басқа шешім жоқ екенін м < 101,000,000.

1966 жылы 6 ≤ екендігі көрсетілді к + 2 < м < 2к.

1994 жылы бұл көрсетілді лсм (1,2, ..., 200) бөледі к және кез-келген қарапайым фактор м + 1 болуы керек тұрақты емес және> 10000.

Мозердің әдісі 1999 жылы оны көрсету үшін кеңейтілді м > 1.485 × 109,321,155.

2002 жылы 200-ден 1000-ға дейінгі барлық жай бөлшектер бөлінуі керек екендігі көрсетілді к.

2009 жылы 2 көрсетілдік / (2м - 1) а болуы керек конвергентті туралы ln (2); мұны көрсету үшін ln (2) көлемді есептеу қолданылды м > 2.7139 × 101,667,658,416.

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

  • Галлот, Ив; Мори, Питер; Зудилин, Вадим (2010). «Ердис-Мозер теңдеуі 1к + 2к + ... + (м – 1)к = мк Жалғастырылған бөлшектерді қолдану арқылы қайта қарау ». Есептеу математикасы. 80: 1221–1237. Алынған 2017-03-20.CS1 maint: ref = harv (сілтеме)
  • Мозер, Лео (1953). «Диофантиялық теңдеу туралы 1к + 2к + ... + (м – 1)к = мк". Математика. 19: 84–88.CS1 maint: ref = harv (сілтеме)
  • Бутске, В .; Джей, Л.М .; Майерник, Д.Р. (1999). «Теңдеу Σб|N 1/б + 1/N = 1, жалған мінсіз сандар және ішінара өлшенген графиктер «. Математика. Комп. 69: 407–420. дои:10.1090 / s0025-5718-99-01088-1. Алынған 2017-03-20.CS1 maint: ref = harv (сілтеме)
  • Кшиштофек, Б. (1966). «Теңдеу 1n + ... + мn = (м + 1)n". Wyz. Школь. Пед. w. Katowicech-Zeszyty Nauk. Sekc. Математика. (поляк тілінде). 5: 47–54.CS1 maint: ref = harv (сілтеме)
  • Мори, Питер; te Riele, Герман; Урбанович, Дж. (1994). «Бүтін сандардың бөлінгіштік қасиеттері х, к 1. Қанағаттанарлықк + 2к + ... + (х – 1)к = хк". Математика. Комп. 63: 799–815. Алынған 2017-03-20.CS1 maint: ref = harv (сілтеме)