■基本単体の二面角(その232)
[1]n=2のとき
P0P1=P1P2=√2
P0P2=√2
これは正三角形である.
P0からでる最長辺はP0P1,P0P2の2本ある.P1P2の中点である.
===================================
P0(0,0,0)
P1(−2/3,1/3,1/3)
P2(−1/3,−1/3,2/3)
P0P1^2=2/3
M(−1/2,0,1/2)
P0M^2=1/2
一方,
[2]nが偶数のとき
(R/ρ)^2=n(n+2)/2(n+1)=4/3 (OK)
===================================