■サマーヴィルの等面四面体(その241)
H6について
a=(1,√(5/7),1/√14)
b=(0,1,0)
c=(1,−√(5/7),−√(8/7))
d=(0,0,1)
を正規化すると
a=(√14/5,√10/5,1/5)
b=(0,1,0)
c=(√(7/20),−1/2,−√(8/20))
d=(0,0,1)
a・b=√(2/5)
a・c=0
a・d=1/5
b・c=−1/2
b・d=0
c・d=−√(2/5)
===================================
H6にはcosθ=1/5,√(2/5)が出現.
2arccos1/5=arccos(−23/25)
2arccos√(2/5)=arccos(−1/5)
これより,
arccos1/5+2arccos√(2/5)=π
===================================