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


* 當 _n_ 是大於 2 的偶數（_n_ $=$ 4,6,8,10,12,14,..），或有任一刀通過圓心時：兩種顏色的部分面積一樣大。

* 若任意一刀都不通過圓心，那麼：
  
* 當 _n_ $=$ 1,2 或 _n_ 除以 4 餘 3（_n_ $=$ 1,2,3,7,11,15,..）的時候，包含圓心的部分面積比較大。
  
* 當 _n_ 大於 4 且除以 4 餘 1（_n_ $=$ 5,9,13,..）的時候，包含圓心的部分面積比較小。

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



歷史

披薩定理首先是作為一個數學難題在 1967 年的《數學雜誌》上提出的，問題序號為 660。提出此問題的人是 L.J. 厄普頓。這個問題的背景十分生活化，來源於兩個人分比薩餅的公平問題：分披薩餅時常見的做法是過圓心切若干刀，將披薩儘可能均勻地分成若干份。然而很多時候並不能保證選取的圓心就是真正的圓心。如果過的圓心是錯誤的，那麼即使「均勻地」切開披薩（每切一刀轉過的角度都是相同的），每塊披薩的大小也都不一樣。這時候如果兩個人按照順時針（或逆時針）順序輪流拿披薩吃，那麼兩個人吃掉的披薩是否一樣多呢？如果將披薩看作是圓盤，那麼這個問題就變成了一個幾何問題。

> 在一個圓盤中指定一個點 P，並過這一點切 _N_ 刀，每切一刀轉過的角度都相等（等於 $\scriptstyle {\frac {\pi }{N}}$ ），然後按照順時針順序，將切成的 2_N_ 塊區域交替染成兩種顏色。問兩種顏色部分的面積大小關係。
> 
> 

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

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

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



偶數刀的證明

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

N=2 的情況

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

　
: A 和 D 全等，B 和 C 全等；

　
: E 的面積大於 G，F 的面積大於 H。

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

N=4 的情況

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

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

一般情況

_N_ $\geqslant $ 4 時的一般情況，證明的方法由麥可・哥德堡於 1968 年給出。這時候圓盤被分為 2_N_ 份，每切一刀時轉過的角度是 $\scriptstyle {\frac {\pi }{N}}$ 度。思路是用極坐標的方式給出每一塊的面積的積分表示，轉化成一個代數問題。

不失一般性，設圓盤的半徑是 1。於是圓盤的面積等於 π·12 $=$ π。設最初的定點是 P。不妨假設 P 在圓心 O 的右上方。以 P 為原點建立極坐標系，設向量 OP 的角度是 _β_（右圖藍色角）。記 $\scriptstyle \alpha ={\frac {\pi }{N}}$ 。設切 _N_ 刀時留下的分割線的長度分別是 $a_{0},a_{1},\cdots ,a_{2N-1}$ （見右圖），那麼：

設在極坐標系中，圓上一點 Q 與 P 點定義的直線和水平 _x_ 軸的夾角是 _θ_，而記 PQ 的長度是 _r_(_θ_)，那麼

　
: $a_{i}=r(\beta +i\alpha )$

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

　
: $S_{1}={\frac {1}{2}}\int _{\beta }^{\beta +\alpha }r^{2}(\theta ){\rm {{d}\theta }}$

「第二塊」圖形（右上角偏上的綠色部分）的面積是： $S_{2}={\frac {1}{2}}\int _{\beta +\alpha }^{\beta +2\alpha }r^{2}(\theta ){\rm {{d}\theta }}$ ，「第 _i_ 塊」圖形的面積是

 $S_{i}={\frac {1}{2}}\int _{\beta +(i-1)\alpha }^{\beta +i\alpha }r^{2}(\theta ){\rm {{d}\theta }}$
橙色部分的總面積是：

　
: $S_{r}=S_{1}+S_{3}+\cdots +S_{2N-1}$

　
: $={\frac {1}{2}}\int _{\beta }^{\beta +\alpha }r^{2}(\theta ){\rm {{d}\theta +{\frac {1}{2}}\int _{\beta +2\alpha }^{\beta +3\alpha }r^{2}(\theta ){\rm {{d}\theta +\cdots +{\frac {1}{2}}\int _{\beta +(2N-2)\alpha }^{\beta +(2N-1)\alpha }r^{2}(\theta ){\rm {{d}\theta }}}}}}$

　
: : $={\frac {1}{2}}\int _{0}^{\alpha }r^{2}(\beta +\theta ){\rm {{d}\theta +{\frac {1}{2}}\int _{0}^{\alpha }r^{2}(\beta +2\alpha +\theta ){\rm {{d}\theta +\cdots +{\frac {1}{2}}\int _{0}^{\alpha }r^{2}(\beta +(2N-2)\alpha +\theta ){\rm {{d}\theta }}}}}}$

　
: $={\frac {1}{2}}\int _{0}^{\alpha }\left(\sum _{i=0}^{N-1}r^{2}(\beta +\theta +2i\alpha )\right){\rm {{d}\theta }}$

