■基本単体の二面角(その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)と一致した.

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