■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)

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