■n次元平行多面体数(その137)
【1】Anのボロノイ細胞の要素数
N0=2(2^n−1)
N1=2(2^n-1−1)(n+1,1)=2(n+1)(2^n-1−1)
Nk=2(2^n-k−1)(n+1,k)
はオイラー・ポアンカレの公式を満たす.
この公式において
k←n−k−1
と置換すると
fk=Nn-k-1=2(2^k+1−1)(n+1,n−k−1)=2(2^k+1−1)(n+1,k+2)
f0=n(n+1)
f1=(n−1)n(n+1)=(n−1)f0
fn-1=2(2^n−1)
3次元:(f0,f1,f2)=(12,24,14)→存在(101)
4次元:(f0,f1,f2,f3)=(20,60,70,30)→存在(1001)
5次元:(f0,f1,f2,f3,f4)=(30,120,210,180,62)→存在(10001)
6次元:(f0,f1,f2,f3,f4,f5)=(42,210,490,630,434,126)→存在(10001)
===================================
【2】Cnのボロノイ細胞の要素数
N0=2^n+2n
Nk=2^n-k(n,k)+2^n-k+1k(n,k) 1≦k≦n−3
Nn-2=2^3(n−2)(n,n−2)
Nn-1=2^2(n,n−2)
はオイラー・ポアンカレの公式を満たす.
この公式において
k←n−k−1
と置換すると
fk=Nn-k-1=2^k+1(n,n−k−1)+2^k+2(n−k−1)(n,n−k−1)
=2^k+1(n,k+1)+2^k+2(n−k−1)(n,k+1)
1≧n−k−1≧n−3→2≦k≦n−2
f0=2^2(n,n−2)=2n(n−1)
f1=2^3(n−2)(n,n−2)=2(n−2)f0
fn-1=2^n+2n
3次元:(f0,f1,f2)=(12,24,14)→存在(010)
4次元:(f0,f1,f2,f3)=(24,96,96,24)→存在(0100)
5次元:(f0,f1,f2,f3,f4)=(40,240,400,240,42)→存在(01000)
6次元:(f0,f1,f2,f3,f4,f5)=(60,480,1120,1200,576,76)→存在(010000)
===================================
【3】まとめ
Anのボロノイ細胞からは,全切頂切稜型準正多胞体,Cnのボロノイ細胞からは,切頂型準正多胞体を構成することができた.
===================================