リュカの問題の初等的証明(その9)

■リュカの問題の初等的証明(その9)

【1】リュカの問題

  1^2+2^2+3^2+・・・+24^2=24(24+1)(2・24+1)/6=70^2

は,最初の24個の平方数の合計が平方数になっているという面白い式です.驚異的ですらあります.

 級数の公式:Σk^2=n(n+1)(2n+1)/6をご存じの方も多いでしょうが,1からnまでの平方の和が平方数となるのはnが1か24の場合しかありません.四面体数=四角数あるいは25平方の等式ともいうべきこの等式はリュカの問題(1873年)として知られています.

 y^2=x(x+1)(2x+1)/6の唯一自明でない整数解は(24,70)で,それ以外の自明な解がないことは楕円関数やペル方程式を使って証明されています.すなわち,1より大きい数でこれが起こるのは24だけで,それ以外の数では決して最初の2個の平方の和は平方数にはならないのです.

 (24,70)以外に解は存在しないことの証明は,1918年にワトソンにより楕円関数論を用いてなされましたが,初等的証明も発見されているそうです.

===================================

[Q]1^2+2^2+3^2+・・・+m^2=m(m+1)(2m+1)/6=n^2,mは6の倍数で,n<100という制限をつけて,mを求めてみよ.

2m+1は奇数であるから

[1]m=3a^2,(m+1)=2b^2,(2m+1)=c^2

[2]m=2a^2,(m+1)=3b^2,(2m+1)=c^2

[3]m=2a^2,(m+1)=b^2,(2m+1)=3c^2

[4]m=a^2,(m+1)=6b^2,(2m+1)=c^2

[5]m=6a^2,(m+1)=b^2,(2m+1)=c^2

[6]m=a^2,(m+1)=2b^2,(2m+1)=3c^2

の6通りが考えられるが、さらに絞り込みは可能と思われる。次回の宿題としたい。

===================================

[1]c^2=6a^2+1,c^2=4b^2-1,2b^2=3a^2+1

[2]c~2=4a^2+1,c^2=^6b^2-1,3b^2=2a^2+1

[3]3c^2=4a^2+1,3c^2=2b^2-1,b^2=2a^2+1

[4]c^2=2a^2+1,c^2=12b^2-1,6b^2=a^2+1

[5]c^2=12a^2+1,c^2=2b^2-1,b^2=6a^2+1

[6]3c^2=2a^2+1,3c^2=4b^2-1,2b^2=a^2+1

有理数解であればc=mt, c=mbを代入したいところであるが・・・

この問題は楕円曲線y^2=x(x+1/2)(x+1)/3上の整数点に帰着させるか、連立ペル方程式に帰着させるか、

後者であれば双曲線上の整数点の問題となる。

===================================