■4次元正多胞体による空間充填と元素定理(その18)

 8次のアダマール行列

     [1, 1, 1, 1, 1, 1, 1, 1]

     [1,−1, 1,−1, 1,−1, 1,−1]

     [1, 1,−1,−1, 1, 1,−1,−1]

  H8 =[1,−1,−1, 1, 1,−1,−1, 1]

     [1, 1, 1, 1,−1,−1,−1,−1]

     [1,−1, 1,−1,−1, 1,−1, 1]

     [1, 1,−1,−1,−1,−1, 1, 1]

     [1,−1,−1, 1,−1, 1, 1,−1]

より,

  ±(1,1,1,1,1,1,1,1),

  ±(1,−1,1,−1,1,−1,1,−1),

  ±(1,1,−1,−1,1,1,−1,−1),

  ±(1,−1,−1,1,1,−1,−1,1),

  ±(1,1,1,1,−1,−1,−1,−1),

  ±(1,−1,1,−1,−1,1,−1,1),

  ±(1,1,−1,−1,−1,−1,1,1),

  ±(1,−1,−1,1,−1,1,1,−1)

は8次元超立方体に内接する正軸体の16頂点になる(辺の長さ√16=4).

 その際,3つおきの頂点を結ぶことになるが,直角三角錐を残すように取り除くと正軸体ができるというわけである.

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