■DE群多面体の面数公式(その902)

 正三角柱の基本単体の頂点は,もうひとつのσについて

P0(0,0,0)

P1(0,0,1)

P2(1,0,1)

P3(1,1/√3,1)

 a1x1+a2x2+a3x3=d

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

[1]P1P2P3を通る超平面:

  a3=1,a2〜a3=0,d=1

[2]P0P2P3を通る超平面

  a1=1とする.d=0

  a1+a3=0,a1+a2/√3+a3=0

  a3=−1,a2=0

[3]P0P1P3を通る超平面

  d=0.a3=0.a2=1

  a2/√3+a1=0,a1=−1/√3

[4]P0P1P2を通る超平面

  a2=1,a1=a3=0,d=0

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

  a=(1,0,0)

  b=(1,0,−1)

  c=(−1/√3,1,0)

  d=(0,1,0)

を正規化すると

  a=(1,0,0)

  b=(1/√2,0,−1/√2)

  c=(−1/2,√3/2,0)

  d=(0,1,0)

a・b=1/√2

a・c=−1/2,a・d=0

b・c=1/2√2  (OK)→どこに対応しているのか?

b・d=−1/√2

c・d=√3/2

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

[まとめ]

P0(0,0,0)

P1(0,0,1)

P2(1,0,1)

P3(1,1/√3,1)

[2]P0P2P3を通る超平面

[3]P0P1P3を通る超平面

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