■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

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