披薩定理

披薩定理是平面幾何學之中的一個定理。它指出，如果以圓盤中任意一個指定點為中心，切下刀，使相鄰的兩刀隔的角度相同；然後按順時針（或逆時針）的順序給切出的各塊交替染上兩種顏色，將圓盤分為兩個部分。那麼有下列結論：

當是大於 2 的偶數（ 4,6,8,10,12,14,..），或有任一刀透過圓心時：兩種顏色的部分面積一樣大。
若任意一刀都不透過圓心，那麼：
當 1,2 或除以 4 餘 3（ 1,2,3,7,11,15,..）的時候，包含圓心的部分面積比較大。
當大於 4 且除以 4 餘 1（ 5,9,13,..）的時候，包含圓心的部分面積比較小。

這個定理之所以被稱為披薩定理，是因為其中分割圓盤的方式類似於分披薩的過程。這個定理可以說明，當兩個人用以上的方法分披薩的時候，誰能拿到更多的披薩。

歷史

披薩定理首先是作為一個數學難題在 1967 年的《數學雜誌》上提出的，問題序號為 660。提出此問題的人是 L.J. 厄普頓。

，並過這一點切刀，每切一刀轉過的角度都相等（等於），然後按照順時針順序，將切成的 2 塊區域交替染成兩種顏色。問兩種顏色部分的面積大小關係。}}

厄普頓首先說明了切兩刀時的情況，然後要求證明：切 4 刀的時候兩部分的面積是一樣的。1968 年，《數學雜誌》上登載了邁克爾・哥德堡對問題 660 的解答。解答中不僅解決了切 4 刀的問題，還解決了偶數刀時的情況。

1994 年，拉里・卡特和斯丹・瓦根用割補法對切 4 刀的問題給出了一個直觀的圖解證明。他們的文章中還提到，堂・科波史密斯曾經利用圓周率的超越性證明了切奇數刀的時候，兩個部分面積不等，但沒有給出更進一步的結果。同年，卡特、瓦根和約翰・鄧肯在《數學雜誌》上提出切 3 刀和切 5 刀的問題。

1995 年，保羅・迪爾曼和裡克・馬布裡在《數學雜誌》上登載了 3 刀和 5 刀的解答，同時提出任意奇數刀的問題，邀請讀者解決。2009 年，保羅・迪爾曼和裡克・馬布裡最終解決了奇數刀時的情況，至此披薩問題完全解決。

偶數刀的證明

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

2.1 N=2 的情況

當刀數 2 時，整個圓盤被分為 4 份。由對稱性，不妨假設定點在圓心的右上方（如右圖），切的兩刀分別是水平和垂直的。這時綠色的部分是包括圓心的部分。過圓心作一條水平線，再作點關於這條直線的對稱點，則點也在垂直的分割線上。過點再作一條水平線，這樣共將圓盤分為 8 份。其中：

和全等，和全等；

的面積大於，的面積大於。

所以，包含圓心的綠色部分的面積大於不包含圓心的粉紅色面積。

2.2 N=4 的情況

4 時，2 8，圓盤被分為 8 份，每切一刀時轉過的角度是 45 度。這個特例是 1967 年厄普頓首次提出披薩問題時的版本。1968 年，哥登堡給出的證明是對於所有大於等於 4 的更廣泛情況。

1994 年，卡特和瓦根用割補法給出了一個直觀的證明（見左圖）。假設切的四刀將圓盤分成如左圖所示的四個橙色部分和四個藍色部分。則可以將每種顏色的部分繼續分割，各分成 8 個更小的部分。如左圖編號之後，其中相同數字對應的兩個區塊是全等的。這樣就證明了，橙色的部分和藍色的部分所佔的面積是一樣大的。這個證明的妙處是一目瞭然，而不必再用公式或語言敘述了。

2.3 一般情況

4 時的一般情況，證明的方法由邁克爾・哥德堡於 1968 年給出。這時候圓盤被分為 2 份，每切一刀時轉過的角度是度。思路是用極座標的方式給出每一塊的面積的積分表示，轉化成一個代數問題。

不失一般性，設圓盤的半徑是 1。於是圓盤的面積等於 12 。設最初的定點是。不妨假設在圓心的右上方。以為原點建立極座標系，設向量的角度是（右圖藍色角）。記。設切刀時留下的分割線的長度分別是（見右圖），那麼：

