■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は正しい.
===================================