(a^2,b^2,c^2)
=(5,8,9)→鋭角三角形
=(5,10,12)→鋭角三角形
=(5,12,15)→鋭角三角形
鋭角三角形となるのは等面単体となるための条件であると思われる.そうすれば最小整数解一意に決まるのかもしれない.
===================================
[まとめ]ゴールドバーグは正三角柱を充填できる四面体は,
3a^2-3b^2+c^2=0
を満足することを発見しているが,それの高次元版
3次元の場合,3a^2-3b^2+c^2=0
4次元の場合,4a^2-6b^2+4c^2-d^2=0
5次元の場合,5a^2-10b^2+10c^2-5d^2+e^2=0
6次元の場合,6a^2-15b^2+20c^2-15d^2+6e^2-f^2=0
を発見することができた.これらは簡単な整数係数式になっている.
最小整数解はそれぞれ,
(3,4,3),(4,6,6,4),(5,8,9,8,5),(6,10,12,12,10,6)と思われる.
===================================