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

 基本単体は

  b1x1=1

  b1x1=b2x2

  ・・・・・・・

  b7x7=b8x8

  b8x8=0

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

αn:aj=√2/j(j+1)

βn:aj=√2/j(j+1),an=√2/n

bk=1/ak

α8,β8の二面角について・・・

  b7x7=b8x8

  b8x8=0

 法線ベクトルは

  (0,0,0,0,0,0,b7,−b8)

  (0,0,0,0,0,0,0,b8)

単位クトルは

a=(0,0,0,0,0,0,b7/{b7^2+b8^2}^1/2,−b8/{b7^2+b8^2}^1/2)

b=(0,0,0,0,0,0,0,1)

a・b=−b8/{b7^2+b8^2}^1/2

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

【1】α8

  cosθ=−b8^2/{b7^2+b8^2}^1/2{b8^2}^1/2

=−6/√64=−3/4は正しい.

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

【2】β8

  cosθ=−b8^2/{b7^2+b8^2}^1/2{b8^2}^1/2

=−2/√32=−1/2√2は正しい.

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