これまでの流れを整理したい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］正単体と等面単体の高さが等しいことを証明したい．

［２］そのためには，サマーヴィルの公式より

　｜０，３，４，３，１｜＝−４｜０，３，４，１｜

　｜３，０，３，４，１｜　　　｜３，０，３，１｜

　｜４，３，０，３，１｜　　　｜４，３，０，１｜

　｜３，４，３，０，１｜　　　｜１，１，１，０｜

　｜１，１，１，１，０｜

を示すのが最も良いと思われる．直方体に内接させるファウルハーバーの定理は無効である．

［３］これまでのところ，数値的に等しいことはわかっているが，解析的な証明になっていない．なお，正単体について

　｜０，３，３，３，１｜＝−４｜０，３，３，１｜

　｜３，０，３，３，１｜　　　｜３，０，３，１｜

　｜３，３，０，３，１｜　　　｜３，３，０，１｜

　｜３，３，３，０，１｜　　　｜１，１，１，０｜

　｜１，１，１，１，０｜

も成り立つ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