半正多面体 Microsoft Word 文档

《半正多面体 Microsoft Word 文档》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、用角亏研究半正多面体陕西省咸阳市永寿县监军中学马刘斌正多面体，是指多面体的各个面都是全等的正多边形，并且各个多面角都是全等的多面角。半正多面体是使用两种或以上的正多边形为面的凸多面体。半正多面体的每个顶点的情况相同。阿基米德曾研究半正多面体（虽然其研究记录已佚），故有人将半正多面体唤作阿基米德立体。公式（一）欧拉公式这里V、E和F分别为正多面体的顶点数、棱数和面数。（二）角亏公式对于任意简单凸多面体而言，我们称以该多面体的任意一个顶点为顶的多面角的所有平面角度数之和与360的差为这个顶点多面角的角亏。角亏公式是指对

2、于任意简单凸多面体来说，所有顶点多面角角亏之和等于720.引理（一）同一个半正多面体的每个顶点多面角的角亏相等。证明：因为半正多面体的每个顶点的情况相同，所以多面体的任意一个顶点为顶的多面角的角亏也相等。以下我们将用α表示半正多面体任意一个顶点为顶的多面角的角亏。（二）V＝720°/α证明：由角亏公式得知，所有顶点多面角角亏之和等于720;由引理一得知同一个半正多面体的每个顶点多面角的角亏相等。所以Ｖ＝720°/α（三）Ｅ＝360°/α×d（这里的d是指一个顶点为顶多面角的所有平面角的个数。）证明：因为半正多面体的

3、每个顶点的情况相同，所以从每个顶点引出的棱数相同；若一个多面角由d个平面角组成，那么从每个顶点就引出d条棱；又因为两顶点引出的棱AB和BA为同一条棱，所以Ｅ＝顶点数×d÷2即Ｅ＝360°/α×d（四）Ｆ＝360°/α×（d－２）＋２证明：将引理二和引理三代入欧拉公式V-E+F=2得：720°/α-360°/α×d+Ｆ=2整理得：Ｆ＝360°/α×（d－２）＋２（五）m=V∕n（m=Vb∕n）(这里n是指半正多面体中正多边形的边数；m是指这个半正多面体中相同正n边形的个数;b是指半正多面体的一个多面角中相同角的个数。

4、)证明：因为半正多面体的每个顶点的情况相同，所以从每个顶点引出的角和角数相同，所以在一个多面角中，当组成它的平面角中，没有相同角时，这个半正多面体的顶点数就与相同角的所有个数相同，而这些相同的角是相同的正多边形的角，所以相同角的所有个数也就是相同的正多边形角的所有个数，所以m=V/n；而当在一个多面角中，当组成它的平面角中，有b个相同角时，相同角的所有个数就为Vb,所以m=Vb/n.探究一由引理V＝720°/α，Ｅ＝360°/α×n，Ｆ＝360°/α×（n－２）＋２可以看出半正多面体的顶点数、棱数和面数都同α有关，

5、下面我们就用α来研究半正多面体。表格一正多边形边数内角度数360°490°5108°6120°8135°9140°10144°12150°15156°18160°20162°24°165°30°168°36°170°40°171°45°172°60°174°90°176°120°177°180°178°360179°表格二半正多面体αd组成一个多面角的所有平面角的分别度数V＝720°/αＥ＝360°/α×dＦ＝360°/α×（d－２）＋２组成一个多面角所需的正多边形的边数1°3179+60+120720108036

6、2360633179+90+907201080362360444179+60+60+6072014407223603332°3178+60+120360540182180633178+90+90360540182180444178+60+60+603607203621803333°3177+120+60240360122120633177+90+90240360122120443162+135+6024036012220834177+60+60+602404802421203334°3176+120+6018027

7、09290633176+90+901802709290444176+60+60+60180360182903335°3160+135+601442167418836°3144+120+901201806210643150+144+6012018062121033156+108+901201806215543174+120+601201806260633174+90+901201806260444174+60+60+60120240122603334144+90+60+60120240122104338°3172+1

8、20+60901354745633172+90+90901354745444172+60+60+609018092453339°3156+135+6080120421583舍3171+120+6080120424063舍3171+90+90801204240444171+60+60+6080160824033310°3170+120+607210838366