Can you summarize the following document?
        
  正十二邊形是指所有邊等長、所有角等角的十二邊形,由十二條相同長度的邊和十二個相同大小的角構成,是一種正多邊形。正十二邊形的內角是formula_1弧度,換算成角度是150度。在施萊夫利符號中用 formula_2 來表示。由於正十二邊形可看作是截去所有頂點的正六邊形,即截角的正六邊形,因此施萊夫利符號中也可以計為 formula_3 。而因為正六邊形亦可以將正三角形透過截角變換來構造,即切去正三角形的三個頂點,因此正十二邊形可以視為正三角形經過2次的截角變換的結果,在施萊夫利符號中亦可以寫為 formula_4。

  若已知正十二邊形的邊長a,則正十二邊形的面積為:  若已知內切圓半徑或邊心距為r,則其面積為:  若已知外接圓半徑為R,其面積為:  三國時代數學家劉徽計算出半徑為formula_8的圓形,其內接正12邊形的面積為formula_9。正十二邊形面積等於最長對角線平方的四分之三。  十二邊形的寬度是兩個平行邊之間的距離,正好會等於兩倍的邊心距。因此已知正十二邊形的寬度和邊長也可以球出面積: 也可以利用三角關係進行驗證:

  若已知外接圓半徑R,正十二邊形的周長為  若已知邊心距r,正十二邊形的周長為: 該係數是已知邊心距求面積公式中係數的兩倍。

  尺規作圖可先在圓形內製作正六邊形,再將各邊二等分線延伸至圓周以完成正十二邊形的頂點。

  有一些正多邊形鑲嵌圖含有正十二邊形:

  正十二邊形具有Dih對稱性,階數為24.  有15個不同的子群二面體群和環狀對稱。每個子組對稱性允許一個或多個自由不規則形式。只有G12子群沒有自由度,但可以看作是有向邊。

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

  扭歪十二邊形經常出現在高維多胞體正交投影的皮特里多邊形。例如十一維正十二胞體的皮特里多邊形就是一個扭歪十二邊形,其具有A [3] 的考克斯特群的對稱性。
在幾何學中,十二邊形是指有十二條邊和十二個頂點的多邊形,其內角和為1800度。十二邊形有很多種,其中對稱性最高的是正十二邊形。其他的十二邊形依照其類角的性質可以分成凸十二邊形和非凸十二邊形,其中凸十二邊形代表所有內角角度皆小於180度。非凸十二邊形可以在近一步分成凹十二邊形和星形十二邊形,其中星形十二邊形表示邊自我相交的十二邊形。而一般的十字形為凹十二邊形常見的一個例子。