>>322ありがとう。お言葉に甘えてn=877の解かいてみる。

>>319と同じa,α,β,ζ,p,q,Lをとる。
T = {z|p≧0,q≧0,p+q≦3a}
とする。
>>319と同様にして領域
0≦p≦a,a≦q≦2a}
において公差dが整数の長さ4の数列z1,z2,z3,z4,w1,w2,w3,w4がとれる。
q(z1) ≦ q(w1)としてよい。
ziを中心にwiをπ/3だけ負の方向に回転した点をvijとおく。
vijは設定から全てT上にあり４段の格子三角形を含むので(1)より終。

まだまだ減らせる予感はありあり。