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

5次元単体

AB=BC=CD=DE=EF=a

AC=BD=CE=DF=b

AD=BE=CF=c

AE=BF=d

AF=eの体積は,

|0, 1, 1, 1, 1, 1, 1|

|1, 0,a^2,b^2,c^2,d^2,e^2|

|1,a^2, 0,a^2,b^2,c^2,d^2|

|1,b^2,a^2, 0,a^2,b^2,c^2|

|1,c^2,b^2,a^2, 0,a^2,b^2|

|1,d^2,c^2,b^2,a^2, 0,a^2|

|1,e^2,d^2,c^2,b^2,a^2, 0|の絶対値

等面単体a=e=1,b=dの場合を考える.

|0, 1, 1, 1, 1, 1, 1|

|1, 0, 1,b^2,c^2,b^2, 1|

|1, 1, 0, 1,b^2,c^2,b^2|

|1,b^2, 1, 0, 1,b^2,c^2|

|1,c^2,b^2, 1, 0, 1,b^2|

|1,b^2,c^2,b^2, 1, 0, 1|

|1, 1,b^2,c^2,b^2, 1, 0|の絶対値

→うまい展開・簡約化はないだろうが,体積0の場合を定めることができる.

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