Can you summarize the following document?
        
  在公元前1650年左右的萊因德數學紙草書中,稜錐已經作為數學物件被幾何學家研究。紙草書的56至59題是有關正方錐的底邊、高以及底面和側面形成的二面角之間關係的計算,如已知高和底邊長度,求二面角等。傳說由歐幾里德在公元前三世紀寫成的《幾何原本》中,第十二章第七個命題證明了:三角柱的體積等於同底同高的三角錐的三倍,但《幾何原本》中沒有給出直接的稜錐體積公式。公元一世紀左右成書的《九章算術》第五章中的第十二題,計算了正方錐、直方錐(陽馬)、直三角錐(鱉<unk>)的體積,並給出了通用公式。公元三世紀中葉,數學家劉徽在給《九章算術》作的注中,運用極限思想證明了稜錐的體積公式。

  稜錐的底面是多邊形,其中的頂點和多邊形所在平面外的一點用直線段相連。平面外的這一點稱為稜錐的頂點,底面多邊形的頂點稱為底面頂點。除了底面,其餘的面稱為稜錐的側面,都是由稜錐頂點和多邊形的兩個相鄰頂點構成的三角形。連線底面頂點和稜錐頂點的直線段,也是兩個相鄰側面的公共邊,稱為稜錐的側稜。一個以邊形為底面的稜錐,總計有個側面,加上底面,一共有+1個面;多邊形的每個頂點對應一條側稜,一共有條側稜。如果兩條側稜不在同一個側面,那麼它們確定的平面截稜錐所得的截面是一個過稜錐頂點的三角形,其中兩條邊分別是兩條側稜,另一條邊在底面上,是底面多邊形的一條對角線,這個平面稱為稜錐的一個對角面。  如果底面是三角形,那麼稜錐稱為三稜錐或三角錐。如果每個面(包括底面)都是正三角形,這時的三稜錐就是正四面體。如果僅僅底面為正三角形,頂點在底面的投影是正三角形的中心,那麼三個側面都是全等的等腰三角形。這樣的三稜錐叫做正三稜錐。同樣地,底面為正多邊形,而且另外一個頂點在底面上的投影是多邊形的中心,這樣的稜錐稱為正稜錐。正稜錐的側面都是全等的等腰三角形,側稜都等長。每個側面三角形以多邊形的邊為底邊的話,高稱為稜錐的斜高。  如果平面外的頂點在底面的投影正好是多邊形的某個頂點(等價於說平面外的頂點和某個頂點連成的直線垂直於地面),這樣的稜錐稱為直稜錐或直角稜錐。連線平面外頂點和其投影頂點的側稜垂直於底面,所以包含這條側稜的兩個側面也垂直於底面。  稜錐的底面多邊形不一定是凸多邊形。如果是星形,則稱為星錐。例如,底面是五角星,則對應的稜錐叫做五星錐。

  

  稜錐的體積取決於平面外頂點到底面的距離,以及底面多邊形的面積。前者稱為稜錐的高,後者稱為稜錐的底面積。設formula_1 為稜錐的高,formula_2為稜錐的底面積,formula_3 為稜錐的體積,則稜錐的體積可以用以下公式計算: formula_4 這個公式早在公元三世紀就得到了證明。現代的證明一般使用積分。假設有稜錐,其中為底面的邊形,為稜錐頂點。設在底面的投影為點,的長度為。線上段上取一點,使得線段的長度為:0,那麼過點而且與底面平行的平面截稜錐得到的形狀是一個和底面的邊形相似的邊形,記作,它的面積與底面積的比值等於與的比值的平方: formula_5  在點附近擷取的“一片”稜錐“切片”,它的體積大約等於:formula_6  所以稜錐的體積等於積分: formula_7  對於正稜錐,假設它的底面是正邊形,邊長為,高是,那麼底面積是:formula_8 所以它的體積是:

  稜錐的側面展開圖是由各個側面組成的,展開圖的面積,就是稜錐的側面積 稜錐的表面積等於稜錐的側面積加上底面積。假設頂點的投影點到第 i 個側面對應的底邊的距離是,底邊的長度是,那麼稜錐的側面積:  對於正稜錐,頂點到底面的投影是底面正邊形的中心。所以投影點到每一邊的距離都相等:formula_12 因此稜錐的斜高也就是側面三角形的高:formula_13 稜錐的側面積: 其中是底面正邊形的周長。假設底面正邊形的邊長是,高是,那麼它的周長是,中心到每一邊的距離是formula_15。所以斜高是:formula_16,側面積是:

  若一錐體底面為正多邊形則稱為正稜錐。正稜錐是一個無窮集合,最小從三角錐開始,因為二角錐已退化成平面了。  此外錐體亦可以做為球面鑲嵌:  錐體中只有一種屬於正多面體,即正三角錐。
在幾何學中,稜錐又稱角錐,是三維多面體的一種,由多邊形各個頂點向它所在的平面外一點依次連直線段而構成。多邊形稱為稜錐的底面。隨著底面形狀不同,稜錐的稱呼也不相同,依底面多邊形而定,例如底面是正方形的稜錐稱為方錐,底面為三角形的稜錐稱為三稜錐,底面為五邊形的稜錐稱為五稜錐等等。