Can you summarize the following document?
        
  披薩定理首先是作為一個數學難題在1967年的《數學雜誌》上提出的,問題序號為660。提出此問題的人是L.J.厄普頓。 厄普頓首先說明了切兩刀時的情況,然後要求證明:切4刀的時候兩部分的面積是一樣的。1968年,《數學雜誌》上登載了邁克爾·哥德堡對問題660的解答。解答中不僅解決了切4刀的問題,還解決了偶數刀時的情況。  1994年,拉里·卡特和斯丹·瓦根用割補法對切4刀的問題給出了一個直觀的圖解證明。他們的文章中還提到,堂·科波史密斯曾經利用圓周率的超越性證明了切奇數刀的時候,兩個部分面積不等,但沒有給出更進一步的結果。同年,卡特、瓦根和約翰·鄧肯在《數學雜誌》上提出切3刀和切5刀的問題。  1995年,保羅·迪爾曼和裡克·馬布裡在《數學雜誌》上登載了3刀和5刀的解答,同時提出任意奇數刀的問題,邀請讀者解決。2009年,保羅·迪爾曼和裡克·馬布裡最終解決了奇數刀時的情況,至此披薩問題完全解決。

  切偶數刀的披薩問題是1967年開始提出的,並在一年之後就得到了解答。以下將切的刀數記為,則每次切刀時轉的角度是formula_5。當刀數是偶數時,設 formula_1 2,則整個圓盤被分為2 formula_1 4份。

  當刀數 formula_1 2時,整個圓盤被分為4份。由對稱性,不妨假設定點在圓心的右上方(如右圖),切的兩刀分別是水平和垂直的。這時綠色的部分是包括圓心的部分。過圓心作一條水平線,再作點關於這條直線的對稱點,則點也在垂直的分割線上。過點再作一條水平線,這樣共將圓盤分為8份。其中: 所以,包含圓心的綠色部分的面積大於不包含圓心的粉紅色面積。

  formula_1 4時,2 formula_1 8,圓盤被分為8份,每切一刀時轉過的角度是45度。這個特例是1967年厄普頓首次提出披薩問題時的版本。1968年,哥登堡給出的證明是對於所有大於等於4的更廣泛情況。  1994年,卡特和瓦根用割補法給出了一個直觀的證明(見左圖)。假設切的四刀將圓盤分成如左圖所示的四個橙色部分和四個藍色部分。則可以將每種顏色的部分繼續分割,各分成8個更小的部分。如左圖編號之後,其中相同數字對應的兩個區塊是全等的。這樣就證明了,橙色的部分和藍色的部分所佔的面積是一樣大的。這個證明的妙處是一目瞭然,而不必再用公式或語言敘述了。

  formula_11 4時的一般情況,證明的方法由邁克爾·哥德堡於1968年給出。這時候圓盤被分為2份,每切一刀時轉過的角度是formula_5度。思路是用極座標的方式給出每一塊的面積的積分表示,轉化成一個代數問題。  不失一般性,設圓盤的半徑是1。於是圓盤的面積等於1 formula_1 。設最初的定點是。不妨假設在圓心的右上方。以為原點建立極座標系,設向量的角度是(右圖藍色角)。記formula_14。設切刀時留下的分割線的長度分別是formula_15(見右圖),那麼:  設在極座標系中,圓上一點與點定義的直線和水平軸的夾角是,而記的長度是,那麼 而“第一塊”圖形(右圖中右上角的橙色部分)的面積是: “第二塊”圖形(右上角偏上的綠色部分)的面積是:formula_18,“第塊”圖形的面積是 formula_19  橙色部分的總面積是:  注意到對每個固定的,設 formula_1,再對應用引理,就有: 因此 也就是說,橙色部分的面積是圓盤面積的一半。所以兩種顏色的面積相等。

  

  將兩個情況下的圖(圖1和圖2)重疊,得到下圖3,。其中的紫色部分是藍色和紅色部分的公共區域,因此只需要證明圖3中剩餘的藍色部分面積大於紅色面積。將各個色塊如下圖一半標記為、、、、、六塊。色塊、、、構成了一個(過圓心的)帶狀圖形,色塊、、、也構成一個(不過圓心的)帶狀圖形。而這兩個帶狀圖形的高都是一樣的,因為色塊的形狀是正三角形,而這兩個帶狀圖形的高分別等於這個正三角形的兩個不同頂點上的高。容易證明,色塊、、、構成的的帶狀圖形的面積大於色塊、、、構成的帶狀圖形的面積(見圖4)。因此消去、兩色塊後,得到藍色部分的面積大於紅色部分的面積。也就是說,圖1中的藍色部分的面積大於圓盤面積的一半,從而大於白色部分的面積。

  注意到帶狀圖形的面積可以表示成兩個弓形的面積之差。所以證明了以上的等式後,藍紅面積差實際上可以簡化成: 其中的函式是表示圓心距等於,寬度為的帶狀圖形的面積: 而函式則是圓心距等於的弓形的面積: 因此,要證明小於0,可以轉化為證明以上關於的式子小於0。迪爾曼和馬布裡把函式在0點展開,得到的一個無窮級數展開式。經過一系列轉化後,將問題變形為證明有關黃金比值formula_32的不等式: formula_33 可以證明這個不等式成立,因此小於0,即藍色面積比較小。

  \Delta S </math>小於0. 他們成功地將原命題轉化成證明  由於形式十分複雜,他們在尋找了14年後才發現了恰當的代數工具來證明以上不等式。2009年,他們在《美國數學月刊》發表了最後的證明。

  

  迪爾曼和馬布裡在2009年的證明論文中也探討了所謂的“披薩邊問題”。這可看做是披薩定理的應用。披薩邊可以看做是披薩減去披薩內餡(也是圓形)後的部分,也就是兩個同心圓之間的圓環。因此應用披薩定理,可以探討按照披薩定理中的切法哪一部分的披薩邊比較多。當切的刀數是偶數刀的時候,由於大圓和小圓都被等分為兩部分,所以它們的差(圓環部分)也被等分為兩部分。切的刀數是奇數刀的時候,還要分“薄邊披薩”和“厚邊披薩”來討論。對於“薄邊披薩”——兩個同心圓的半徑差不多,這時候的函式近似於披薩時函式的導數,用類似的方法可以推出和披薩相反的結論。也就是說,分得披薩較多的人,披薩邊反而較少;分到披薩較少的人,披薩邊會較多。  厚邊披薩的函式就不能近似於披薩函式的導數了,所以還需要進一步分析。

  如果切披薩的時候不是按照固定的角度,而是按照切下固定的邊長(formula_35弧度角)來分披薩,那麼兩部分的面積是否相等呢?答案是肯定的。無論切的刀數是偶數還是奇數,兩個部分的面積都一樣。這時兩個人分到的披薩和披薩邊都一定是一樣多的了。

  迪爾曼和馬布裡在2009年的證明論文中還探討了披薩問題在三維空間中的推廣。這時的問題不再是“切披薩”,而是“切布丁”或“切西瓜”了。也就是說,切分的物件從圓形變成了平底的三維旋轉體,即橫截面是圓形的三維物體。這時候,三維物體可以看成是無數個“同心”圓盤的疊加。所以三維空間中的情況仍然可以轉化成關於函式性質的討論,所以在的性質足夠明確的時候,可以得到類似於披薩定理的結論。迪爾曼和馬布裡研究了半拋球體和半橢球體的情況,發現前者的性質和披薩的情況恰好相反,而後者在 formula_11 5的時候,兩個部分的體積永遠相等。也就是說,如果按照分披薩的方法切半個西瓜,那麼只要切的刀數大於等於5,無論切的刀數是奇數還是偶數,兩個人分到的西瓜總是一樣多。

  如果分披薩的人不止兩個,問題就變得更加複雜了。1999年,赫史霍恩等人發現了一個特例下人等分披薩的方法。他們證明了:如果將一個圓盤按照披薩定理中的切法切2刀分成4塊,那麼可以將其分為面積相等的份,每份4塊。具體方法是選擇任一塊後,再選擇它旋轉90度、180度以及270度之後位置的3塊,一起作為一份。
披薩定理是平面幾何學之中的一個定理。它指出,如果以圓盤中任意一個指定點為中心,切下刀,使相鄰的兩刀隔的角度相同;然後按順時針(或逆時針)的順序給切出的各塊交替染上兩種顏色,將圓盤分為兩個部分。那麼有下列結論: 這個定理之所以被稱為披薩定理,是因為其中分割圓盤的方式類似於分披薩的過程。這個定理可以說明,當兩個人用以上的方法分披薩的時候,誰能拿到更多的披薩。