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

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