■わが闘争・2018 (その1)
ゴールドバーグは正三角柱を充填できる四面体は,
3a^2−3b^2+c^2=0
を満足することを発見している.もっと一般的な形で,ゴールドバーグの一般化ができないだろうか?
===================================
サマーヴィルの等面四面体(その634)より前には,それの高次元版
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
を発見することができた.
これらは簡単な整数係数式(二項係数の交代式)になっている.長さの関係式にどうして二項係数が現れるのか,非常に不思議でミステリアスな関係式である.
しかし,これらの一般化は,特別な場合の数値から帰納的にあるいは実験的(?)に未定係数法的な実験式として求められたわけではないが,結果は正しいようである.
結果は正しいようであるが,数学の問題の正解はひとつとは限らないのであって,決定することはできなくても確認することはできるという意味ではオイラーの関係式やデーン・サマーヴィル関係式のような存在である.
===================================