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