■基本単体の二面角(その50)

 (k,i,j)={3^k,3^i}

         {  ,3^j}

と定義すると,

 (0,i,j)={3^i}

         {3^j}

 (0,i,j)={3^i}=tiαi+j+1=tαi+j+1

         {3^j}

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

 (k,i,j)={3^k,3^i}

         {  ,3^j}

は2種類のファセット(k,i−1,j),(k,i,j−1)から構成される.

 (4,2,1)=E8の場合は(4,1,1)=β7,(4,2,0)=α6からなることと符合している.

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

 (2,1,1)=β5は(2,0,1)=α4,(4,1,0)=α4からなる. (1,1,1)=hγ4=D4は(1,0,1)=α3,(1,0,1)=α3からなる.すなわり,hγ4=β4.

 (1,2,1)=hγ5=D5は(1,1,1)=hγ4=β4,(1,2,0)=α4からなる.

 (2,2,1)=E6は(2,1,1)=β5,(2,2,0)=α5からなる.

 (3,2,1)=E7は(3,1,1)=β6,(3,2,0)=α6からなる.

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