■連続する平方数の和(その3)

1^2+2^2+3^2+・・・+n^2=n(n+1)(2n+1)/6

であるから6はn(n+1)(2n+1)を割り切らなければならない

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

n(n+1)は2の倍数である。これが3の倍数であるならばn(n+1)(2n+1)は6で割り切れることになる

n(n+1)が3で割り切れない→nは3で割り切れないかつn+1はで割り切れない→n=3k+1→ (2n+1)は3で割り切れる

したがって、n(n+1)(2n+1)は6で割り切れる

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

n=24のとき

1^2+2^2+3^2+・・・+24^2=24・25・49/6=70^2

この問題は1875年、リュカによって提起された。

1918年、ワトソンは一意解を持つことを証明した。

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

n=7のとき

1^2+2^2+3^2+・・・+7^2=7・8・15/6=140

n=9のとき

1^2+2^2+3^2+・・・+9^2=9・10・19/6=285

したがって、

(3^2+4^2+5^2+6^2+7^2+8^2+9^2)/(1^2+2^2+3^2+4^2+5^2+6^2+7^2)=2

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