■サマーヴィルの等面四面体(その405)

 (その402)の続き.

P0(m√(1/2),0,m√(1/2),m,m√3,h)

P1(0,0,0,0,0,0)

P2(0,0,0,0,0,6h)

P3(m√2,m√3,0,0,0,5h)

P4(m√8,0,0,0,0,4h)

P5(m√(9/2),0,m√(9/2),0,0,3h)

P6(m√2,0,m√2,2m,0,2h)

としてみる.

P2をはずすと

  P0P1^2=5m^2+h^2

  P0P3^2=8m^2+16h^2

  P0P4^2=9m^2+9h^2

  P0P5^2=8m^2+4h^2

  P0P6^2=5m^2+h^2

  P1P3^2=5m^2+25h^2

  P1P4^2=8m^2+16h^2

  P1P5^2=9m^2+9h^2

  P1P6^2=8m^2+4h^2

  P3P4^2=5m^2+h^2

  P3P5^2=8m^2+4h^2

  P3P6^2=9m^2+9h^2

  P4P5^2=5m^2+h^2

  P4P6^2=8m^2+4h^2

  P5P6^2=5m^2+h^2

5m^2+h^2(5)<5m^2+25h^2(1)

8m^2+4h^2(4)<8m^2+16h^2(2)

9m^2+9h^2(3)

さらに,P3も外すと

  P0P1^2=5m^2+h^2

  P0P4^2=9m^2+9h^2

  P0P5^2=8m^2+4h^2

  P0P6^2=5m^2+h^2

  P1P4^2=8m^2+16h^2

  P1P5^2=9m^2+9h^2

  P1P6^2=8m^2+4h^2

  P4P5^2=5m^2+h^2

  P4P6^2=8m^2+4h^2

  P5P6^2=5m^2+h^2

5m^2+h^2(4)

8m^2+4h^2(3)<8m^2+16h^2(1)

9m^2+9h^2(2)

G6は

  P2P3=P3P4=P4P5=P5P6=√6

  P2P4=P3P5=P4P6=√10

  P2P5=P3P6=√12

  P2P6=√12

であるから,

 5m^2+h^2=6,8m^2+4h^2=10

 9m^2+9h^2=12,8m^2+16h^2=12,

を満たす解があれば5周期充填の条件もクリアできることになる.

 h^2=1/6,m^2=7/6

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

 また,P2を外した時点でP1も外れるから

P0(m√(1/2),0,m√(1/2),m,m√3,h)

P3(m√2,m√3,0,0,0,5h)

P4(m√8,0,0,0,0,4h)

P5(m√(9/2),0,m√(9/2),0,0,3h)

P6(m√2,0,m√2,2m,0,2h)

さらにP3も外すと,(x,y,z,w,v)がG5を形成すればよいのであるが,

  P0P4^2=9m^2

  P0P5^2=8m^2

  P0P6^2=5m^2

  P4P5^2=5m^2

  P4P6^2=8m^2

  P5P6^2=5m^2  (OK)

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