■サマーヴィルの等面四面体(その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はどれも満たさない.
===================================