(S1+S2)/2=S0が常に成り立つかといえばそうではなく,いわくいいがたしという結果になってしまった.4n乗和を越えると成り立たなくなるのかもしれない.
===================================
【1】正方形の場合
S1 S2 S0
[1]二乗和 8 8 8
[2]四乗和 24 24 24
[3]六乗和 80 80 80
[4]八乗和 288 272 280 ○
[5]十乗和 1088 928 1008 ○
[6]十二乗和 4224 3168 3696 ○
[7]十四乗和 16640 10816 13728 ○
[8]十六乗和 66048 36928 51480 ×
===================================
【2】まとめ
S0=(2m,m)n
S1=Σ(1,n))|P1Pj|^2m
S2=Σ(0,n))|P0Pj|^2m
とする.
[1]S1=S0 (n>m)
[2]S2=S0 (n>m)
[3](S1+S2)/2=S0 (n>m/2)
===================================