Can you summarize the following document?
        
  正五邊形是指五個邊等長且五個角等角的五邊形,其內角為108度,是一種正多邊形,在施萊夫利符號中可以用formula_1來表示。  正五邊形的中心角為72度,其具有五個對稱軸,其旋轉對稱性有5個階(72°、144°、216° 和 288°)。  其中formula_6為外接圓半徑。  邊長為formula_7的正凸五邊形面積可以將之分割成5個等腰三角形計算:  正五邊形不能鑲嵌平面,因為其內角是108°,不能整除360°。,2017年5月,里昂高等師範學校Michaël Rao宣稱已證明只存在15種凸五邊形鑲嵌平面情況。。

  正多邊形的面積公式為:  其中,formula_10是周長、formula_11是邊心距。正五邊形的"formula_10"和"formula_11"可由三角函式計算:  其中,"formula_7"是正五邊形的邊長。

  正五邊形是一個圓外切多邊形,因此有內切圓。其內切圓半徑與邊心距相同,並且可以尤其邊長來決定。  其中,formula_11為內切圓半徑與邊心距相同、t為正五邊形邊長。

  里士滿提出了一個構造正五邊形的方法,並且在克倫威爾的《多面體》中被進一步討論。。  右上的圖顯示了里士滿繪製正五邊形的方法。先利用單位圓決定五邊形的半徑。formula_18為單位圓圓心,formula_19是圓formula_18半徑的中點。formula_21是位於垂直於formula_22的另外一條半徑的圓周上。作formula_23的角平分線,令formula_24為formula_23的角平分線與formula_26的交點。作過formula_24平行於formula_22的直線,令之與圓formula_18相交的交點為formula_10,則formula_31為正五邊形的邊長。  這條邊的長度可以利用圓下方的兩個直角三角形formula_32和formula_33。利用勾股定理,較大的三角形斜邊為formula_34。小三角形其中一股"h"可由半形公式求得:  其中,角formula_36可由大三角形求得,其值為:  由此可得到在下圖正五邊形的邊長的一些相關值。右側三角形的邊長formula_38可藉由再帶一次勾股定理得:  欲求出五邊形邊長formula_40可透過左側的三角形,由勾股定理得:  五邊形邊長formula_40為:  得到了正確的結果因此此種構造正五邊形的方法是有效的。  約公元前300年,歐幾里得在他的《幾何原本》中描述了一個用直尺和圓規做出正五邊形的過程。

  正五邊形可以藉由嘗試在一張長條紙張上打一個反手結,並將多出來的部分向後折來構造。這種折法被用在摺紙星星上。

  等邊五邊形是指五條邊等長的五邊形。等邊五邊形不一定是正五邊形。由於其內角可以取自一個範圍內的集合,而形成一個等邊五邊形的群,相比之下,正五邊形由於其內角也固定了,因此是唯一的。  有兩個直角的等邊五邊形由於外形與有屋頂的房屋形狀非常相似,因此通常用作房子的符號。

  五邊形鑲嵌是指用全等的五邊形沒有空隙地填滿整個平面的鑲嵌圖形。2017年5月,里昂高等師範學校Michaël Rao宣稱已證明只存在15種凸五邊形鑲嵌平面情況。

  扭歪五邊形,又稱不共面五邊形,是指頂點並非完全共面的五邊形。

  一些高維度多胞體的皮特里多邊形是扭歪五邊形,例如四維正五胞體。

  類五邊形形是五邊形在其他維度的類比,只存在於四維或以下的空間。這些形狀都具有H的考克斯特群,其中正五邊形為H,階數為10。

  有一些多面體由五邊形構成,最常見的就是正十二面體,是一個由正五邊形組成的正多面體。
在幾何學中,五邊形是指有五條邊和五個頂點的多邊形,其內角和為540度。