七边形

七邊形（英語：heptagon）在幾何學中，是指有七條邊和七個頂點的多邊形，其內角和為900度。七邊形有很多種，其中對稱性最高的是正七邊形。其他的七邊形依照其類角的性質可以分成凸七邊形和非凸七邊形，其中凸七邊形代表所有內角角度皆小於180度。非凸七邊形可以在近一步分成凹七邊形和星形七邊形，其中星形七邊形表示邊自我相交的七邊形。 正七邊形是指所有邊等長、所有角等角的七邊形，由七條相同長度的邊和七個相同大小的角構成，是一種正多邊形，因此在施萊夫利符號中可以用 { 7 } {\displaystyle \left\{7\right\}} 表示。正七邊形的內角是 5 π 7 {\displaystyle {\frac {5\pi }{7}}\,} 弧度，為128.571428度，其中角度的小數為循環小數，值為 4 7 {\displaystyle {\frac {4}{7}}\,} 。 正七邊形的面積（A）可以利用其邊長（a）來計算： A = 7 4 a 2 cot ⁡ π 7 ≃ 3.634 a 2 {\displaystyle A={\frac {7}{4}}a^{2}\cot {\frac {\pi }{7}}\simeq 3.634a^{2}} 。 將正七邊形的頂點與幾何中心相連可以將正七邊形分成七個扇三角形，這些三角形可再藉由邊心線將之一分為二。正七邊形的邊心距是 π 7 {\displaystyle {\frac {\pi }{7}}} 正切值的一半，而這十四個小三角形的面積就會是四分之一倍的邊心距。 其確切的代數式是三次方程 x 3 + x 2 − 2 x − 1 {\displaystyle x^{3}+x^{2}-2x-1} ，其中的一個根為 2 cos ⁡ 2 π 7 {\displaystyle 2\cos {\tfrac {2\pi }{7}}} ，在複數中表示為： A = a 2 4 7 3 ( 35 + 2 14 2 ( 13 − 3 − 3 ) 3 + 2 14 2 ( 13 + 3 − 3 ) 3 ) , {\displaystyle A={\frac {a^{2}}{4}}{\sqrt {{\frac {7}{3}}\left(35+2{\sqrt[{3}]{14^{2}(13-3{\sqrt {-3}})}}+2{\sqrt[{3}]{14^{2}(13+3{\sqrt {-3}})}}\right)}},} 其中，複數中的虛數部最後會互相抵銷使結果為實數。這個表達式不能被全部是實數的式子重寫，也不能透過化簡消去其虛數的部分。 正七邊形的邊數7是一個皮爾龐特質數但不是費馬質數，因此不能用沒有刻度的直尺和圓規來作圖，但可以用一把有刻度的尺來作圖。這種作圖法稱為紐西斯作圖法，正七邊形也可以用摺紙作出或者用圓錐曲線作出。單用無刻度直尺和圓規不可能作出正七邊形是因為，通過觀察發現， 2 cos ⁡ 2 π 7 ≈ 1.247 {\displaystyle 2\cos {\frac {2\pi }{7}}\approx 1.247} 是不可约三次多项式 f ( x ) = x 3 + x 2 − 2 x − 1 {\displaystyle f(x)=x^{3}+x^{2}-2x-1\,} 一个零點。因此這個多項式是： 2 cos ⁡ 2 π 7 {\displaystyle 2\cos {\frac {2\pi }{7}}} 的最小多項式。 然而尺規作圖仍可以作出近似的正七邊形。 下圖顯示了一個具有約0.2％誤差的正七邊形近似作圖，近似值来自于 2 sin ⁡ π 7 ≈ 3 2 {\displaystyle 2\sin {\frac {\pi }{7}}\approx {\frac {\sqrt {3}}{2}}} （即 0.867 767 ⋯ ≈ 0.866 025 ⋯ {\displaystyle 0.867\,767\cdots \approx 0.866\,025\cdots } ）。此法由阿爾佈雷希特·丟勒提出 若將一個七邊形的邊長以 S = 3 2 11 {\displaystyle \scriptstyle {S=3{\tfrac {2}{11}}}} 單位長繪製在圓半徑為 R = 3 2 3 {\displaystyle \scriptstyle {R=3{\tfrac {2}{3}}}} 的外接圓上時，其絕對誤差可以降低到0.00013%。 這種近似值來自於 S R =   2 sin ⁡ π 7 ≈ 1 − ( 4 11 ) 2 {\displaystyle \scriptstyle {{\tfrac {S}{R}}=\ 2\sin {\tfrac {\pi }{7}}\approx 1-\left({\tfrac {4}{11}}\right)^{2}}} 。這種正七邊形畫法誤差十分小，即使繪製外接圓半徑1公里大的正七邊形誤差也僅有1.1毫米。 正七邊形具有14階的Dih7二面體對稱（英语：Dihedral_symmetry），由於7是一個質數，因此其只有一個子群：Dih1以及2個環形對稱群：Z7和Z1。 若一正七邊形邊長為a、最短對角線為b、最長對角線為c，其滿足等式 a < b < c {\displaystyle a<b<c} a 2 = c ( c − b ) , {\displaystyle a^{2}=c(c-b),} b 2 = a ( c + a ) , {\displaystyle b^{2}=a(c+a),} c 2 = b ( a + b ) , {\displaystyle c^{2}=b(a+b),} 1 a = 1 b + 1 c {\displaystyle {\frac {1}{a}}={\frac {1}{b}}+{\frac {1}{c}}} （倒數和等式（英语：optic equation）） 七边形的英文名稱是heptagon，而有时也叫做septagon，"sept-"（septua-的母音音節省略，是一個從拉丁語引進的數學前綴）來表示「七、七的」，而不是hepta-（一個從希臘語引進的數學前綴，應用於大多數英語中數學、化學等學術類術語命名的前綴）。 於2006年，英國正流通兩種正七邊形硬幣，即大不列顛五十便士（50p）和大不列顛二十便士（20p）。二十歐分硬幣側表面上的凹形也使它與正七邊形極為相似。嚴格地說，這些硬幣的形狀是一個曲線的七邊形，它們被稱作定長曲線：這些外表面呈曲線的邊能夠便於硬幣在自動販賣機裡面更加流暢光滑地滾動。 在雙曲面上，正七邊形可構成正七邊形鑲嵌。下圖是正七邊形鑲嵌的龐加萊投影 扭歪七邊形，又稱不共面七邊形，是指頂點並非完全共面的七邊形。除了三維空間的扭歪七邊形之外，扭歪七邊形亦可以在一些高維度的多胞體中找到，通常會以皮特里多邊形的方式存在。例如六維正七胞體的皮特里多邊形就是一個扭歪七邊形，其具有A10 [3,3,3,3,3] 的考克斯特群的對稱性。 K7完全圖經常會被以正七邊形的圖形繪製來描述其21條連接邊。這個圖與六維正七胞體的正投影圖（英语：orthographic projection）同為7個頂點和21條邊。 另外K7完全圖也顯示了七邊形的14條對角線。 部分植物會以七邊形的方式生長，例如部分的仙人掌： 仙人掌 七邊形數 Weisstein, Eric W. (编). Heptagon. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  Polygons – Heptagons. coolmath.com. [2016-08-28]. （原始内容存档于2016-08-28）.  Gleason, Andrew Mattei. Angle trisection, the heptagon, and the triskaidecagon p. 186 (Fig.1) –187 (PDF). The American Mathematical Monthly. March 1988, 95 (3): 185–194 [2017-06-04]. doi:10.2307/2323624. （原始内容 (PDF)存档于2015-12-19）.  Heptagon Construction. toon.macharis.be. [2018-01-29]. （原始内容存档于2012-12-06）.  G.H. Hughes, "The Polygons of Albrecht Dürer-1525, The Regular Heptagon", Fig. 11 （页面存档备份，存于互联网档案馆） the side of the Heptagon (7) Fig. 15, image on the left side （页面存档备份，存于互联网档案馆）, retrieved on 4th December 2015 Abdilkadir Altintas, "Some Collinearities in the Heptagonal Triangle （页面存档备份，存于互联网档案馆）", Forum Geometricorum（英语：Forum Geometricorum） 16, 2016, 249–256. Duncan J. Melville (2003). Third Millennium Chronology （页面存档备份，存于互联网档案馆）, Third Millennium Mathematics. St. Lawrence University. Davis, Michael W., The Geometry and Topology of Coxeter Groups (PDF), 2007 [2016-08-28], ISBN 978-0-691-13138-2, Zbl 1142.20020, （原始内容 (PDF)存档于2011-10-09）  Klitzing, Richard. 6D uniform polytopes (polypeta) x3o3o3o3o - hix. bendwavy.org.