【１】リュカの問題

　　１^2＋２^2＋３^2＋・・・＋２４^2＝２４（２４＋１）（２・２４＋１）／６＝７０^2

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

　級数の公式：Σｋ^2＝ｎ（ｎ＋１）（２ｎ＋１）／６をご存じの方も多いでしょうが，１からｎまでの平方の和が平方数となるのはｎが１か２４の場合しかありません．四面体数＝四角数あるいは２５平方の等式ともいうべきこの等式はリュカの問題（１８７３年）として知られています．

　ｙ^2＝ｘ（ｘ＋１）（２ｘ＋１）／６の唯一自明でない整数解は（２４，７０）で，それ以外の自明な解がないことは楕円関数やペル方程式を使って証明されています．すなわち，１より大きい数でこれが起こるのは２４だけで，それ以外の数では決して最初の２個の平方の和は平方数にはならないのです．

　この等式は辺の長さが相続く整数列１，２，・・・，２４の正方形を１辺の長さ７０の正方形の中に詰め込める可能性があることを示唆しています．それでは，実際に，７０×７０の正方形を辺が１から２４の相続く正方形によって埋めつくすことができるでしょうか．この問題の答えは否定的（不可能）です．１辺の長さ７の正方形を除くすべての正方形は詰め込めるのですが・・・．それならば，無駄な空間の割合を最小にして，辺の長さが１，２，・・・，ｎの正方形を全て詰め込むことができる最小の正方形の辺の長さはいくつでしょうか．また，相続く整数辺の正方形を使って長方形を充填できるでしょうか．

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

　（２４，７０）以外に解は存在しないことの証明は，１９１８年にワトソンにより楕円関数論を用いてなされましたが，初等的証明も発見されているそうです．

［Ｑ］１^2＋２^2＋３^2＋・・・＋ｍ^2＝ｍ（ｍ＋１）（２ｍ＋１）／６＝ｎ^2が成り立つとき，ｍ＝０，１（ｍｏｄ２４）であることを示せ．

　ここまで解けても証明の完成には途猶遠しなのだそうですが，我と思わん方は是非挑戦してみてください．

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