■サマーヴィルの等面四面体(その815)

[1]n次元単体は,(n+1)次元超平面上で,(1,0,...,0), ..., (0,...,0,1)のように表せる.

[2]△nも同様に整数座標として表すことができる.

△2(0,0,0),(−2,1,1),(−1,−1,2)

△3(0,0,0,0),(−3,1,1,1),(−2,−2,2,2),(−1,−1,−1,3)

△4(0,0,0,0,0),(−4,1,1,1,1),(−3,−3,2,2,2),(−2,−2,−2,3,3),(−1,−1,−1,−1,4)

△5(0,0,0,0,0,0),(−5,1,1,1,1,1),(−4,−4,2,2,2,2),(−3,−3,−3,3,3,3),(−2,−2,−2,−2,4,4),(−1,−1,−1,−1,−1,5)

[3]正単体を元多胞体とするワイソフ多胞体はすべて超平面:x1+x2+x3+x4+x5=0上の頂点をもつ.

α4=t0α4:(4,−1,−1,−1,−1)

t0,1α4:(7,2,−3,−3,−3)

t1α4:(3,3,−2,−2,−2)

t1,2α4:(1,1,0,−1,−1)

t0,2α4:(6,1,1,−4,−4)

t0,3α4:(1,1,0,−1,−1)

t0,1,2α4:(9,4,−1,−6,−6)

t0,1,3α4:(8,3,−2,−2,−7)

t0,1,2,3α4:(2,1,0,−1,−2)→置換多面体

[4]E7の321多胞体を8次元超平面上に整数多面体として構成すると

  (3,3,−1,−1,−1,−1,−1,−1)

  (1,1,1,1,1,−2,−2,−2)の置換

[5]E8の421多胞体を9次元超平面上に整数多面体として構成すると

  (2,2,2,−1,−1,−1,−1,−1,−1)

  (1,1,1,1,1,1,−2,−2,−2)

  (3,0,0,0,0,0,0,0,−3)の置換

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