■単純リー環を使った面数数え上げ(その80)
3次元多面体を扱ってみたい.
===================================
【1】切頂八面体
切頂八面体を正八面体(6,12,8)の切頂によって作製する場合,すなわち,{3,4}(110)では切頂面(10)は正方形(4,4)となる.よって
f0=6・4=24
f1=6・4+12=36
f2=6・1+8=14
それに対して,切頂八面体を正四面体(4,6,4)の切頂切稜によって作製する場合,すなわち,{3,3}(111)では切頂面(11)は正六角形(6,6)となる.また,切稜によって辺の数は2倍になることから
f0=4・6=24
f1=4・6+6・2=36
f2=4+6+4=14
===================================
【2】正八面体
正八面体を正四面体(4,6,4)の切頂によって作製する場合,すなわち,{3,3}(010)では切頂面(10)は正三角形(3,3)となる.切頂面同士は点で重複する.よって
f0=4・3−6・1=6
f1=4・3−6・0=12
f2=4・1+4=8
===================================
【3】立方八面体
立方八面体を正八面体(6,12,8)の切頂によって作製する場合,すなわち,{3,4}(010)では切頂面(10)は正方形(4,4)となる.切頂面同士は点で重複する.よって
f0=6・4−12・1=12
f1=6・4−12・0=24
f2=6・1+8=14
それに対して,立方八面体を正四面体(4,6,4)の切頂切稜によって作製する場合,すなわち,{3,3}(101)では切頂面(01)は正三角形(3,3)となる.また,切稜によって辺の数は2倍になることから
f0=4・3=24
f1=4・3+6・2=24
f2=4+6+4=14
===================================