■サマーヴィルの等面四面体(その890)
4次元単体
AB=BC=CD=DE=a
AC=BD=CE=b
AD=BE=c
AE=dの体積は,
|0, 1, 1, 1, 1, 1|
|1, 0,a^2,b^2,c^2,d^2|
|1,a^2, 0,a^2,b^2,c^2|
|1,b^2,a^2, 0,a^2,b^2|
|1,c^2,b^2,a^2, 0,a^2|
|1,d^2,c^2,b^2,a^2, 0|の絶対値
等面単体a=d=1,b=cの場合を考える.
|0, 1, 1, 1, 1, 1|
|1, 0, 1,b^2,b^2, 1|
|1, 1, 0, 1,b^2,b^2|
|1,b^2, 1, 0, 1,b^2|
|1,b^2,b^2, 1, 0, 1|
|1, 1,b^2,b^2, 1, 0|の絶対値
→グラム・シュミットの直交化も役立ちそうにない.
→うまい展開・簡約化はないだろうが,体積0の場合を定めることができる.
===================================