■２^n−７＝ｘ^2（その３）
ラマヌジャンの問題「２^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
これはｎ＞１であることを意味するが，［１］とは違って有限個の可能性以外のすべての場合を除去することはできないのである．
「２^n−７＝ｘ^2の整数解を求めよ」と「２^n＋７＝ｘ^2の整数解を求めよ」には大きな違いがあるようには見えないが，実際の難しさは段違いなのである．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【３】２^n＋１＝ｘ^2の整数解
左辺の１を右辺に移項して因数分解すると
２^n＝（ｘ＋１）（ｘ−１）
素因数分解の一意性より
ｘ−１＝２^k，ｘ＋１＝２^m
２＝２^k（２^m-k−１）
この等式が成立するのはｋ＝１，ｍ＝２，ｘ＝３，ｎ＝３のときだけである．
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
２^n＋１＝ｘ^2 （ｍｏｄ２）
を考えれば，
ｎ＞０のとき，１＝ｘ^2
ｎ＝０のとき，０＝ｘ^2
ｘが偶数のとき，ｘ＝２ｋ→ｘ^2＝４ｋ^2
ｘが奇数のとき，ｘ＝２ｋ＋１→ｘ^2＝４（ｋ^2＋ｋ）＋１
より，平方数ｘ^2に対してはｘ^2＝０あるいは１（ｍｏｄ２）でなければならない．このことはｎ＝０→ｘは偶数→ｘ＝０かｎ＞０→ｘは奇数であることを意味する．
ｘ＝１＋２ｔ
を
２^n＝（ｘ＋１）（ｘ−１）
に代入すると
ｔ（ｔ＋１）＝２^n-2
この等式が成立するのはｔ＝１，ｘ＝３，ｎ＝３のときだけである．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【４】２^n−１＝ｘ^2の整数解
左辺の１を右辺に移項して因数分解すると
２^n＝（ｘ＋１）（ｘ−１）
素因数分解の一意性より
ｘ−１＝２^k，ｘ＋１＝２^m
２＝２^k（２^m-k−１）
この等式が成立するのはｋ＝１，ｍ＝２，ｘ＝３，ｎ＝３のときだけである．
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
２^n−１＝ｘ^2 （ｍｏｄ２）
を考えれば，
ｎ＞１のとき，１＝ｘ^2
ｎ＝１のとき，１＝ｘ^2
ｎ＝０のとき，０＝ｘ^2
ｘが偶数のとき，ｘ＝２ｋ→ｘ^2＝４ｋ^2
ｘが奇数のとき，ｘ＝２ｋ＋１→ｘ^2＝４（ｋ^2＋ｋ）＋１
より，平方数ｘ^2に対してはｘ^2＝０あるいは１（ｍｏｄ２）でなければならない．このことはｎ＝０→ｘは偶数→ｘ＝０かｎ＝１→ｘは奇数→ｘ＝１であることを意味する．
ｎ＞１のときは，ｘ＝１＋２ｔを
２^n−１＝ｘ^2
に代入すると
２ｔ（ｔ＋１）＋１＝２^n-1
となるが，この等式は成立しない．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
