幾何學中,展開圖是指將幾何形狀沿著接合,並不重疊地呈現在同一個平面上。以多面體為例,多面體的展開圖就是將多面體的表平面上攤平後得到的圖形。多面體的展開圖對多面體和一般立體幾何的研究很有幫助,因為有了展開圖就能使用薄紙板等薄片的材料來製作對應立體圖形多面體的物理模型。[1]

正十二面體的展開圖
立方體的11種展開圖

展開圖的實例最早出現在阿爾布雷希特·丟勒的作品中,在其1525年出版的《用圓規和尺子進行測量藝術課程》(Unterweysung der Messung mit dem Zyrkel und Rychtscheyd)中呈現了柏拉圖立體阿基米德立體的展開圖。[2]

展開圖可以推廣到其他維度中,也就是將幾何結構維面沿著維脊接合,並不重疊地呈現在同一個比該幾何形狀少一個維度平坦空間上,例如四維空間超立方體可以展開為三維空間8連立方體[3]

存在性和唯一性

對於給定的多面體,可以存在許多不同的展開圖,具體取決於選擇哪些相連接或者分離。從凸多面體之邊切割形成展開圖的邊連接方式必定來自多面體面與邊的生成樹,然而不是所有的生成樹都能形成展開圖——部分的生成樹所展開的圖形可能會相互重疊而無法形成展開圖。[4]相反的,給定的展開圖可能可以摺成不同的幾何體,這取決於其邊摺疊的角度以及黏合邊的選擇。[5]若同時給定展開圖與邊的黏接方式,從而使得得到的形狀每個頂點都有正的角虧,且角虧的總和正好是4π,那麼這個展開圖與邊的黏接方式恰好可以摺疊成唯一的多面體,這個現象稱為亞歷山德羅夫唯一性定理英語Alexandrov's uniqueness theorem。然而,以這種形式構成的多面體,可能會有與存於展開圖上之面不一樣的面,比如展開圖中的多邊形中可能有折疊或者部分位於展開圖中的面仍保持展開的狀態。此外,同一個展開圖也可能存在多種有效的黏合模式,導致摺疊出的幾何體不同。[6]

1975年,傑弗裡·科林·謝潑德英語Geoffrey Colin Shephard在展開圖的議題上提出了一個問題,指出是否每個凸多面體都有至少一個展開圖或簡單的邊展開方式。[7]這個問題目前是一個未解決的數學問題,也被稱為丟勒猜想、或丟勒的展開問題[8][9][10]目前已知有不存在展開圖的非凸多面體,且細分每個凸多面體的每個面(如沿邊切割)並分析分割集合來判斷是否存在展開圖是可以做到的。[4]2014年,穆罕默德·戈米(Mohammad Ghomi)展示了每個凸多面體在經過仿射變換後都能給出一個展開圖[11]

 
正十二面體展開為展開圖與摺疊回去的連續動畫

另一個與展開圖相關的開放性問題是:每個展開圖是否都有一個摺疊成多面體的連續過程,且在該過程中面不會互相穿插,同時所有面在過程中都保持平坦。[12]

最短路徑

多面體表面上兩點的最短路徑對應於路徑所接觸的面在合適展開圖上的直線。所謂合適的展開圖是指直線完全包含於展開圖中,沒有過展開圖的邊界或中斷,可能需要考慮多種展開方式所得的展開圖才能得知哪個展開圖能給出最短路徑。以立方體為例,若兩點位於立方體的相鄰面上,則可能的最短路徑是穿過其公共邊的一個路徑,對應到同樣兩個面相連的展開圖中,也能找到這條路徑。最短路徑的其他可能結果也包括了穿過與這兩個面共同相鄰的第三面的路徑,哪條才是最短路徑可以看該路徑在合適的展開圖上是否為直線,並比較其距離來決定。[13]

蜘蛛和蒼蠅問題是一個在長方體上兩點之間找到最短路徑的娛樂數學謎題[14]

 
蜘蛛和蒼蠅問題

其他維度的展開圖

展開圖可以推廣到其他維度中,也就是將幾何結構維面沿著維脊接合,並不重疊地呈現在同一個比該幾何形狀少一個維度的平坦空間上。以二維空間為例,我們可以把一個多邊形的邊劃成一條直線,並標記頂點,該直線長度就是多邊形周長,就是多邊形展開,這是展開圖在二維空間的類比。

 
五邊形展開與摺疊連續動畫
 
四維超正方體的展開圖

更精確地說,就是將一個n維幾何體展開到n-1維平坦空間中。同理,以四維空間為例,多胞體也能用同樣的概念製成展開圖,也就是將其胞以面做分割,展開三維空間中胞與胞之間以面連接的幾何結構。例如四維超正方體可以展開達利十字,這種形狀出現在薩爾瓦多·達利1954的畫作《耶穌受難》上[15]:72[16],同樣的形狀也是羅伯特·海萊因1940年的短篇小說《—且他建造了一座歪曲的房子—英語"—And_He_Built_a_Crooked_House—"》劇情的核心。[17]

 
四維超正方體展開與摺疊連續動畫

