■n次元正多面体の辺と対角線(その9)

 外接球をもたないJZ立体はJ7-10,J12-18,J20-26,J28-33,J35-36,J38-61,J64-71,J84-92である.そのうちJ15,J28,J31,J36,J39,J43,J55,J59,J67,J69,J91は中心対称であるからΣPj=0を満たす.ΣPj=0を満たすが中心対称でない多面体(たとえば,ねじり変形させたJ26)もある.

 外接球をもたないが,ΣPj=0を満たすJZ多面体を決定したかったので,静岡県立大学の武藤伸明先生に協力していただいた.

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

【1】JZ立体の分類

[1]外接球を有しΣPj=0を満たすJZ立体 → Σdi^2=v^2が成立

 J27,J34,J37,J72-75,J80の8種類は外接球を有しΣPj=0を満たす(J73,J80は中心対称).

[2]外接球を有しΣPj≠0を満たすJZ立体 → Σdi^2=v^2(1−c^2)が成立

 J1-6,J11,J19,J62-63,J76-79,J81-83の17種類は外接球を有しΣPj≠0を満たす.

[3]外接球をもたずΣPj=0を満たすJZ立体 → Σdi^2<v^2が成立

 J12-17,J26,J28-31,J35-36,J38-39,J42-46,J48,J51,J55,J57,J59,J67,J69,J84-85,J90-91の31種類(J15,J28,J31,J36,J39,J43,J55,J59,J67,J69,J91は中心対称)

[4]外接球をもたずΣPj≠0を満たすJZ立体 → Σdi^2<v^2(1−c^2)が成立

 J7-10,J18,J20-25,J32-33,J40-41,J47,J49-50,J52-54,J56,J58,J60-61,J64-66,J68,J70-71,J86-89,J92の36種類.

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