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

6次元の場合

P0P1=P1P2=P2P3=P3P4=P4P5=P5P6=a

P0P2=P1P3=P2P4=P3P5=P4P6=b

P0P3=P1P4=P2P5=P3P6=c

P0P4=P1P5=P2P6=d

P0P5=P1P6=e

P0P6=f

P0P1P2P3P4P5P6のファセットは

P0P1P2P3P4P5・・・abcdeabcdabcaba

P0P1P2P3P4P6・・・abcdfabceabdacb

P0P1P2P3P5P6・・・abcefabdeacdbca

P0P1P2P4P5P6・・・abdefacdebcdaba

P0P1P3P4P5P6・・・acdefbcdeabcaba

P0P2P3P4P5P6・・・bcdefabcdabcaba

P1P2P3P4P5P6・・・abcdeabcdabcaba

a=f,b=e,c=dのとき

P0P1P2P3P4P5・・・abccbabccabcaba=a^5b^5c^5

P0P1P2P3P4P6・・・abccaabcbabcacb=a^5b^5c^5

P0P1P2P3P5P6・・・abcbaaccbaccbca=a^5b^5c^5

P0P1P2P4P5P6・・・abcbaaccbbccaba=a^5b^5c^5

P0P1P3P4P5P6・・・accbabccbabcaba=a^5b^5c^5

P0P2P3P4P5P6・・・bccbaabccabcaba=a^5b^5c^5

P1P2P3P4P5P6・・・abccbabccabcaba=a^5b^5c^5

・・・等面となる.

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

6次元の場合,6a^2−15b^2+20c^2−15d^2+6e^2−f^2=0

等面単体の場合,5a^2−9b^2+5c^2=0

 5a^2=(9b^2−5c^2)

 9b^2=5(a^2+c^2)・・・b^2は5の倍数

 5c^2=(9b^2−5a^2)

 9a^2<5a^2+5c^2=9b^2<9c^2

 4a^2<5c^2,かつ,5a^2<4c^2 → 5a^2<4c^2

 a^2=6とすると,b^2=10,15,20,・・・

 a^2=6,b^2=10とするとc^2=12・・・鋭角三角形

 a^2=6,b^2=15とするとc^2=17・・・鋭角三角形

 a^2=6,b^2=20とするとc^2=30・・・鈍角三角形

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