■DE群多面体の計量(その180)
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)x=2
(z,y)=(4,5)x=1
(z,y)=(6,4)X=0
===================================