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

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

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

【2】β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/2))

 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/√2=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/√2=0→a4=0

[4]P0P1P2P4を通る超平面:

  d=0

  a1=0

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

  a1+a2/√3+a3/√6+a4/√2=0→a3=1,a4=−1/√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,−1/√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/2,−1/2)

  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=−1/2

 誤りはないようである.そもそも調べる必要自体がないと思われる.

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