■基本単体の二面角(その233)

[2]n=3のとき

  P0P1=P1P2=P2P3=√3

  P0P2=P1P3=2

  P0P3=√3

これは等面多面体である.

P0からでる最長辺は1本ある.求めたい点はP0を含まない最長辺P1P3の中点である.

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

P0(0,0,0,0)

P1(−3/4,1/4,1/4,1/4)

P2(−2/4,−2/4,2/4,2/4)

P3(−1/4,−1/4,−1/4,3/4)

P0P2^2=1

M(−1/2,0,0,1/2)

P0M^2=1/2

 一方,

[1]nが奇数のとき

  (R/ρ)^2=(n+1)/2=2  (OK)

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