■詐欺ジョンソン・ザルガラー多面体?(その2)
ジョンソン・ザルガラー多面体は全部で92種類あるという結論には疑いを抱いている人は案外多いのかもしれない.中川宏さんもそのようなひとりである.93番目のJZ多面体ということになれば一つの発見であろう.
ポリドロンで作ってみると,これまでの詐欺多面体よりもさらに歪みが少ないように感じられた.しかし,そうなるともはや数値計算では証明できないことになる.幸い,これまでの詐欺多面体よりも面数が少なく,3次・4次方程式の範囲内で解析的に計算可能と思われた.そこで,・・・
===================================
[参]関口次郎「多面体の数理とグラフィックス」牧野書店
にしたがって,定式化してみたところ,7元の連立2次方程式に帰着された.
x1=0,y1=0,z1=1
x2=?,y2=?,z2=0
x3=?,y3=?,z3=0
x4=?,y4=?,z4=1
x5=0,y5=?,z5=1
x6=0,y6=?,z6=?
x7=√2,y7=?,z7=?
(xi−xj)^2+(yi−yj)^2+(zi−zj)^2=4
(i,j)=(1,2),(2,3),(3,4),(4,5),(5,6),(6,7),(7,1),(7,2),(7,3),(7,4),(6,4)
これがグレブナー基底を使って求められるかどうかという問題になる.
詐欺多面体とは一松信先生の訳であるが,実際は,ある面が平面でなく曲率のきわめて小さい双曲面状になっているものが多いでははなかろうか?
正方形面にねじれがないかどうか.平面か双曲面かの判定は
P7P1・P7P6=0
あるいは同じことになるかもしれないが,
| x1,y1,z1,1|
det| x7,y7,z7,1|=0
| x6,y6,z6,1|
|−x7,y7,z7,1|
で検証できるだろう.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[補] 関口次郎「多面体の数理とグラフィックス」牧野書店
には,ザルガラー多面体の星形化にあたるものがいくつか構成されている.それを理解し,3次元モデルを構成してみたいと思う研究者や愛好家はいないのだろうか.
===================================