Ecuația Ramanujan-Nagel în teoria numerelor este o ecuație de următoarea formă:
Necesită găsirea de soluții naturale ale necunoscutelor și .
Acesta este un exemplu de ecuație diofanțială exponențială . Ecuația este numită după matematicianul indian Srinivasa Ramanujan și matematicianul norvegian Trygve Nagel .
Această ecuație apare la rezolvarea următoarei probleme [1] : găsiți toate numerele Mersenne , adică numerele de forma care sunt simultan numere triunghiulare (adică au forma ). Transformările simple duc la următorul rezultat:
După efectuarea înlocuirii , obținem ecuația Ramanujan-Nagel.
Ramanujan a presupus în 1913 [2] că această ecuație are doar cinci soluții întregi:
n | 3 | patru | 5 | 7 | cincisprezece | (secvența A060728 în OEIS ) |
X | unu | 3 | 5 | unsprezece | 181 | (secvența A038198 în OEIS ) |
Ca de obicei, Ramanujan nu a oferit dovezi și nici nu a explicat cum a ajuns la o astfel de ipoteză. Independent de Ramanujan, în 1943 o ipoteză similară a fost înaintată de matematicianul norvegian Wilhelm Jungren [3] . În 1948, un alt matematician norvegian, Trygve Nagel , a publicat o dovadă [4] [5] .
„Numerele triunghiulare Mersenne” corespunzătoare soluțiilor sunt adesea numite numere Ramanujan-Nagel [1] :
Există și cinci dintre ele: 0, 1, 3, 15, 4095 (secvența A076046 în OEIS ).
Matematicianul german Karl Ludwig Siegel a considerat o ecuație ceva mai generală de forma:
unde sunt constante întregi și este necesar să se găsească valorile naturale ale variabilelor . Siegel a dovedit:
Exemplu : ecuația are șase soluții:
n | 3 | patru | 5 | 6 | opt | cincisprezece |
X | unu | unsprezece | 19 | 129 | 61 | 701 |
O altă generalizare este ecuația Lebesgue-Nagel :
unde sunt constante întregi și este necesar să se găsească valorile naturale ale variabilelor Ecuația este numită după matematicianul francez Victor-Amede Lebesgue , care în 1850 a investigat ecuația și a demonstrat că are doar soluții banale. [8] :
Din rezultatele lui Schori și Teideman [9] rezultă că numărul de soluții la ecuația Lebesgue-Nagel este întotdeauna finit [10] . Bugeaud, Mignotte și Sixek au rezolvat ecuații de acest tip [11] cu și . În special, o generalizare a ecuației originale Ramanujan-Nagel:
are soluții întregi pozitive când x = 1, 3, 5, 11 și 181.