■基本単体の二面角(その84)
「SPLAG」第21章より,D4~を計算する.
v0(1/2,1/2,1/2,1/2)
v1(−1/2,1/2,1/2,1/2)
v2(0,0,1/2,1/2)
v3(0,0,0,1)
v4(0,0,0,0)
v0v2^2=1/2
v1v2^2=1/2
v3v2^2=1/2
v4v2^2=1/2
===================================
一方,コクセターでは
P0(0,0,0,0)
P1(1,0,0,0)
P2(1,1,0,0)
P3(1,0,1,0)
P4(1,0,0,1)
P0P1=P1P2=P1P3=P1P4
(その80)と一致した.
===================================