■サマーヴィルの等面四面体(その400)
(その399)のF3に違和感がある.
△4は
P0(m,0,m√2,h)
P1(0,0,0,0)
P2(0,0,0,4h)
P3(m,m√2,0,3h)
P4(2m,0,0,2h)
P2を外すと
P0P1^2=3m^2+h^2
P0P3^2=4m^2+4h^2
P0P4^2=3m^2+h^2
P1P3^2=3m^2+9h^2
P1P4^2=4m^2+4^2
P3P4^2=3m^2+h^2
3m^2+h^2(3)<3m^2+9h^2(1)
4m^2+4h^2(2)
F4は
P1P2=P2P3=P3P4=2
P1P3=P2P4=√6
P1P4=√6
であるから,
3m^2+h^2=4,3m^2+9h^2=6
4m^2+4h^2=6
を満たす解があれば3周期充填の条件もクリアできることになる.
8h^2=2,h^2=1/4,m^2=5/4
===================================
また,P2を外した時点でP1も外れるから
P0(m,0,m√2,h)
P3(m,m√2,0,3h)
P4(2m,0,0,2h)
の(x,y,z)がF3を形成すればよいのであるが,
P0P3^2=4m^2
P0P4^2=3m^2
P3P4^2=3m^2 (OK)
===================================
[まとめ]これで,周期性を満足するものを構成することができた.
===================================