About: ラマヌジャン・スコーレムの定理

ラマヌジャン・スコーレムの定理（ラマヌジャン・スコーレムのていり、英: Ramanujan-Skolem's theorem）またはラマヌジャン・ナーゲルの定理（ラマヌジャン・ナーゲルのていり、英: Ramanujan-Nagell's theorem）はディオファントス方程式の一つの解に関する定理で、次の不定方程式 2n − 7 = x2 の自然数解が存在するのは n = 3, 4, 5, 7, 15 のときだけであるというもの。(n, x) = (3, 1), (4, 3), (5, 5), (7, 11), (15, 181) である。 シュリニヴァーサ・ラマヌジャンが予想し、ナーゲル (Trygve Nagell) が1948年に（元の証明はノルウェー語で発表されたが、1961年に英語版の論文が発表された）、トアルフ・スコーレムが1959年に証明した。