A Ramanujan-Nagel egyenlet a számelméletben a következő formájú egyenlet :
Megköveteli az ismeretlenek természetes megoldásainak megtalálását és .
Ez egy példa egy exponenciális diofantusz egyenletre . Az egyenlet Srinivasa Ramanujan indiai matematikus és Trygve Nagel norvég matematikus nevéhez fűződik .
Ez az egyenlet a következő [1] feladat megoldása során merül fel : keresse meg az összes Mersenne-számot , azaz olyan alakú számot, amely egyidejűleg háromszög szám (vagyis formájú ). Az egyszerű átalakítások a következő eredményhez vezetnek:
A csere elvégzése után megkapjuk a Ramanujan-Nagel egyenletet.
Ramanujan 1913-ban úgy sejtette [2] , hogy ennek az egyenletnek csak öt egész megoldása van:
n | 3 | négy | 5 | 7 | tizenöt | ( A060728 sorozat az OEIS -ben ) |
x | egy | 3 | 5 | tizenegy | 181 | ( A038198 sorozat az OEIS -ben ) |
Mint általában, Ramanujan nem szolgáltatott bizonyítékot, és nem magyarázta meg, hogyan jutott egy ilyen hipotézishez. Ramanujantól függetlenül 1943-ban Wilhelm Jungren norvég matematikus is hasonló hipotézist terjesztett elő [3] . 1948-ban egy másik norvég matematikus, Trygve Nagel bizonyítékot publikált [4] [5] .
A megoldásoknak megfelelő "háromszög alakú Mersenne-számokat" gyakran Ramanujan-Nagel számoknak nevezik [1] :
Ezek közül is öt van: 0, 1, 3, 15, 4095 ( A076046 sorozat az OEIS -ben ).
A német matematikus , Karl Ludwig Siegel a forma valamivel általánosabb egyenletét vizsgálta:
ahol az egész konstansok vannak, és meg kell találni a változók természetes értékeit . Siegel bebizonyította:
Példa : Az egyenletnek hat megoldása van:
n | 3 | négy | 5 | 6 | nyolc | tizenöt |
x | egy | tizenegy | 19 | 129 | 61 | 701 |
Egy másik általánosítás a Lebesgue-Nagel egyenlet :
hol vannak egész szám állandók, és meg kell találni a változók természetes értékeit. Az egyenlet Victor Amede Lebesgue francia matematikusról kapta a nevét , aki 1850-ben megvizsgálta az egyenletet , és bebizonyította, hogy csak triviális megoldásai vannak [8] :
Schori és Teideman [9] eredményeiből az következik , hogy a Lebesgue-Nagel egyenlet megoldásainak száma mindig véges [10] . Bugeaud, Mignotte és Sixek ilyen típusú egyenleteket [11] oldott meg és -vel . Különösen az eredeti Ramanujan-Nagel egyenlet általánosítása:
pozitív egész megoldásai vannak, ha x = 1, 3, 5, 11 és 181.