■DE群多面体の面数公式(その523)
D群ではαとhγ,E群ではαとβで,直角錘を構成するのは驚きであるが,長さc^2=1/2はどこから生じているのだろうか? まずはE群から.
===================================
[1]E群には
cosσ=1/2√2,cosρ=3/4
ρ+2σ=π
となる二面角が存在する.
[2]正三角柱
R^2=1+1/3+a3^2=7/3
=1+2/2+b3^2
[3]t1α4
R^2=1+1/3+1/6+a4^2=12/5
=1+1/3+2/3+b4^2
[4]221
R^2=1+1/3+1/6+1/10+1/15+a6^2=8/3
=1+1/3+1/6+1/10+2/5+b6^2
1/2が生じるとしたら1/3+1/6=1/2,P1P3か?
[5]321
R^2=1+1/3+1/6+1/10+1/15+1/21+a7^2=3
=1+1/3+1/6+1/10+1/15+2/6+b7^2
[6]421
R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+a8^2=4
=1+1/3+1/6+1/10+1/15+1/21+2/7+b8^2
[7]521
R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+a8^2=4
=1+1/3+1/6+1/10+1/15+1/21+2/7+b8^2
R^2=12/7+2/7+b8^2=12/7+1/28+a8^2=4
a8^2=(112−48−1)/28=9/4≧2
b8^2=(28−12−2)/7=2≧2
R^2=7/4+a8^2=2+b8^2
===================================
もしこれ以上を考えるのであれば,
R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+1/36+a9^2
=1+1/3+1/6+1/10+1/15+1/21+1/28+2/8+b9^2
1+1/3+1/6+1/10+1/15+1/21+1/28
=Σ2/j(j+1)
=2(1−1/8)=7/4
1+1/3+1/6+1/10+1/15+1/21+1/28+1/36+=2(1−1/9)=16/9
1+1/3+1/6+1/10+1/15+1/21+1/28+2/8=2=7/4+1/4=2≧2
R^2=16/9+a9^2=2+b9^2
===================================