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つおきの頂点を結ぶことになるが,直角三角錐を残すように取り除くと正軸体ができるというわけである.
===================================