>>56
いや、奇数でないことを示すのが
意外に手ごわいっちゅーかキモっちゅーか。
合計が N (N + 1) / 2 なんで、「N または N + 1 の
どっちかが８の倍数」が必要条件なのは分かるが、
たとえば N ＝ 7 のときの解がないことを
エレガントに示すのに手こずっている。
もう一点は、N が８の倍数のときに、必ず
N 角形が存在することの証明がどう示せるかだ。
１６角形とかいうと、「後戻り」の可能性もあれば
辺が途中で交差してしまうケースも排除せんと
いかんだろうし。