，所有的平方和為定值： |width = 40%

設在極座標系中，圓上一點與點定義的直線和水平軸的夾角是，而記的長度是，那麼

而 “第一塊” 圖形（右圖中右上角的橙色部分）的面積是：

“第二塊” 圖形（右上角偏上的綠色部分）的面積是：，“第塊” 圖形的面積是

橙色部分的總面積是：

:

:

:

注意到對每個固定的，設 ，再對應用引理，就有：

因此

也就是說，橙色部分的面積是圓盤面積的一半。所以兩種顏色的面積相等。

奇數刀的證明

}} 3 或 5 的時候結果如何。1995 年迪爾曼和馬布裡給出了答案。他們發現}} 3 時包括圓心的面積更大，而}} 5 的時候恰好相反。他們在證明}} 5 的時候將含圓心部分的面積和其餘部分的面積的差的一半記作，然後提出只要找到一般情況下對應的代數模型的性質，就可以解決一般的情況。}}

3.1 N=3 的情況

}} 3 的時候，將圓盤切成 6 個部分，每切一刀轉過的角度是 60 度。不妨假設最初的定點在圓心的右上方，第三刀切出的分割線是水平線（如下圖）。需要證明的是包括圓心的部分（藍色，見下圖 1）的面積大於白色的部分。}}

做水平線，然後將第一刀（左下至右上的一刀）切出的分割線與這條水平線的分割點記為。如果}} 的話，那麼有一刀過了圓心，這時候兩個部分的面積相等（見下圖 2 中的情況，紅色部分面積等於白色部分）。假如和不是同一個點，那麼只要證明藍色部分的面積大於紅色部分的面積就可以了，因為後者是圓盤面積的一半。}}

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

3.2 N=5 的情況

}} 5 的時候，將圓盤切成 10 個部分，每切一刀轉過的角度是 36 度。設包含圓心的部分為藍色，其餘部分為白色。證明的思路和}} 3 的時候一樣。過圓心做平行於某條分割線的切線，然後將它與另一條分割線的交點記為。要注意的是由於交點有若干個，證明中選取的是最接近圓心的一點作為點。}}

等於帶狀圖形加上的面積減去帶狀圖形加上的面積得到的差。}}

注意到帶狀圖形的面積可以表示成兩個弓形的面積之差。所以證明了以上的等式後，藍紅面積差實際上可以簡化成：

:

其中的函式是表示圓心距等於，寬度為的帶狀圖形的面積：

而函式則是圓心距等於的弓形的面積：

 其導數為

因此，要證明小於 0，可以轉化為證明以上關於的式子小於 0。迪爾曼和馬布裡把函式在 0 點展開，得到的一個無窮級數展開式。經過一系列轉化後，將問題變形為證明有關黃金比值的不等式：

可以證明這個不等式成立，因此小於 0，即藍色面積比較小。

3.3 一般情況

}} 3 和 5 的情況後，希望能將}} 5 的證明方法推廣到一般的情況中去。證明分為兩個部分。第一部分是證明 “藍色部分” 面積減去 “紅色部分” 面積的差等於兩類相應的帶狀圖形的面積和的差。第二部分則是將這個差表示成一系列的代數和，然後證明：

小於 0.

他們成功地將原命題轉化成證明

並且僅當小於的時候等於 0。}}

由於形式十分複雜，他們在尋找了 14 年後才發現了恰當的代數工具來證明以上不等式。2009 年，他們在《美國數學月刊》發表了最後的證明。

類似問題和結論

4.1 披薩邊定理

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

厚邊披薩的函式就不能近似於披薩函式的導數了，所以還需要進一步分析。

4.2 等邊長切法

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

4.3 三維的情況

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

4.4 多人分披薩

如果分披薩的人不止兩個，問題就變得更加複雜了。1999 年，赫史霍恩等人發現了一個特例下人等分披薩的方法。他們證明了：如果將一個圓盤按照披薩定理中的切法切 2 刀分成 4 塊，那麼可以將其分為面積相等的份，每份 4 塊。具體方法是選擇任一塊後，再選擇它旋轉 90 度、180 度以及 270 度之後位置的 3 塊，一起作為一份。