■サマーヴィルの等面四面体(その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の場合を定めることができる.

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