ラマヌジャン・スコーレムの定理
ラマヌジャン・スコーレムの定理(ラマヌジャン・スコーレムのていり、英: 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年に(元の証明はノルウェー語で発表されたが、1961年に英語版の論文が発表された)、トアルフ・スコーレムが1959年に証明した。