■多面体的組み合わせ論(その12)
0/1多面体を一般化したものが整数多面体(頂点の座標が整数)である.
任意の単純多面体あるいは単体的多面体に対して,頂点の座標がすべて整数であるものが存在するか? このことはd≦3の場合,すべての多面体に対して成り立つが一般には成り立たない.
正軸体系の(1,・・・,1,0)は単純多面体で,その座標は,
(0,±1,±2,・・・,±n−1)
の置換2^n-1・n!個であることがわかる.たとえば,n=4の場合,
(0,±1,±2,,±3)→192個
単純多面体であるから,辺数はn/2・2^n-1・n!,ファセット数は3^n−1−2^(n-1)nと準正多面体である.
[Q]これ以外に整数多面体となる準多面体は存在するだろうか?
ということで,(その9)以降調べてきたが,
P0(0,・・・,0)
P1(a1,0,・・・,0)
P2(a1,a2,0,・・・,0)
・・・・・・・・・・・・・
Pn(a1,・・・,an)
aj=√(1/2j(j+1))
xj/aj=yj,y0=1,yn=0(xn=0)
において,yjは有理数,ajは一般に無理数であるので,xjは等差数列にならないと思われるが,しかし,それでは切頂八面体が整数多面体である事実に反することになる.どうやって調べればよいのだろうか?
===================================