ラマヌジャンの問題「２^n−７＝ｘ^2の整数解を求めよ」について，ｎ＝１０^40までコンピュータ検索したが，ラマヌジャン自身が示した解

　　ｎ＝３，４，５，７，１５

以外の解を発見することはできなかったという．

　最近，これ以外の解はないことが証明されたのだが，今回のコラムでは符号を変えた問題

　　「２^n＋７＝ｘ^2の整数解をすべて求めよ」

と対比しながら，ラマヌジャンの問題について考えてみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】２^n＋７＝ｘ^2の整数解

　ｎが偶数の場合，与えられたディオファントス方程式は

　　７＝ｘ^2−２^n＝（ｘ−２^n/2）（ｘ＋２^n/2）

のように因数分解できる．（ｘ−２^n/2），（ｘ＋２^n/2）は７の因数であるから±１，±７でなければならない．このことから，ｘは奇数であることが示されるが，このアプローチではこれで精いっぱいである．

　次に

　　２^n＋７＝ｘ^2　　（ｍｏｄ２）

を考えれば，

　　ｎ＞０のとき，７＝ｘ^2

　　ｎ＝０のとき，８＝ｘ^2

それほど悪くはないが，まだうまくいかない．

　そこで，ｍｏｄ２の代わりにｍｏｄ４，すなわち

　　２^n＋７＝ｘ^2　　（ｍｏｄ４）

を考えれば，

　　ｎ＞１のとき，３＝ｘ^2

　　ｎ＝１のとき，１＝ｘ^2

　　ｎ＝０のとき，０＝ｘ^2

　ｘが偶数のとき，ｘ＝２ｋ→ｘ^2＝４ｋ^2

　ｘが奇数のとき，ｘ＝２ｋ＋１→ｘ^2＝４（ｋ^2＋ｋ）＋１

より，平方数ｘ^2に対してはｘ^2＝０あるいは１（ｍｏｄ４）でなければならない．このことはｎ＝０か１であることを意味する．ｎ＝０はｘ^2＝８よりＮＧ．ｎ＝１，ｘ＝±３であることが示される．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】２^n−７＝ｘ^2の整数解（ラマヌジャンの問題）

　　２^n−７＝ｘ^2　　（ｍｏｄ４）

を考えれば，

　　ｎ＞１のとき，１＝ｘ^2

　　ｎ＝１のとき，３＝ｘ^2

　　ｎ＝０のとき，２＝ｘ^2

これはｎ＞１であることを意味するが，［１］とは違って有限個の可能性以外のすべての場合を除去することはできないのである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】ｎ！＋１＝ｘ^2の整数解（エルデシュの問題）

　エルデシュの問題「ｎ！＋１＝ｘ^2の整数解を求めよ」について，エルデシュ自身は３組の解，４！＋１＝５^2，５！＋１＝１１^2，７！＋１＝７１^2しかないと予想した．現在のところ有限個の解しかないのかどうかもわかっていない．

　　ｎ！＋１＝ｘ^2　　（ｍｏｄ４）

を考えれば，

　　ｎ＞３のとき，１＝ｘ^2

　　ｎ＝３のとき，７＝ｘ^2

　　ｎ＝２のとき，３＝ｘ^2

　　ｎ＝１のとき，２＝ｘ^2

　　ｎ＝０のとき，２＝ｘ^2

これはｎ＞３であることを意味するが，この問題でも有限個の可能性以外のすべての場合を除去することはできないのである．

［補］ウィルソンの定理：（ｎ−１）！＋１はｎが素数のときに限り，ｎの倍数である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