注意到對每個固定的 _θ_，設 _β_′ $=$ _β_ + _θ_，再對 _β_′應用引理，就有：

　
: $\sum _{i=0}^{N-1}r^{2}(\beta +\theta +2i\alpha )=N$

因此

　
: $S_{r}={\frac {1}{2}}\int _{0}^{\alpha }N{\rm {{d}\theta ={\frac {N\alpha }{2}}={\frac {\pi }{2}}}}$

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



奇數刀的證明

切奇數刀時，定理說明兩種顏色的部分面積不再相等了。數學家們在 1990 年代才猜到這一點。偶數刀的情況解決後，卡特、鄧肯和瓦根在 1994 年提問對於 _N_ = 3 或 5 的時候結果如何。1995 年迪爾曼和馬布里給出了答案。他們發現 _N_ = 3 時包括圓心的面積更大，而 _N_ = 5 的時候恰好相反。他們在證明 _N_ = 5 的時候將含圓心部分的面積 _S_c 和其餘部分的面積 _S_r 的差的一半記作 Δ_S_，然後提出只要找到一般情況下 Δ_S_ 對應的代數模型的性質，就可以解決一般的情況。

N=3 的情況

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

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

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

N=5 的情況

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

證明的方向也是將藍色面積大於白色面積轉化成證明藍色面積小於紅色面積。將藍色部分和紅色部分重疊後（見右圖），首先可以驗證：藍色部分面積減去紅色部分面積的差 Δ_S_ 等於帶狀圖形 ABCD 加上 EFGH 的面積減去帶狀圖形 A′B′C′D′加上 E′F′G′H′的面積得到的差。

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

　
: $\Delta S=f\left(0,PP^{*}\sin \left({\frac {\pi }{5}}\right)\right)+f\left(OP^{*}\sin \left({\frac {2\pi }{5}}\right),PP^{*}\sin \left({\frac {2\pi }{5}}\right)\right)$

　
: $-f\left(OP^{*}\sin \left({\frac {\pi }{5}}\right),PP^{*}\sin \left({\frac {2\pi }{5}}\right)\right)-f\left(OP^{*}\sin \left({\frac {2\pi }{5}}\right),PP^{*}\sin \left({\frac {\pi }{5}}\right)\right)$

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

　
: $f(d,h)=s(d)-s(d+h)$

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

　
: $s(d)=\cos ^{-1}(d)-d{\sqrt {1-d^{2}}}.$ 其導數為 $s'(x)=-2{\sqrt {1-x^{2}}}.$

因此，要證明 Δ_S_ 小於 0，可以轉化為證明以上關於 _s_ 的式子小於 0。迪爾曼和馬布里把函式 _s_ 在 0 點展開，得到 _s_ 的一個無窮級數展開式。經過一系列轉化後，將問題變形為證明有關黃金比值 $\scriptstyle g={\frac {{\sqrt {5}}+1}{2}}=2\cos \left({\frac {\pi }{5}}\right)$ 的不等式：

 $\forall n\geq 3,1\leq k\leq n-1,\quad g^{k}+g^{n-k}-g^{n}\leq 0$
可以證明這個不等式成立，因此 Δ_S_ 小於 0，即藍色面積比較小。

一般情況

1995 年，迪爾曼和馬布里證明了 _N_ = 3 和 5 的情況後，希望能將 _N_ = 5 的證明方法推廣到一般的情況中去。證明分為兩個部分。第一部分是證明「藍色部分」面積減去「紅色部分」面積的差 Δ_S_ 等於兩類相應的帶狀圖形的面積和的差。第二部分則是將這個差表示成一系列 _s_(_x_) 的代數和，然後證明： $(-1)^{\frac {N-1}{2}}\Delta S$ 小於 0.
他們成功地將原命題轉化成證明

　
: $\forall N\geq 3,\,n\geq 3,\,1\leq k\leq n-1,\quad W(N,n,k)=(-1)^{\frac {N-1}{2}}\sum _{j=1}^{N}(-1)^{j-1}\sin ^{k}\left({\frac {j\pi }{N}}\right)\sin ^{(n-k)}\left({\frac {(j-1)\pi }{N}}\right)\geq 0$

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

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



類似問題和結論

披薩邊定理

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

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

等邊長切法

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

3D 的情況

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

多人分披薩

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



參考來源



外部連結