■リュカの問題の初等的証明(その25)
【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年にワトソンにより楕円関数論を用いてなされましたが,初等的証明も発見されているそうです.
===================================
次のようなアプローチはできないだろうか?
m1=2-1=1
m2=4-1=3
m3=9-1=8
m4=121-1=120
{1,3,8,120}はどの2つを掛け合わせ1を加えても平方数になる集合である。
m1m2+1=4
m1m3+1=9
m1m4+1=121
m2m3+1=25
m2m4+1=361
m3m4+1=961
===================================
m5=1680,m6=23408,・・・と続く
===================================