■DE群多面体の面数公式(その832)

 h2,3γ5ついて

大域幾何(480,1200,1040,360,42)

局所幾何(1,5,10,10,5)

は解をもつかどうか確認しておきたい.

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

[1]ファセット

 {3,3,3}(1110)頂点数60

 {3,3,3}(0110)頂点数30

 {3,3,4}(0110)頂点数96

 42=(x/60+y/30+z/96)・480

 42=8x+16y+5z

 x+y+z=5

 42=8x+16(5−x−z)+5z

 42=80−8x−11z

 8x+11z=38

 (x,y,z)=(2,1,2)

[2]3次元面

 {3,3}(110)頂点数12

 {3,3}(111)頂点数24

 {3,4}(110)頂点数24

 360=(x/12+y/24)・480

 360=40x+20y

 x+y=10

 360=40x+20(10−x)

 360=200+20x,x=8,y=2

[3]2次元面

 {3}(10)頂点数3

 {3}(11)頂点数6

 {4}(10)頂点数4

 1040=(x/3+y/6+z/4)・480

 1040=160x+80y+120z

 x+y+z=10

 1040=160(10−y−z)+80y+120z

 1040=1600−80y−40z

 80y+40z=560

 2y+z=14

 (z,y)=(2,6)

 (z,y)=(4,5)

 (z,y)=(6,4)の3通りがある(解あり)

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