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

 ゴールドバーグは正三角柱を充填できる四面体は,

 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次元の場合,3a^2−3b^2+c^2=0

a=cとすると,4a^2−3b^2=0,一意に決まる.

4次元の場合,4a^2−6b^2+4c^2−d^2=0

a=d,b=cとすると,3a^2−2b^2=0,一意に決まる.

5次元の場合,5a^2−10b^2+10c^2−5d^2+e^2=0

a=e,b=dとすると,6a^2−15b^2+10c^2=0,一意に決まらない.このとき,等面性は成り立っているのだろうか?

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