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

 対応がずれている可能性があり,全数調べてみる.

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

【1】α4

  P0(0,0,0,0)

  P1(1,0,0,0)

  P2(1,√(1/3),0,0)

  P3(1,√(1/3),√(1/6),0)

  P4(1,√(1/3),√(1/6),√(1/10))

 a1x1+a2x2+a3x3+a4x4=d

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

[1]P1P2P3P4を通る超平面:

  a1=1,a2=a3=a4=0

[2]P0P2P3P4を通る超平面:

  d=0

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

  a1+a2/√3+a3/√6=0→a3=0

  a1+a2/√3+a3/√6+a4/√10=0→a4=0

[3]P0P1P3P4を通る超平面:

  d=0

  a1=0

  a1+a2/√3+a3/√6=0→a2=1,a3=−a2√2=−√2

  a1+a2/√3+a3/√6+a4/√10=0→a4=0

[4]P0P1P2P4を通る超平面:

  d=0

  a1=0

  a1+a2/√3=0→a2=0

  a1+a2/√3+a3/√6+a4/√10=0→a3=1,a4=−√(5/3)

[5]P0P1P2P3を通る超平面:

  a1=a2=a3=0,a4=1

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

  a=(1,0,0,0)

  b=(1,−√3,0,0)

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

  d=(0,0,1,−√(5/3))

  e(0,0,0,1)

を正規化すると

  a=(1,0,0,0)

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

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

  d=(0,0,√(3/8),−√(5/8)

  e=(0,0,0,1)

a・b=1/2,a・c=0,a・d=0,a・e=0

b・c=−1/2,b・d=0,b・e=0

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

d・e=−√(5/8)

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