九面體

在幾何學中，九面體是指由9個面組成的多面體，而邊長全部等長的九面體是七角柱是一種半正多面體。在九面體中，四角錐柱和它的對偶多面體都是九面體。 在所有凸九面體中，包含鏡射像共有2606種拓樸結構明顯差異的凸九面體。其中有8種具有7個頂點、74種具有8個頂點、296種具有9個頂點、633種具有10個頂點、768種具有11個頂點、558種具有12個頂點、219種具有13個頂點和50種具有14個頂點的凸九面體。這些數據最早紀錄在托馬斯·柯克曼（英语：Thomas Kirkman）於1870年代出版的書籍中。 常見的九面體有七角柱、八角錐、雙三角錐柱等多面體。 七角柱是一種底面為七邊形的柱體，是九面體的一種，由9個面21條邊和14個頂點組成，對偶多面體為雙七角錐。正七角柱代表每個面都是正多邊形的七角柱，其每個頂點都是2個正方形和1個七邊形的公共頂點，因此具有每個角等角的性質，可以歸類為半正九面體。而頂點都是2個正方形和1個七邊形的公共頂點的這種頂角，在頂點圖中以 4 . 4 . 7 {\displaystyle 4{.}4{.}7} 表示。正七角柱在施萊夫利符號中可以利用{7}×{} 或 t{2, 7}來表示；在考克斯特—迪肯符号（英语：Coxeter-Dynkin diagram）中可以利用來表示；在威佐夫符號（英语：Wythoff symbol）中可以利用2 7 | 2來表示；在康威多面體表示法中可以利用P7來表示。若一個正七角柱底邊的邊長為 s {\displaystyle s} 、高為 h {\displaystyle h} ，則其體積 V {\displaystyle V} 和表面積 S {\displaystyle S} 為： V = 7 h s 2 cos ⁡ π 7 4 ≈ 3.63391 h s 2 {\displaystyle V={\frac {7hs^{2}\cos {\frac {\pi }{7}}}{4}}\approx 3.63391hs^{2}} A = 7 s ( h + 1 2 s cot ⁡ π 7 ) ≈ 7 s ( h + 1.03826 s ) {\displaystyle A=7s\left(h+{\frac {1}{2}}s\cot {\frac {\pi }{7}}\right)\approx 7s\left(h+1.03826s\right)} 八角錐是一種底面為八邊形的錐體，是九面體的一種，其由9個面、16條邊和9個頂點組成，對偶多面體是自己本身。正八角錐是一種底面為正八邊形的八角錐。若一個正八角錐底邊的邊長為 s {\displaystyle s} 、高為 h {\displaystyle h} ，則其體積 V {\displaystyle V} 和表面積 S {\displaystyle S} 為： V = 2 h s 2 cot ⁡ π 8 3 ≈ 1.60948 h s 2 {\displaystyle V={\frac {2hs^{2}\cot {\frac {\pi }{8}}}{3}}\approx 1.60948hs^{2}} S = 2 s ( 4 h 2 + s 2 cot 2 ⁡ π 8 + s cot ⁡ π 8 ) ≈ 2 s ( 4 h 2 + 5.82843 s 2 + 2.41421 s ) {\displaystyle S=2s\left({\sqrt {4h^{2}+s^{2}\cot ^{2}{\frac {\pi }{8}}}}+s\cot {\frac {\pi }{8}}\right)\approx 2s\left({\sqrt {4h^{2}+5.82843s^{2}}}+2.41421s\right)} 頂點最少且鄰接矩陣有特徵值相等之多重集的兩個圖是一組九面體圖，也就是說最小的等譜多面體圖是一對九面體圖，其有八個頂點。 透過切割菱形十二面體的其中四個面的長對角線可以得到一個自身對偶的九面體，即具有大正方形面、四個菱形面和4個等腰三角形面的四方半偏方面體。如同菱形十二面體，這個九面體同樣可以完全堆滿三維空間。 戈德堡在1982年發現至少有40拓撲不同的空間充填九面體。 扭歪九面體是指面與頂點並不存在同一個三維空間而無法確定體積的九面體，扭歪九面體僅能存在於四維或以上的空間。 而扭歪九面體的一個例子為四角四片三角孔扭歪正九面體，其由9個正方形組成，可由三角三角柱體柱（英语：3-3 duoprism）移除所有三角形面來構造。 Steven Dutch: How Many Polyhedra are There? （页面存档备份，存于互联网档案馆） Counting polyhedra （页面存档备份，存于互联网档案馆） numericana.com [2016-1-10] Biggs, N.L., T.P. Kirkman, mathematician, The Bulletin of the London Mathematical Society, 1981, 13 (2): 97–120, MR 0608093, doi:10.1112/blms/13.2.97 . David I. McCooey. Simplest Canonical Polyhedron with D7h Symmetry: Heptagonal Prism. [2022-09-14]. （原始内容存档于2022-09-14）.  David I. McCooey. Simplest Canonical Polyhedron with D7h Symmetry: Heptagonal Dipyramid. [2022-09-14]. （原始内容存档于2022-09-14）.  Wolfram, Stephen. Heptagonal prism. from Wolfram Alpha: Computational Knowledge Engine, Wolfram Research. [2022-09-14]. （原始内容存档于2022-09-14）.  David I. McCooey. Simplest Canonical Polyhedron with C8v Symmetry: Octagonal Pyramid. [2022-09-14]. （原始内容存档于2022-09-14）.  Wolfram, Stephen. "Octagonal pyramid". from Wolfram Alpha: Computational Knowledge Engine, Wolfram Research （英语）.  Hosoya, Haruo; Nagashima, Umpei; Hyugaji, Sachiko, Topological twin graphs. Smallest pair of isospectral polyhedral graphs with eight vertices, Journal of Chemical Information and Modeling, 1994, 34 (2): 428–431, doi:10.1021/ci00018a033 . Critchlow, Keith, Order in space: a design source book, Viking Press: 54, 1970 . Goldberg, Michael, On the space-filling enneahedra, Geometriae Dedicata, 1982, 12 (3): 297–306, doi:10.1007/BF00147314 .