正二十面体

正二十面体（せいにじゅうめんたい、英: regular icosahedron）は立体の名称の1つ。空間を正三角形20枚で囲んだ凸多面体。3次元空間で最大の面数を持つ正多面体である。 正多面体のひとつである正十二面体の頂点周りを面の中心まで切頂することによって得られる（双対関係）。 また、正六面体や正十二面体に対する捩じり切り操作と同様の操作を正四面体に対して行うことでも得られる。 正反五角柱の両底面に正五角錐を貼り付けた形である。よって、正二十面体を双五角錐反柱 (Gyroelongated pentagonal bipyramid) と呼ぶ場合がある。 向かい合う面は平行である。 展開図の数は43,380種類。 面の数は20、辺の数は30、頂点の数は12。 頂点形状は正五角形であり、5本の辺と5枚の正三角形が集まる。 正十二面体と双対である。 一辺の長さをaとすると、 以下は、標準的な座標の取り方の一つである。ここで ϕ {\displaystyle \phi } は黄金比 1 + 5 2 {\displaystyle {\frac {1+{\sqrt {5}}}{2}}} 、 ϵ 1 , ϵ 2 , ϵ 3 = ± 1 {\displaystyle \epsilon _{1},\epsilon _{2},\epsilon _{3}=\pm 1} である。 12個の頂点（原点からの距離 ϕ + 2 {\displaystyle {\sqrt {\phi +2}}} ）の座標 ( 0 , ϵ 2 , ϵ 3 ϕ ) {\displaystyle (0,\epsilon _{2},\epsilon _{3}\phi )} のxyz座標を偶置換した 12個 30個の辺（長さ 2 {\displaystyle 2} ）の、両端点および中心の座標 両端点 ( 0 , ϵ 2 , ϵ 3 ϕ ) {\displaystyle (0,\epsilon _{2},\epsilon _{3}\phi )} と ( ϵ 1 , ϵ 2 ϕ , 0 ) {\displaystyle (\epsilon _{1},\epsilon _{2}\phi ,0)} 、中心 1 2 ( ϵ 1 , ϵ 2 ϕ 2 , ϵ 3 ϕ ) {\displaystyle {\frac {1}{2}}(\epsilon _{1},\epsilon _{2}\phi ^{2},\epsilon _{3}\phi )} のxyz座標を偶置換した 24個 両端点 ( 0 , 1 , ϵ 3 ϕ ) {\displaystyle (0,1,\epsilon _{3}\phi )} と ( 0 , − 1 , ϵ 3 ϕ ) {\displaystyle (0,-1,\epsilon _{3}\phi )} 、中心 ( 0 , 0 , ϵ 3 ϕ ) {\displaystyle (0,0,\epsilon _{3}\phi )} のxyz座標を偶置換した 6個 20個の面の、外側から見て反時計回りの頂点列および中心の座標 頂点 ( 0 , ϵ 2 , ϵ 1 ϵ 2 ϕ ) , ( ϵ 1 ϕ , 0 , ϵ 1 ϵ 2 ) , ( ϵ 1 , ϵ 2 ϕ , 0 ) {\displaystyle (0,\epsilon _{2},\epsilon _{1}\epsilon _{2}\phi ),(\epsilon _{1}\phi ,0,\epsilon _{1}\epsilon _{2}),(\epsilon _{1},\epsilon _{2}\phi ,0)} の4個 頂点 ( 0 , ϵ 2 , − ϵ 1 ϵ 2 ϕ ) , ( ϵ 1 , ϵ 2 ϕ , 0 ) , ( ϵ 1 ϕ , 0 , − ϵ 1 ϵ 2 ) {\displaystyle (0,\epsilon _{2},-\epsilon _{1}\epsilon _{2}\phi ),(\epsilon _{1},\epsilon _{2}\phi ,0),(\epsilon _{1}\phi ,0,-\epsilon _{1}\epsilon _{2})} の4個 頂点 ( 0 , ϵ 2 , ϵ 3 ϕ ) {\displaystyle (0,\epsilon _{2},\epsilon _{3}\phi )} , ( 0 , − ϵ 2 , ϵ 3 ϕ ) {\displaystyle (0,-\epsilon _{2},\epsilon _{3}\phi )} , ( ϵ 2 ϵ 3 ϕ , 0 , ϵ 3 ) {\displaystyle (\epsilon _{2}\epsilon _{3}\phi ,0,\epsilon _{3})} のxyz座標を偶置換した 12個 正二十面体の回転対称性の群（英語版） I {\displaystyle I} は5文字の交代群 A 5 {\displaystyle A_{5}} に同型である。位数は60。この非可換単純群は5文字の対称群 S 5 {\displaystyle S_{5}} の唯一の非自明な正規部分群である。一般の五次方程式のガロア群は5文字の対称群に同型であり、そしてこの正規部分群が単純で非可換なので、一般の五次方程式は冪根による解を有しない。アーベル‐ルフィニの定理の証明はこの単純な事実を用いる。そしてフェリックス・クラインは正二十面体的対称性（英語版）の理論を利用して一般の五次方程式の解析的解法を導く本を書いた (Klein 1888)。詳しい歴史ならびに関係する7文字と11文字の対称性については正二十面体的対称性#関連する幾何学的性質（英語版）を見よ。 （鏡映を含めた）正二十面体の全て(full)の対称性の群は全正二十面体群（英語版）[訳語疑問点] I h {\displaystyle I_{h}} として知られる。位数は120。そしてこれは回転対称群と、正二十面体の中心を通る鏡映によって生成されるサイズ2の群 C 2 {\displaystyle C_{2}} との直積 A 5 × C 2 {\displaystyle A_{5}\times C_{2}} に同型である。 また、双対図形である正十二面体の回転の群ならびに対称性の群は、どちらも正二十面体のそれと全く等しい。 正二十面体を枠に持つのは次の立体である。 正二十面体と近縁となるジョンソンの立体は次の通りである。 [脚注の使い方] ^ 正多面体を解く. 東海大学出版会. (2002/5/20)  Felix, Klein (1884) (ドイツ語), Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade, Teubner, https://archive.org/details/vorlesungenber00kleiuoft  Klein, Felix (2003-02-20) [1888] (英語), Lectrues on the ikosahedron and the solution of equations of the fifth degree (Dover Phoenix ed.), Dover Publications, ISBN 978-0-486-49528-6, http://digital.library.cornell.edu/cgi/t/text/text-idx?c=math;cc=math;view=toc;subview=short;idno=03070001  - 英訳。 関口次郎 訳『正20面体と5次方程式』シュプリンガー・フェアラーク東京、1997年4月21日、317頁。ISBN 978-4-431-70692-2。  - 日本語訳。 関口次郎・前田博信 訳『正20面体と5次方程式』（改訂新版）丸善出版、2012年8月25日、357頁。ISBN 978-4-621-06364-4。  - 日本語訳の改訂新版。数学者スロードウィーによる解説・注釈を収録。 カルボラン 正多面体 正二十面体の星型一覧 正六百胞体 ダイマクション地図 ドジック バクテリオファージ 『正二十面体の対角線・体積・内接球などを座標で計算』 - 高校数学の美しい物語 Weisstein, Eric W. "Icosahedron". mathworld.wolfram.com (英語). Weisstein, Eric W. "Regular Icosahedron". mathworld.wolfram.com (英語). Weisstein, Eric W. "Icosahedral Graph". mathworld.wolfram.com (英語). Weisstein, Eric W. "Icosahedral Group". mathworld.wolfram.com (英語). ウィキメディア・コモンズには、二十面体に関連するカテゴリがあります。