■DE群多面体の面数公式(その373)
αn:aj=√2/j(j+1)
βn:aj=√2/j(j+1),an=√2/n
bk=1/ak
α8,β8の二面角について・・・
===================================
【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
===================================
【3】α8+2β8
arccos(3/4)+2arccos(1/√8)
=arccos(3/4)+arccos(−3/4)
=0
===================================