■ABCからDEへ(その130)

[1]222の頂点

 (0,0,0,0,0,0)

 (0,0,0,0,0,4/√3)

 (2,0,0,0,0,−2/√3)

 (x1,x2,x3,x4,x5;y√3)

  6個の整数は0mod2すなわち偶数で,和は0mod4

[2]331の頂点(8次元空間)

 1/2(−3;0,0,0,0,0,0;−3)

 (0,0,0,0,0,0,0,0)

 (x1,x2,x3,x4,x5,x6,x7,x8)

  8個の整数はmod2で合同で,和は0

[3]331の頂点(7次元空間)

  (1,1,1,0,0,1,0)mod2の巡回置換

[4]521の頂点(9次元空間)

  9個の整数はmod3で合同で,和は0

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