4次å 空éãšé«æ¬¡å ã®ç©ºéã§æ£ããå€é¢äœã®çµè«ãå人ã«èª¬æããçµéšãããã·ã¥ã¬ããªèšå·ãäœã§ããããç¥ã£ãŠãã人ã¯ã»ãšãã©ããªãããšãããã£ãã®ã§ãä»ã®é£æ¥ããèšäºã§è¡ã£ãåæèšç®ãªãã«ãå¥ã®èšäºãåçã§ããã«æ§ããããšã«ããŸãããå€é¢äœãçŽæ¥å°åºããŸãã ãã®èšäºã§ã¯ãç§ã®ä»äºã¯ã·ã¥ã¬ããªèšå·ãšããçšèªãæ¯intuitiveçã«çŽæçã«ç解ããããšã§ãããããã£ãŠããŠã£ãããã£ã¢ã§èªãããšãã§ããå³å¯ãªå®çŸ©ãšå®åŒåã«æ³šæãæãã€ããã¯ãããŸããã Shlefly Symbolã®ã³ã³ã»ããã¯ãç°¡åãªãã®ããé£ãããã®ãŸã§ãã¹ã¿ãŒãããŸãã é£è¡æ©ã®äžã§æãã·ã³ãã«ã
äžè§åœ¢ã¯ã©ã®ããã«é 眮ãããŠããŸããïŒ åçïŒ3ã€ã®åäžã®åŽé¢ããã ã·ã¥ã¬ãã©ã€ã®ã·ã³ãã«{3}
æ£æ¹åœ¢ã¯ã©ã®ããã«é 眮ãããŠããŸããïŒ åçïŒ4ã€ã®åäžã®åŽé¢ããã ã·ã¥ã¬ãã©ã€ã®ã·ã³ãã«{4}
æ£å è§åœ¢ã¯ã©ã®ããã«é 眮ãããŸããïŒ åçïŒ9ã€ã®åäžã®åŽé¢ããã Shleflyã·ã³ãã«{9}åçãåç §ïŒ
æ¬åœã®åæ©çãªè³ªåïŒ å察æ¹åã«é²ã¿ãŸããã-Shlefly Symbol {10}ã§å®çŸ©ãããæ£å€è§åœ¢ã®ååãšæ§é ã¯äœã§ããïŒ
çã
éåžžã®åè§åœ¢ã§ã10åã®åäžã®åŽé¢ã§æ§æãããŠããŸãã
ãããã£ãŠãæãåçŽãªãã®ã¯ãã¹ãŠã2次å 空éã®Shleflyã·ã³ãã«ã§ãã è¡šèš{p1}ãããã§ãp1ã¯3以äžã®æŽæ°ã§ããåçŽãªæå³ã§ãåè§åœ¢ããªãããã§ãã ãã®å Žåã®æ°å€p1ã¯ãæ£å€è§åœ¢ïŒ2次å å€é¢äœïŒã®ãšããžã®æ°ã瀺ããŠããŸããäžã®å³ãåç §ããŠãã ããã
{3}ã¯æ£äžè§åœ¢ã{4}ã¯æ£æ¹åœ¢ã{9}ã¯æ£å «è§åœ¢ãªã©ã§ãã
å¹³é¢äž-ããã¯ã·ã¥ã¬ããªèšå·ãç解ããããã®æåã®ã¹ãããã§ããèšå·ãšå€è§åœ¢ã®æ§é ãšã®é¢ä¿ãæ確ã§ããããšãé¡ã£ãŠããŸãã 3次å ã®æ£å€é¢äœã®å Žåããããã®å€é¢äœã®æ§é ã«é¢ãã質åãžã®çããã·ã¥ã¬ããªèšå·ãäžããŸãã ã€ãŸã Schlefliã·ã³ãã«ã¯ãæ£å€è§åœ¢ã®èŸºã®æ°ã®æŠå¿µãæ£å€è§åœ¢ã«äžè¬åããŸãã
ã€ãŸãããã¥ãŒãã¯ã©ã®ããã«é 眮ãããŸããïŒ
çã
ãã¥ãŒãã¯{4ã3}ã§ãããã¯ãã®ã·ã¥ã¬ããªèšå·ã§ããã€ãŸãã4ã€ã®åè§åœ¢ã§æ§æãããäžéšã3ã€ã®éšåã«åæããŸãã å·Šã®å³ã
ã€ãŸã ç«æ¹äœã¯ãåé ç¹ã§3ã€ã®æ£æ¹åœ¢{4}ãæ¥ç¶ããããšã«ãã£ãŠååŸãããŸãã é ç¹ã®1ã€ã§ã®æ¥çããããªã«ç€ºãããŠããŸãã
ã€ãŸã ç«æ¹äœã¯ãåé ç¹ã§3ã€ã®æ£æ¹åœ¢{4}ãæ¥ç¶ããããšã«ãã£ãŠååŸãããŸãã é ç¹ã®1ã€ã§ã®æ¥çããããªã«ç€ºãããŠããŸãã
ããã°ã©ã ãªã³ã¯
ã¢ãã¡ãŒã·ã§ã³ãæç»ãããç¡æã®ããã°ã©ã ã¯GeoGebraãšåŒã°ãããã¡ãããããŠã³ããŒãã§ããŸãïŒ www.geogebra.org/download
ãã®ãããªã¯Ubuntuãªãã¬ãŒãã£ã³ã°ã·ã¹ãã ã§èšé²ããããã®ã§ãèšé²ããã°ã©ã ã¯recordmydesktopãšåŒã°ããŸãã
ãã®ãããªã¯Ubuntuãªãã¬ãŒãã£ã³ã°ã·ã¹ãã ã§èšé²ããããã®ã§ãèšé²ããã°ã©ã ã¯recordmydesktopãšåŒã°ããŸãã
åæ§ã«ãæ®ãã®4ã€ã®æ£å€é¢äœã¯ãã·ã¥ã¬ããªèšå·ã«ãã£ãŠå®çŸ©ãããŸãã
å «é¢äœã¯ã©ã®ããã«é 眮ãããŠããŸããïŒ
çã
{3ã4}-ã·ã¥ã¬ããªèšå·ãããã¯ãå
«é¢äœãäžéšã®4ã€ã®éšåã«åæãã3ã€ã®ãŽã³ã§æ§æãããŠããããšãæå³ããŸãã
äºåé¢äœã¯ã©ã®ããã«é 眮ãããŠããŸããïŒ
çã
{3ã5}-ã·ã¥ã¬ããªèšå·ãããã¯ãæ£äºåé¢äœããäžéšã§5ã€ã®éšåã«åæãã3ã€ã®ãŽã³ã§æ§æãããŠããããšãæå³ããŸãã
æ»ããŸããããã·ã¥ã¬ãã©ã€ã·ã³ãã«ã¯ã©ã®ãããªåœ¢ãæå³ããŸããïŒ
çã
åé¢äœ
Shlefliã·ã³ãã«ã®æå³ã¯ã{5ã3}ãäžéšã®3ã€ã®äºè§åœ¢ãæå³ããŸããïŒ
çã
åäºé¢äœ
ããã¯ãæ£å€é¢äœã®3次å ã·ã¥ã¬ããªèšå·ã®å šäœçãªæå³ã§ãã 3次å ã§ã¯ãé©åãªå€é¢äœãæããããšãã§ããåçããããªã§ã¯ã£ãããšç€ºãããšãã§ããã®ã§ãéåžžã®3次å æ§ã¯ãã·ã¥ã¬ããªã·ã³ãã«ã®æ¬è³ªãæ確ã«ç解ã§ããæè¯ã®ç©ºéã§ãã ãããŠããã®ç·ãå æããããšãç§ãã¡ã¯æ·±ãŸãããããé£ãââãããŸãã
åœåã3Dããªã³ã¿ãŒã§æ£ããå€é¢äœãå°å·ããããšãã匷ãé¡æããã£ãã®ã§ãHabréã®1ã€ã®èšäºã®æšå¥šã§ç¡æã®OpenSCADããã°ã©ã ãåŠã³å§ããŸãã ã
åç
§è³æ
ãã㧠OpenSCADãããŠã³ããŒãã§ããŸããããã°ã©ã ã§äœæ¥ããããã®äž»èŠãªç¥èãšã¹ãã«ã¯ãããã«é¢ããåãèšäºã§å
¥æã§ããŸããäŒç€Ÿã®ã«ã«ãã«ãã©ã¹ãå
¥ããããšã¯ã§ããŸããã§ããã
åæã«ãShlefli Symbolã䜿çšããŠïŒã€ãŸãã2ã€ã®å ¥åãã©ã¡ãŒã¿ãŒp1ãp2ã䜿çšããŠïŒå¯Ÿå¿ããæ£å€é¢äœãæ§ç¯ããã¢ã«ãŽãªãºã ãäºæããã«èšè¿°ããŸããã ãã®ãããªçµ±äžãããã¢ã«ãŽãªãºã ãäœæã§ããããšã¯çŽ æŽãããããšã§ããããã¯ç¬ç«ããå°ããèå³æ·±ãçµæã§ããäžæ¹ããªã¹ãã¯1ã€ã®ç»é¢ã«åãŸããŸãããifã¹ããŒãã¡ã³ãã¯1ã€ã ãã§ãããæãéèŠãªã®ã¯ãShleflyã·ã³ãã«ã®æå³ãéåžžã«æ確ã«å®èšŒã§ããããšã§ãã ãã®ã¢ã«ãŽãªãºã ã¯ã3次å ã®æ£å€é¢äœã®æ§é ã2ã€ã®ãã©ã¡ãŒã¿ãŒ{p1ãp2}ã®ã¿ã«äŸåããããšã瀺ãããšãã§ããŸããã以äžã®ãããªãåç §ããŠãã ããã ãããªãèŠããšãã¯ãã¿ã¹ã¯ãå®äºããå¿ èŠããããŸããå€é¢äœã®2次å ã®é¢ã«ããã€ã®ãšããžããããäžéšã«åæãã2次å ã®é¢ã®æ°ãèšç®ããå¿ èŠããããŸãã ãã®ã¿ã¹ã¯ãå®äºãããšãSchlaflyã·ã³ãã«ã®è¬ãæ°žé ã«æããã«ãªããŸãã
ã³ã¡ã³ãä»ãã®ã¢ã«ãŽãªãºã ãœãŒã¹
// {p1, p2} /* {3,3} - {3,4} - {4,3} - {3,5} - {5,3} - */ p1=5; // p2=3; // // accuracy=100; // sphere_radius = 10; // edge_angle_half = 90-asin(cos(180/p1)/sin(180/p2)); // edge_length_half = sphere_radius*sin(edge_angle_half); // rb_face = edge_length_half/sin(180/p1); // rs_face = edge_length_half/tan(180/p1); // angle_up = 180-2*asin(cos(180/p2)/sin(180/p1)); // angle_up1 = asin(sin(90-asin(cos(180/p1)/sin(180/p2)))/sin(180/p1)); // rs_polytop=sphere_radius*cos(angle_up1); // ch=rs_polytop; //ch=1; // //difference() { rotate([0, angle_up1, 0]){// , , 3D union(){ ten_edge();// if (!(p1==3 && p2==3)) rotate([0, 180, 0]) ten_edge();// , , , } } //sphere(r=rs_polytop-0.3, $fn=accuracy);// , 3D //} module ten_edge(){ translate([0, 0, -sphere_radius]) for (i=[0:1:p2]) rotate([0, -angle_up1, i*360/p2])/* , p2 Oz, 1, */ translate([rb_face, 0, 0])/* , */ rotate([0, 0, (180/p1)*(1-p1+2*floor(p1/2))])/* */{ union(){ rotate([0, 0, 180/p1]) cylinder(h=ch, r1=rb_face, /*r2=rb_face-0.75*/ r2=0, center=false, $fn=p1);// , , translate([rs_face, 0, 0]) rotate([0, -angle_up, 0]) translate([rs_face, 0, 0]) rotate([0, 0, 180+180/p1]) cylinder(h=ch, r1=rb_face, /*r2=rb_face-0.75*/ r2=0, center=false, $fn=p1);// } } }
OpenSCADãããŠã³ããŒãããŠããã«ã¢ã«ãŽãªãºã ãœãŒã¹ãæ¿å ¥ããå€é¢äœãèªåã§å®éšããããšããå§ãããŸãã æã奜å¥å¿Theçãªäººã¯ããã«ä»ã®æ°åãæ¿å ¥ããããšæãã§ãããã äžæ¬¡å ã«ã¯éåžžã®å€é¢äœã5ã€ãããªãããšãå¿ããŠããŸã£ãã®ã§ããããªã§ã¯ãã¹ãŠã®å¯èœãªãªãã·ã§ã³ã瀺ããŠããŸããäžæ¬¡å ã«ã¯ä»ã«ã¯ãããŸããã
次ã®ã¹ãããã¯ãShlefly Symbols {4ã4}ã{6ã3}ã{3ã6}ãäœãæå³ããã®ãçããããšã§ãã
ãã³ãïŒãããã¯å€é¢äœã§ã¯ãªãã誰ããèŠèŠçã«ç¥ã£ãŠããä»ã®æ°åã§ãã
åçïŒ{4ã4}
{4ã4}-ããã¯ã»ã«å
ã®çŽåãã§ãåè§åœ¢ãäžéšã«4ã€ã®éšåã«åæããŸãã å®éãã»ã«ã¯æ£æ¹åœ¢ã§ããããã¹ãŠã®æ£æ¹åœ¢ã®é ç¹ã§ãããã®æ£æ¹åœ¢ã®4ã€ãåæããŸãã ããã¯ããŠãŒã¯ãªããå¹³é¢ã®æ£æ¹åœ¢ãžã®åå²ã§ãããç¡æéã«ç¶ç¶ã§ããŸãã
{6ã3}ãšã¯äœã§ããïŒ
çã
ããã«ã
ãããŠã{3ã6}ãšã¯äœã§ããïŒ
çã
ãã€ã³ãã¯èµ€ã§åŒ·èª¿è¡šç€ºããã6ã€ã®åæããäžè§åœ¢ããã¹ãŠè¡šç€ºãããæ®ãã®é ç¹ã§ã¯æç»ãç¶ããå¿
èŠããããŸãããç¡éã«ç¶ããããšãã§ããã®ã§ãäœãã§åæ¢ããå¿
èŠããããŸããã
ããŠããŠãŒã¯ãªããå¹³é¢ã®æ¢åã®3ã€ã®ããŒãã£ã·ã§ã³ãã¹ãŠïŒããã«ãšããèšèã«éç¹ã眮ããŠïŒã調ã¹ãŸãããä»ã«ã¯ãããŸãããããã¯èšäºã§ç€ºããŸãããã»ã«ã«ããŒãããã¯ã眮ããšããããã¯åçŽãªã»ã«ã§ã¯ãªãããŠãŒã¯ãªããå¹³é¢ã®ããŒãã£ã·ã§ã³{4,4}ã§ã; ããã«ã ãèŠããšã{6,3}ã§ããããšãæãåºããŠãã ããã {3,3}ãç®ãåŒããšæããŸãã ãããããç¬èªã®ã·ã¥ã¬ããªèšå·ã§ç€ºãããŠããå€é¢äœãããã·ã¥ã¬ããªèšå·ã§ã瀺ãããŠãããŠãŒã¯ãªããå¹³é¢ã®ããŒãã£ã·ã§ã³ã«åãæ¿ããŸããã ã·ã¥ã¬ããªèšå·ãç解ããããšã®é£ããã®æ¬¡ã®ã¹ãããïŒäžè¬åïŒã¯ããããçäœã®åºåãå®çŸ©ããããšã§ãã ãããã£ãŠã{3ã4}ã¯äžæ¹ã§ã¯æ£å «é¢äœã§ãããä»æ¹ã§ã¯çäœãèŠåçãªçç¶ã®äžè§åœ¢ã«åå²ããäžéšã§4ã€ã®ããŒã¹ãåæãããŸãã {4ã3}-äžæ¹ã¯ç«æ¹äœãä»æ¹ã¯çäœãèŠåçãªçäœã®åè§åœ¢ã«åå²ããé ç¹ã§3åã«åæããŸãã ããã¯ãããªã§ããæ確ã«ç€ºãããŠããŸãã 2次å ã®é¢ã®æ°ãšããã®ãããªé¢ãé ç¹ã§åæããæ°ãæ°ããŸãã
ãªããžã§ã¯ãã®ã¯ã©ã¹å šäœã®ãã¡ããããªã«ç€ºãããŠãããšããžãæ²ããå Žåã2ã€ãæãèå³æ·±ããã®ã§ãã
å³ 33 2次å ã®çäœãæ£æ¹åœ¢ã«åå²ããåé ç¹ã«3ã€ã®ããŒã¹ãã·ã³ãã«{4.3}
å³ 34æ£ããå€é¢äœãç«æ¹äœãèšå·ã{4,3}
å «é¢äœã®ãšããžã®æ²ãã«é¢ãã次ã®ãããªã{3,4}
ãªããžã§ã¯ãã®ã¯ã©ã¹å šäœã®ãã¡ããããªã«ç€ºãããŠãããšããžãæ²ããå Žåã2ã€ãæãèå³æ·±ããã®ã§ãã
å³ 35 2次å ã®çäœãäžè§åœ¢ã«åå²ããåé ç¹ã«4ã€ã®ããŒã¹ãã·ã³ãã«{3,4}
å³ 36æ£å€é¢äœãå «é¢äœãèšå·ã{3ã4}
å€é¢äœãå°ãèšããŸããŸãïŒçäœã«çœ®ããŸãïŒããå¹³åŠãªé¢ãèšãã¿ãé ç¹ã®è§åºŠãšäºé¢è§ã¯ç«¯ã§å¢å ããŸãã ãŸãã¯ããããå¹ãé£ã°ãïŒãããã§ãã¹ããŒç©ºéã«é 眮ïŒãå¹³ããªé¢ãåçž®ããé ç¹ã®è§åºŠãšãšããžã®äºé¢è§ãæžå°ããŸãã
ã€ãŸã ã·ã¥ã¬ããªã®ã·ã³ãã«ã¯ãå³ã®å šäœã®ã¯ã©ã¹ãå®çŸ©ããŸãã åãç®ã®ãªããšããžã®æ²ããã¯ã·ã¥ã¬ããªèšå·ãå€æŽããŸãããããã¯ããªããæ²ãããã·ã¥ã¬ããªèšå·ãåããŸãŸã§ããéãã·ã¥ã¬ããªèšå·æå®ãèšé²å šäœãéããŠè¡šç€ºããããšããäºå®ã«ãã£ãŠãããªã«ç€ºãããŠããŸãã ãããªã¯ããã£ã®ã¥ã¢ã®ãã¹ãŠã®ã³ãŒããŒãåæã«åçã«å€åããç¹å¥ãªæ²ãã瀺ããŠããŸãã
Shlefly Symbolã«ãã£ãŠå®çŸ©ãããå³ã®ã¯ã©ã¹å šäœã®ãã¡ãäž»ã«3ã€ã®ç¹å®ã®ã±ãŒã¹ã«é¢å¿ããããŸãã
-ã·ã¥ã¬ããªèšå·ãæ£å€é¢äœãå®çŸ©ããå Žåã
-ã·ã¥ã¬ããªèšå·ãçäœã®ããŒãã£ã·ã§ã³ãå®çŸ©ããå Žåã
-ã·ã¥ã¬ããªèšå·ããããã§ãã¹ããŒç©ºéã®ããŒãã£ã·ã§ã³ãå®çŸ©ããå Žåã
ãããã®ã±ãŒã¹ãšé¢é£ããã±ãŒã¹ã¯ãäžã®ãããªã«ç€ºãããŠããŸãã ãããªã«ã¯ç«æ¹äœãšå «é¢äœã®ã¿ã衚瀺ãããŠããŸãããç¶æ³ã¯{3,3}-åé¢äœã{3,5}-æ£äºåé¢äœã{5,3}-åäºé¢äœã®ä»ã®3ã€ã®æ£å€é¢äœãšãŸã£ããåãã§ãã ãã®ç¬éãããç§ãã¡ãçäœã®ããŒãã£ã·ã§ã³ã«ã€ããŠè©±ãå§ãããšããç§ãã¡ã¯äœæ¥ãã空éã®æ¬¡å ã«éåžžã«æ³šæããªããã°ãªããŸããã å®éãçäœã®è¡šé¢ã¯2次å ã§ãå€é¢äœã¯3次å ã§ãããçäœã®ããŒãã£ã·ã§ã³ãšå¯Ÿå¿ããå€é¢äœã¯åãã·ã¥ã¬ããªèšå·ã§ç€ºãããŸãã ããšãã°ããã§ã«è¿°ã¹ãããã«ã{3ã4}ã¯3次å ãŠãŒã¯ãªãã空éã®å «é¢äœã§ããã{3ã4}ã¯çäœã®2次å è¡šé¢ãçé¢äžè§åœ¢ã«åå²ãããã®ã§ãã äºæ¬¡å çé¢ç©ºéã®ããŒãã£ã·ã§ã³ã çé¢äžè§åœ¢ãšã¯çŽæçãªãã®ã§ããããã®åé¡ãæ確ã«ããã人ã¯èª°ã§ãèšäºã§èŠã€ããããšãã§ããŸãã ãããã£ãŠãçäœã®è¡šé¢ã®ããŒãã£ã·ã§ã³ãå®çŸ©ããã·ã¥ã¬ããªèšå·ã«ã€ããŠè©±ããšããåæã«ç©ºéã®2ã€ã®é£æ¥ãã次å ã«ããŸãã åæã«ãSchleafly Symbol {3ã6}ã¯ãŠãŒã¯ãªããå¹³é¢ã®ããŒãã£ã·ã§ã³ãå®çŸ©ããŸããã€ãŸãã ãŠãŒã¯ãªããå¹³é¢ã®ããŒãã£ã·ã§ã³ãè¿ãã«ãããŸãã
ããŠã次ã®é£æ床ïŒäžè¬åïŒã«é²ã¿ããããã§ãã¹ããŒå¹³é¢ã®ããã«ã«ã€ããŠè©±ãå§ãããšãçµµã®å®å šæ§ãšã·ã¥ã¬ãã©ã€ã·ã³ãã«ã®æå³ã®ç解ãçããŸãã å¿é ããªãã§ãã ããããããã§ãã¹ããŒå¹³é¢ã§äœæ¥ããã®ã«ååãªåºæ¬çã§çŽèŠ³çãªã¹ãã«ããããŸãããã®ãããªã¹ãã«ã¯çäœãšåãèšäºã§äžãããããããã§ãã¹ããŒå¹³é¢ã®ãããã®ããŒãã£ã·ã§ã³ã®åçãããã«äžããããŸãã ããã¯æ¥µç«¯ãªæªåã®ã¹ãããã§ã¯ãããŸããããçé¢ããŠãŒã¯ãªããããããã§ãã¹ããŒã®ç©ºéã¯ãã¹ãŠæ²çãäžå®ã®3ã€ã®ç©ºéã§ãããããå®å šæ§ãåŸãããŸãã ãããã£ãŠãã·ã¥ã¬ããªèšå·{3ã6}ã¯ãŠãŒã¯ãªããå¹³é¢ã®ããŒãã£ã·ã§ã³ãå®çŸ©ãã{3ã7}ã¯ãããã§ãã¹ããŒå¹³é¢ã®ããŒãã£ã·ã§ã³ãå®çŸ©ããŸãã {3ã8}ã{3ã9}ãªã© {3ãp2}ããã§ãp2> = 7ã¯ãã¹ãŠããããã§ãã¹ããŒå¹³é¢ã®æ£äžè§åœ¢ãžã®åå²ã§ãã ãã®ãããªããŒãã£ã·ã§ã³ã®æ°ã¯ç¡éã§ãïŒå¯ç®æ°ïŒã äŸãšããŠãããŒãã£ã·ã§ã³{3,7}ãš{5,4}ã®2ã€ã®ç»åãæäŸããŸããæåã®ã±ãŒã¹ã§ã¯7ã€ã®äžè§åœ¢ãåé ç¹ã§åæãã2çªç®ã§ã¯4ã€ã®äºè§åœ¢ã§ããããšã確èªããŸãã
çäœç©ºéãšãããã§ãã¹ããŒç©ºéãæäœããã«ã¯ããªããžã§ã¯ããçäœã«é 眮ããããšãèšåŒµããããããã§ãã¹ããŒç©ºéã«é 眮ããããšãåçž®ããããšæ³åããã ãã§ååã§ãã
ã·ã¥ã¬ããªèšå·ãç解ããïŒç解ããïŒæ¬¡ã®ã¹ãããã¯ãã·ã¥ã¬ããªèšå·ã«ãããšã3次å çé¢ç©ºéã®ããŒãã£ã·ã§ã³ã«æ¥ç¶ãããŠãã4次å ãŠãŒã¯ãªãã空éã«ç§»åããããšã§ãã -ç«æ¹äœãšçäœã®ç圢ã®æ£æ¹åœ¢ãžã®åå²ã ããã§çµµãæããããæ³ååãåããããããã®ã¯ãã£ãšé£ããã§ãããäœããæããŠã¿ãŸãã
æåã«ç解ãã¹ãããšã¯ãShlefly Symbol {p1ãp2}ããShlefly Symbolãžã®é·ç§»ã§ã{p1ãp2ãp3}ãã1次å é«ããã®ã§ãã {4.3}ãã{4.3.4}ãžã®ç§»è¡ã瀺ããŸãã ãããã£ãŠã3次å ã®{4ã3}å蟺圢ïŒå¹³é¢ïŒã§ã¯ããããã¯ãšããžïŒ1次å ã®é¢ïŒã«æ²¿ã£ãŠæ¥çãããé ç¹ã§3åã«åæããŸãïŒé ç¹ã¯0次å ã®é¢ã§ãïŒã åæ§ã«ãSchleufly Symbol {p1ãp2ãp3}ã®å Žåãããšãã°{4ã3ã4}-ããã¯{{4ã3}ã4}ãšåãã§ããã€ãŸãããã¥ãŒãã¯{4,3}ïŒ3次å ã®é¢ïŒã§ãã ãæ£æ¹åœ¢ïŒ2次å ã®é¢ïŒã§æ¥çãããrib骚ïŒ1次å ã®é¢ïŒã«åæããŸããå蟺ã«4åãããŸãã ããã§ã¯ã{4ã3ã4}ãšã¯äœã§ããïŒ åãªãã«4ã€ã®ç«æ¹äœãéãŸããŸããããããã¯äœã§ããïŒ çããéãåã«èããŠãã ããã
çã
ããã¯ã3次å
ãŠãŒã¯ãªãã空éã®ç«æ¹äœãžã®åå²ã§ãã ç°¡åã§ããããã¯ããç¥ããããªããžã§ã¯ãã§ãã æ£ç¢ºã«4ã€ã®ç«æ¹äœããšããžã«éãŸã£ãŠããããšã«æ³šæããŠãã ãããããã¯ããšããžãèµ€ã§åŒ·èª¿è¡šç€ºãããŠããäŸã§ç€ºãããŠããŸãã ã·ã³ãã«{p1ãp2ãp3} = {4ã3ã4}ã®æ°åp3ã¯ãp3 = 4åã®å€é¢äœããšããžã«åæããããšãæå³ããæ°å{p1ãp2}ã®æå³ã¯åããŸãŸã§ãããªãã
ãããã£ãŠã次ã®ã¹ãããã¯ãã·ã³ãã«{4ã3ã3}ã®æå³ãèæ ®ããããšã§ãã 3次å ãŠãŒã¯ãªãã空éã®ãã¥ãŒã{4,3,4}ãžã®åå²ããããŸãããããšããžãããã¥ãŒãã1ã€æããŠã¿ãŸãããã{4,3,3}ãåŸãããŸãããŠãŒã¯ãªããã§ã¯äœã§ããïŒ ãã¥ãŒãã®å¹³ããªé¢ãæ¥çãããŠããªãããããããããŒãã£ã·ã§ã³ã§ã¯ãªãããšã¯æããã§ã¯ãªãããšãå€æããŸããã 圌ããäžç·ã«åºå·ããããã«äœãããå¿ èŠããããŸããïŒ ãããã®ç«æ¹äœãããŒã«ã®ããã«èšããŸããç«æ¹äœã®2次å ã®é¢ãäžèŽãããŸã§èšããŸããå¿ èŠããããŸããããã§ããããæ¥çããŸãã Inflateã¯æ¯expressionçãªè¡šçŸã§ããæ°åŠã§ã¯ãçäœã«ç«æ¹äœãé 眮ããïŒ3次å ã§ããïŒãšåŒã°ãã2次å ã®çäœã§ç圢ã®äžè§åœ¢ãèããæ¹æ³ãšåæ§ã«ãç«æ¹äœãçäœã«ããŸãããä»ã§ã¯ç«æ¹äœã3次å ã§ãããããç«æ¹äœã3次å ã®çäœã«é 眮ããŸãã çèªäœã¯4次å ã®ãŠãŒã¯ãªãã空éã«é 眮ãããŸããããã®è¡šé¢ã¯3次å ã§ãã ã€ãŸã {4,3,3}ã¯3次å ã®çäœãç«æ¹äœã«åå²ãã3ã€ã®éšåããšããžã«åæãããŸãã å¹³é¢äžã«4次å ãæãããšã¯å°é£ã§ããã人ã ã¯ãã§ã«ãããè¡ãæ¹æ³ãåŠãã§ããããšããžã®æ²ããæ¹ïŒå·ŠïŒã«æ³šæããŠãã ãããããã¯ãçäžã®ãªããžã§ã¯ã{4,3,3}ããã®å Žåã¯3次å çã®ããŒãã£ã·ã§ã³ãæå³ããããã§ã ããããçäœã®ããŒãã£ã·ã§ã³ã¯çäœã®è¡šé¢ãã1次å é«ãå€é¢äœã«å¯Ÿå¿ããããšãæ¢ã«ããã£ãŠããããã{4,3,3}ã¯4次å ãŠãŒã¯ãªãã空éã®æ£å€é¢äœïŒå³åŽïŒã§ãããã¯Tesseractã4次å ç«æ¹äœã§ãã ã»ãŒåãããšã§ããã3次å ã®å€é¢äœã§ãšããžãæ²ããã®ãšåæ§ã«ãçŽç·ã®ãšããžã®ã¿ãã¹ããŒã«ã«ãªããŸããããŸããç®çã®çµæãåŸããããŸã§ã4次å ã®å€é¢äœã§ãšããžãæ²ããããšãã§ããŸãã
ãšããž{4,3,4}ã§4ãåæããç«æ¹äœãžã®3次å ãŠãŒã¯ãªãã空éã®ããç¥ãããããŒãã£ã·ã§ã³ã«æ»ããŸãããã äžèšã§ã¯ã1ã€ã®ç«æ¹äœã{4,3,3}ã«æããç«æ¹äœã®å¹³ããªé¢ãäžèŽãããŸã§æ®ãã®3ã€ã®ç«æ¹äœãèšããŸããŸããã ããããæ¢åã®4ã€ã®ç«æ¹äœãå¹ãé£ã°ãã2ã€ã®é£æ¥ããç«æ¹äœãå¹³ããªé¢ã«æ²¿ã£ãŠ1ãæã§åé¢ãå§ãããã©ãã§ããããïŒ ãããããšããããã®é¢ã®éã«ééãã§ããŸãã ããããå¥ã®åæ§ã®ãåçž®ãããç«æ¹äœããã®ã®ã£ããã«åãŸããŸã§ããã«å¹ãé£ã°ããšã{4,3,5}-3次å ãããã§ãã¹ããŒç©ºéã®ç«æ¹äœãžã®åå²ãåŸãããŸãã å³å¯ã«èšãã°ããã¥ââãŒããå¹ãé£ã°ãããšãã«ããããã§ãã¹ããŒç©ºéã«é 眮ããŸããã ãããªã®1ã€ã§ãäžèšã®åçž®ãããã¥ãŒããæ¢ã«èŠãŸããïŒå·Šã®åçïŒã ãããã£ãŠãå¹ãé£ã°ãããšã«ãã£ãŠã3次å ã®ãããã§ãã¹ããŒç©ºéã®ããŒãã£ã·ã§ã³ãéåžžã®å€é¢äœã«ããŸãã 泚æããå¿ èŠããããŸãããã¥ãŒããé·æéå¹ãé£ã°ãããšã¯ã§ããŸããããããªããšããšããžã®èªå·±äº€å·®ã圢æãããŸãïŒå³å³ïŒã å³ã§ã¯èªå·±äº€å·®ã圢æããŠããŸããã3次å ãããã§ãã¹ããŒç©ºéã®æå³ã§ã¯ãããã¯ç«æ¹äœã®é ç¹ã絶察ãè¶ ããŠããããšãæå³ããŸãã ãããã£ãŠããšããžããã6åã®ç«æ¹äœã¯ãã·ã¥ã¬ããªèšå·{4,3,6}ã§ç€ºããããã§ã«3次å ãããã§ãã¹ããŒç©ºéã®ãã®ããŒãã£ã·ã§ã³ã§ã¯ãé ç¹ã¯çµ¶å¯Ÿåº§æšäžã«çŽæ¥é 眮ãããŠããŸãã {4,3,7}ã§ã¯ãé ç¹ã¯ãã§ã«çµ¶å¯Ÿãè¶ ããŠããŸãããããã®ã·ã¥ã¬ããªãŒã·ã³ãã«ã¯ã3次å ã®ãããã§ãã¹ããŒç©ºéã®ããŒãã£ã·ã§ã³ã瀺ããŠããŸãããå³å¯ã«èšãã°ãéåžžã®å€é¢äœã§ã¯ãªãä»ã®äœãã«ãããã§ãããã®ãªããžã§ã¯ããäœãšåŒã³ãåæãããããã§ã«ç解ã§ããŸã圌ãã®ååã«ã€ããŠã
åæ§ã«ãä»ã®3次å ã®æ£å€é¢äœããããŒãã£ã·ã§ã³ãååŸããŸãã
{3,3}-åé¢äœããšããžã§3ã€ã®åé¢äœãçµå{3,3,3}ãã®ã£ããããããé¢ãæ¥çããããŸã§ããããèšããŸããŸãã3次å çäœãåé¢äœã«åå²ãããšããžã§3ã€ã®éšåã«åæããŸãã ãã®ããŒãã£ã·ã§ã³ã¯ã4次å ãŠãŒã¯ãªãã空é{3,3,3}ã®æ£å€é¢äœãå®çŸ©ããŸãã
å³22 3次å çäœã®ããŒãã£ã·ã§ã³{3,3,3}ã
å³23 4次å å€é¢äœ{3,3,3}
3次å çãšå€é¢äœã®æ®ãã®ããŒãã£ã·ã§ã³ã«ã€ããŠã¯ãåæ§ã§ãã
å³24 3次å ç{3,3,4}ã®ããŒãã£ã·ã§ã³ã
å³25 4次å å€é¢äœ{3,3,4}
å³26 3次å ç{3,3,5}ã®ããŒãã£ã·ã§ã³ã
å³27 4次å å€é¢äœ{3,3,5}
å³28 3次å çäœã®ããŒãã£ã·ã§ã³{3,4,3}ã
å³29 4次å å€é¢äœ{3,4,3}
å³30 3次å çäœã®ããŒãã£ã·ã§ã³{5,3,3}ã
å³31 4次å å€é¢äœ{5,3,3}
3次å ã®ãããã§ãã¹ããŒç©ºéã®ããŒãã£ã·ã§ã³ã§ãããã¹ãŠã䌌ãŠããŸããé ç¹ã絶察ã«é£ã³åºããªãããã«ãå€é¢äœãå¹ãé£ã°ãã ãã§ãå¿ããªãã§ãã ããã ã·ã¥ã¬ããªèšå·ã«ããé ç¹ã®äœçœ®ã決å®ããã®ã¯éåžžã«ç°¡åã§ãã{p1ãp2ãp3}ã®å Žåã{p2ãp3}ããŠãŒã¯ãªããå¹³é¢ãåå²ããå Žåãèšå·{p2ãp3}ãèæ ®ããŸãã å€{4,4}ã{3,6}ã{6,3}ã®ãããããåãå Žåãããã¯é ç¹{p1ãp2ãp3}ã絶察å€äžã«ããããšã®ç¢ºå®ãªå åã§ããããšãã°ã{3,3,6}ã{ 3,4,4}ã{3,6,3}ãªã©ã {p2ãp3}-ãããã§ãã¹ããŒå¹³é¢ãåå²ããå Žåãé ç¹{p1ãp2ãp3}ã¯çµ¶å¯Ÿã®èåŸã«ãããŸããããšãã°ããããã¯{3,3,7}ã{3,4,5}ã{3,6,4}ãªã©ã§ãã ã {p2ãp3}-çäœãåå²ãããã{p1ãp2ãp3}-çäœãç Žå£ããªãå Žåã{p1ãp2ãp3}-3次å ãããã§ãã¹ããŒç©ºéãåå²ããå Žåããããã®ãªãã·ã§ã³ããã¹ãŠãªã¹ãããŸãïŒ{4 ã3ã5}ã{3ã5ã3}ã{5ã3ã4}ã{5ã3ã5}ãã®ãããªä»ã®ãã®ã¯ãããŸããã
空éã®ä»ã®æ¬¡å ã®å€é¢äœãšããŒãã£ã·ã§ã³ã®å Žåãç©äºã¯å®å šã«é¡äŒŒããŠããŸãã é«æ¬¡å ã®ç©ºéã®ã·ã¥ã¬ããªèšå·ã¯ã{p1ãp2ãp3ãp4ã... pn}ãšèšè¿°ãããŸãã
ãã«ãŒã³ãèšåŒµããã³åçž®ãããããšãåŠã¹ã°ãäžå®ã®æ²çã®ç©ºéã«åé¡ã¯ãããŸããã
ãããŠçµè«ãšããŠãå€é¢äœã®å察æ§ã®æ§è³ªã«ã€ããŠã®ããã€ãã®èšèã Shlefliã·ã³ãã«ãéã®é åºã§èšè¿°ãããŠããå Žåãæ£ããå€é¢äœãååŸããŸããããã¯å ã®å€é¢äœã®ã¿ã§ãã ãããã£ãŠãå «é¢äœãšç«æ¹äœã¯äºãã«äºéã§ãã {3,4}-{4,3}ã åé¢äœã¯èªå·±å察ã®{3,3}-{3,3}ã§ãã äºåé¢äœãšåäºé¢äœã¯äºéã§ã{3,5}-{5,3}ã§ãã ããã¯ããšããžã®ãµã€ãºãšæ£å€é¢äœã®è§åºŠãèšç®ããã®ã«åœ¹ç«ã€éåžžã«éèŠãªããããã£ã§ãã ãã®èšäºã§äœ¿çšãããã¹ãŠã®å³é¢ãäœæãããšãããã®ããããã£ãéåžžã«ç©æ¥µçã«äœ¿çšããŸããã ãŸããåäºé¢äœãæ§ç¯ãããšããç«æ¹äœãåäºé¢äœã®å åŽã«ã¯ã£ãããšåãŸããšããæ§è³ªãéåžžã«éèŠã§ããããšãå€æããç«æ¹äœã®é ç¹ãçŽæ¥åäºé¢äœã®é ç¹ã«èœã¡ãŸãã ããã¯ãåäºé¢äœã®8ã€ã®é ç¹ã®åº§æšãèŠã€ããã®ã«åœ¹ç«ã¡ãŸãã;åäºé¢äœã®æ®ãã®é ç¹ã¯èŠã€ããã®ãé£ãããããŸããã§ããã ããã§ã¯ããããã¯å€é¢äœã§ãããäºãã«éåžžã«äŒŒãŠããŸãã å察æ§ãšã¯ã1ã€ã®å€é¢äœã®é ç¹ãã2çªç®ã®å€é¢äœã®å¹³é¢ã®äžå¿ã«æåã®å察é¢ãšæ¥ããããšãæå³ããŸãã 3次å å€é¢äœã®äŸã§ã¯ããããã®ãã¹ãŠã®ããããã£ããããªã«ç€ºãããŠããŸãã
ãœãŒã¹ãããŠã³ããŒãããŠãå€é¢äœãèªåã§è©Šãããšãã§ããŸãïŒããããããã£ãŠãrib骚ãæ²ããŠãäºéæ§ãèŠãŠãã ããã
ãœãŒã¹ã³ãŒã
æ£å€é¢äœã®ã¢ãã«
æ²ããªããã¥ãŒã
ãªãæ²ãå «é¢äœ
ããã«ã¯ããããã®å³é¢ã衚瀺ããã³ç·šéããããã®ããã°ã©ã ããããŸãã
æ²ããªããã¥ãŒã
ãªãæ²ãå «é¢äœ
ããã«ã¯ããããã®å³é¢ã衚瀺ããã³ç·šéããããã®ããã°ã©ã ããããŸãã
å察æ§ããããã£ã¯ãã¹ããŒã¹ã®ä»ã®ãã¹ãŠã®æ¬¡å ã§ä¿æãããããã{3,3,5}ã¯å察{5,3,3}ãªã©ã§ãã
ãã®èšäºã¯ããã¹ãŠã®æ¬¡å ã§ã®æ£å€é¢äœã®å°åºã«é¢ããäžé£ã®èšäºã®äžéšãšããŠäœæãããŸããã
å€é¢äœãä¿®æ£ããŸãã ããŒã1.äžæ¬¡å
å€é¢äœãä¿®æ£ããŸãã ããŒã2. 4次å
å€é¢äœãä¿®æ£ããŸãã ããŒã2.5ïŒè£å©ïŒ
Shleflyã®ã·ã³ãã«ã ããŒã2.6
ãããã®èšäºã®æçµçãªç®æšã¯ã次å 3以äžã§ãã¹ãŠã®èŠåçãªåžå€é¢äœã®å°åºã瀺ãããšã§ãã ããŒã2ã®çºè¡åŸãç§ã¯ãã®è³æãããŸãåãå ¥ããããªããšæããé·ãéãã®çç±ãèãã人ã ã¯åçŽã«ã·ã¥ã¬ããªèšå·ã®ãããªã·ã³ãã«ã§åŒ·åãªããŒã«ã«ç²ŸéããŠããªããšããçµè«ã«éããŸãããããã§ããã®èšäºãæžããŸããã 次ã®èšäºã¯ç¬¬3éšã§ã空éã®æ¬¡å ã§èªå°é·ç§»ãè¡ããå€é¢äœãšå€é¢äœèªäœã®äºé¢è§ã®æçµåŒãååŸããå¿ èŠããããŸãã
ãæž èŽããããšãããããŸããã ã¿ããã§ã ãŸãã