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

[1]F4

  3a=c

とおくと,

  b^2=e^2+a^2=e^2+c^2/9

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

  b^2=2c^2/3,b<c

  b=2,c=√6,a=c/3,e=√(10/3)

を用いて,辺長と二面角を計算すると

AB  2   54.7356°〜P1P2=P2P3=P3P4=2

AC  √6  90°〜P1P3=P2P4=P1P4=√6

AD  √6  60°〜P1P3=P2P4=P1P4=√6

BC  2   70.5288°〜P1P2=P2P3=P3P4=2

BD  √6  90°〜P1P3=P2P4=P1P4=√6

CD  2   54.7356°〜P1P2=P2P3=P3P4=2

Q1Q2^2=120/6^2

Q1Q3^2=120/6^2

Q2Q3^2=120/6^2

これは正三角形である.

 すなわち,(最長辺)^2=e^2+(最長辺・2/3)^2

 (最長辺)^2−(最長辺・2/3)^2=e^2

 5/9・(最長辺)^2=e^2

 5/9・6=e^2・・・(OK),高次元に一般化できるかどうかはわからない.

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

[1]G5

 3州規制に反するが,4a=cとおくと,

  b^2=e^2+a^2=e^2+c^2/16

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

  e^2=b^2−c^2/16=12c^2/16

  b^2=13c^2/16,b<c  (NG)

  b^2=e^2+a^2=e^2+c^2/16

  c^2=e^2+9a^2=e^2+9c^2/16

  e^2=b^2−c^2/16=7c^2/16

  b^2=8c^2/16,b<c  (NG)

  b^2=e^2+4a^2=e^2+4c^2/16

  c^2=e^2+9a^2=e^2+9c^2/16

  e^2=b^2−4c^2/16=7c^2/16

  b^2=13c^2/16,b<c  (NG)

  b=√5,c=√8,a=c/4はどれも満たさない.

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