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

 (その342)〜(その344)では3次元の場合を扱った.

 [a,b,c]ではなく,3辺の長さを[3a,b,c]とした場合,一般に

AB  b   α

AC  c   π/2

AD  3a  π/3

BC  b   π−2α

BD  c   π/2

CD  b   α

  b^2=e^2+a^2

  c^2=e^2+4a^2

  sinα=b/c

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

 4次元の場合は4周期となるから,4辺の長さを[4a,b,c,d]

4aを最長辺とすると,

4a=√4(n−3),b=√n,c=√2(n−1),d=√3(n−2)

とおけるであろうか? 

 4a>dとなる条件は

 4(n−3)>3(n−2),n>6

 また,

  b^2=e^2+a^2

  c^2=e^2+4a^2

  d^2=e^2+9a^2

となるはずであるが,

  e^2=n−(n−3)/4=2(n−1)−4・(n−3)/4=3(n−2)−9(n−3)/4

は成り立たない.

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