五維空間中的多胞體也可也展開於四維空間中。更高維度則同理。以超方形為例,n維超方形的展開圖組合的數量可以通過將這些展開圖表示為2n個節點上的樹來尋找。該樹描述了超方形的成對維面粘合在一起形成展開圖的模式,以及描述折疊超方形上彼此相對的維面組之樹的補圖上的完美匹配。以用這種計算方式的維度為2、3、4、...的超方形不同展開圖的數量為:

1, 11, 261, 9694, 502110, 33064966, 2642657228, ...(OEIS數列A091159

例子

 
立方體
 
截角立方體
 
截半截角二十面體
 
超立方體
 
截角超立方體
 
正二十四胞體

參見

參考文獻

  1. ^ Wenninger, Magnus J., Polyhedron Models, Cambridge University Press, 1971 
  2. ^ Dürer, Albrecht, Unterweysung der Messung mit dem Zyrkel und Rychtscheyd, Nürnberg: München, Süddeutsche Monatsheft: 139–152, 1525 .
  3. ^ Unfolding an 8-cell. Unfolding.apperceptual.com. [2018-01-21]. (原始內容存檔於2018-07-25). 
  4. ^ 4.0 4.1 Demaine, Erik D.; O'Rourke, Joseph, Chapter 22. Edge Unfolding of Polyhedra, Geometric Folding Algorithms: Linkages, Origami, Polyhedra英語Geometric Folding Algorithms, Cambridge University Press: 306–338, 2007 
  5. ^ Malkevitch, Joseph, Nets: A Tool for Representing Polyhedra in Two Dimensions, Feature Columns (American Mathematical Society), [2014-05-14], (原始內容存檔於2009-01-22) 
  6. ^ Demaine, Erik D.; Demaine, Martin L.; Lubiw, Anna; O'Rourke, Joseph, Enumerating foldings and unfoldings between polygons and polytopes, Graphs and Combinatorics英語Graphs and Combinatorics, 2002, 18 (1): 93–104, MR 1892436, S2CID 1489, arXiv:cs.CG/0107024 , doi:10.1007/s003730200005 
  7. ^ Shephard, G. C., Convex polytopes with convex nets, Mathematical Proceedings of the Cambridge Philosophical Society, 1975, 78 (3): 389–403, Bibcode:1975MPCPS..78..389S, MR 0390915, doi:10.1017/s0305004100051860 
  8. ^ Weisstein, Eric W. (編). Shephard's Conjecture. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. (英語). 
  9. ^ Moskovich, D., Dürer's conjecture, Open Problem Garden, June 4, 2012 [2022-08-12], (原始內容存檔於2017-06-02) 
  10. ^ Ghomi, Mohammad, Dürer's Unfolding Problem for Convex Polyhedra, Notices of the American Mathematical Society, 2018-01-01, 65 (1): 25–27, doi:10.1090/noti1609  
  11. ^ Ghomi, Mohammad, Affine unfoldings of convex polyhedra, Geom. Topol.英語Geometry & Topology, 2014, 18 (5): 3055–3090, Bibcode:2013arXiv1305.3231G, S2CID 16827957, arXiv:1305.3231 , doi:10.2140/gt.2014.18.3055 
  12. ^ Miller, Ezra; Pak, Igor, Metric combinatorics of convex polyhedra: Cut loci and nonoverlapping unfoldings, Discrete & Computational Geometry英語Discrete & Computational Geometry, 2008, 39 (1–3): 339–388, MR 2383765, doi:10.1007/s00454-008-9052-3  
  13. ^ O』Rourke, Joseph, How to Fold It: The Mathematics of Linkages, Origami and Polyhedra, Cambridge University Press: 115–116, 2011, ISBN 9781139498548 
  14. ^ Weisstein, Eric W. (編). Spider and Fly Problem. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [1 March 2019]. (原始內容存檔於2022-10-06) (英語). 
  15. ^ Theoni Pappas, 陳以鴻譯. 《數學放輕鬆》. 臺北縣新店市: 世茂出版社. 2004. ISBN 9577766110. 
  16. ^ Kemp, Martin, Dali's dimensions, Nature, 1 January 1998, 391 (6662): 27, Bibcode:1998Natur.391...27K, S2CID 5317132, doi:10.1038/34063  
  17. ^ Henderson, Linda Dalrymple, Science Fiction, Art, and the Fourth Dimension, Emmer, Michele (編), Imagine Math 3: Between Culture and Mathematics, Springer International Publishing: 69–84, November 2014, doi:10.1007/978-3-319-01231-5_7 

外部連結