■DE群多面体の面数公式(その276)

 イメージが湧かないのは,hγnのαn-1面のことは考慮しているが,hγn-1面のことを考慮していないためと思われる.

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

[1]3次元の場合

 γ3の1辺の長さを1とする.

 β3は1辺の長さ√2のものの1/2であるから

  V=2^3/2・2^3/2/6÷2=2/3

 hγ3=α3は1辺の長さ√2のものであるから

  V=2^3/2・2/2^3/2・3!=1/3

[2]4次元の場合

 γ4の1辺の長さを1とする.

 β4は1辺の長さ√2のものの1/2であるから

  V=2^2・2^2/24÷2=1/3

 hγ4=β4は1辺の長さ√2のものであるから

  V=2^2・2^2/24=2/3

 hγ4は1辺の長さ√2のα38個,hγ38個からなる.

  hγ4の中心からそれぞれへの距離は1/2,1/2

  V=1/3・1/2・1/4・8=1/3

  V=1/3・1/2・1/4・8=1/3

  合計は2/3 (一致)

[3]5次元の場合

 γ5の1辺の長さを1とする.

 β5は1辺の長さ√2のものの1/2であるから

  V=2^5/2・2^5/2/120÷2=16/120=2/15

  したがって,hγ5の体積は13/15

 hγ5は1辺の長さ√2のα416個,hγ410個からなる.

  hγ5の中心からそれぞれへの距離は1/2√5,1/2

  1辺の長さ√2のα4の体積は,

  V=2^4/2・√5/2^4/2・4!=√5/24

  V=√5/24・1/2√5・1/5・16=1/15

  1辺の長さ√2のhγ4の体積は2/3,

  V=2/3・1/2・1/5・10=2/3

  合計は11/15 (一致せず)

[4]6次元の場合

 γ6の1辺の長さを1とする.

 β6は1辺の長さ√2のものの1/2であるから

  V=2^3・2^3/720÷2=2/45

  したがって,hγ5の体積は43/45

 hγ6は1辺の長さ√2のα532個,hγ512個からなる.

  hγ6の中心からそれぞれへの距離は1/2√6,1/2

  1辺の長さ√2のα5の体積は,

  V=2^5/2・√6/2^5/2・5!=√6/120

  V=√6/120・1/2√6・1/6・32=1/120

  1辺の長さ√2のhγ5の体積は?,

  V=?・1/2・1/6・12=?

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