■n次元の立方体と直角三角錐(その262)
5次元正軸系・切頂型では,
[0,1,0,0,0]
[1,1,0,0,0],[0,1,1,0,0]
と多くの準正多胞体でつまづいてしまったが,これまで未解決のものはこの3つだけとなった.
これらに共通しているのは1が[]の前半に集中している点である.いろいろ試みたが,解決の糸口が見つからないので,双対(?)を考えることにした.
[0,0,0,1,0]
[0,0,0,1,1],[0,0,1,1,0]
しかし,fn-2は未知であるから,この方法でうまく行くはずはない.
===================================
正単体系[0,1,0,0](10,30)→[0,1,0,0,0](40,240)では,正軸体系[1,0,0,0](8,24)10個分が加わって
(30×32+24×10)/4=300 (NG)
[0,1,0,0,0]→[0,0,0,1,0]→[0,0,0,1]+[0,0,1,0]
このままでは
[0,0,0,1](5,10)+[0,0,1,0](32,96)
(10×32+96×10)/4=320 (NG)
逆にすると
[0,0,1,0](10,30)+[0,0,0,1](16,32)
(10×32+32×10)/4=160 (NG)
このまま双対をとって
[1,0,0,0](5,10)+[0,1,0,0](24,96)
(10×32+96×10)/4=320 (NG)
逆にしてから双対をとると
[0,1,0,0](10,30)+[1,0,0,0](8,24)
(10×32+96×10)/4=320 (NG)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
正単体系[1,1,0,0](20,40)→[1,1,0,0,0](80,280)では,正軸体系[1,0,0,0](8,24)10個分が加わって
(40×32+24×10)/4=380 (NG)
[1,1,0,0,0]→[0,0,0,1,1]→[0,0,0,1]+[0,0,1,1]
このままでは
[0,0,0,1](5,10)+[0,0,1,1](64,128)
(10×32+128×10)/4=360 (NG)
逆にすると
[0,0,1,1](20,40)+[0,0,0,1](16,32)
(40×32+32×10)/4=400 (NG)
このまま双対をとって
[1,0,0,0](5,10)+[1,1,0,0](48,128)
(10×32+128×10)/4=400 (NG)
逆にしてから双対をとると
[1,1,0,0](20,40)+[1,0,0,0](8,24)
(40×32+24×10)/4=380 (NG)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
正単体系[0,1,1,0](30,60)→[0,1,1,0,0](240,720)では,正軸体系[1,1,0,0](48,120)10個分が加わって
(60×32+120×10)/4=780 (NG)
[0,1,1,0,0]→[0,0,1,1,0]→[0,0,1,1]+[0,1,1,0]
このままでは
[0,0,1,1](20.40)+[0,1,1,0](96,192)
(40×32+192×10)/4=800 (NG)
逆にすると
[0,1,1,0](30,60)+[0,0,1,1](64,128)
(60×32+128×10)/4=800 (NG)
このまま双対をとって
[1,1,0,0](20,40)+[0,1,1,0](96,192)
(40×32+192×10)/4=800 (NG)
逆にしてから双対をとると
[0,1,1,0](30,60)+[1,1,0,0](48,120)
(60×32+120×10)/4=780 (NG)
===================================