■DE群多面体の面数公式(その384)
[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=(1/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)内分点を通る.hγnの基本単体は
aj=(2/j(j+1))^1/2,an=(n−2)/(2n)^1/2
===================================