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

ラマヌジャン・スコーレムの定理（-のていり、英:Ramanujan-Skolem's theorem）またはラマヌジャン・ナーゲルの定理（-のていり、英:Ramanujan-Nagell's theorem）はディオファントス方程式の一つの解に関する定理で、次の不定方程式

2ⁿ - 7 = x²

の自然数解が存在するのは n = 3, 4, 5, 7, 15 のときだけであるというもの。(n,x)=(3,1),(4,3),(5,5),(7,11),(15,181) である。

シュリニヴァーサ・ラマヌジャンが予想し、ナーゲル(Trygve Nagell)が1948年に、トアルフ・スコーレムが1959年に証明した。