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

出典:wikipedia