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

 やっとhγnの基本単体の計算ができそうである.

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

[1]αn:aj=(2/j(j+1))^1/2

[2]βn:aj=(2/j(j+1))^1/2,an=(2/n)^1/2

はαn,βnの1辺の長さが2のときのデータである.

 1辺の長さが√2のときにリスケーリングすると

[1]αn:aj=(1/j(j+1))^1/2

[2]βn:aj=(1/j(j+1))^1/2,an=(1/n)^1/2

 δn:aj=(2/j(j+1))^1/2,an=(n−2)/2√n

はhγnの1辺の長さが√2のときのデータである.

 これらは1辺の長さ1の立方体にはまりこむ.そのとき,立方体の中心から正軸体の中心までの距離は(√n)/2

n=3のとき,

√3/2=1/√3+1/2√3+=3/2√3

が成り立つ.(2:1に内分)

n=4のとき,中心間距離は1

an=(1/n)^1/2→1/2

an=(n−2)/2√n→1/2

和は1となり中心間距離と一致(2:2に内分)

n=5のとき,中心間距離は(√5)/2

an=(1/n)^1/2→1/√5

an=(n−2)/2√n→3/2√5

1/√5+3/2√5=5/2√5=(√5)/2

和は中心間距離と一致(2:3に内分)

n=6のとき,中心間距離は(√6)/2

an=(1/n)^1/2→1/√6

an=(n−2)/2√n→4/2√6

1/√6+4/2√6=6/2√6=(√6)/2

和は中心間距離と一致(2:4に内分)

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

[まとめ]2:(n−2)内分点を通る.

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