■基本単体の二面角(その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)
===================================