披薩定理

切4刀，共8塊。兩色之面積相同。

披薩定理是平面几何学之中的一个定理。它指出，如果以圆盘中任意一个指定點為中心，切下Template:Math刀，使相邻的两刀隔的角度相同；然后按顺时针（或逆时针）的顺序给切出的各块交替染上两种颜色，将圆盘分为两个部分。那么有下列結論：

• 当Template:Math是大于2的偶数（Template:Math $=$ 4,6,8,10,12,14,..），或有任一刀通過圓心时：两种颜色的部分面积一样大。
• 若任意一刀都不通過圓心，那么：
  • 当Template:Math $=$ 1,2或Template:Math除以4余3（Template:Math $=$ 1,2,3,7,11,15,..）的时候，包含圓心的部分面积比较大。
  • 当Template:Math大于4且除以4余1（Template:Math $=$ 5,9,13,..）的时候，包含圓心的部分面积比较小。

这个定理之所以被称为披萨定理，是因为其中分割圆盘的方式类似于分披萨的过程。这个定理可以说明，当两个人用以上的方法分披萨的时候，谁能拿到更多的披萨。

切6刀，共12塊。兩色之面積相同。

历史

披萨定理首先是作为一个数学难题在1967年的《数学杂志》上提出的，问题序号为660。提出此问题的人是L.J.厄普顿。Template:Fact Template:Quote

厄普顿首先说明了切两刀时的情况，然后要求证明：切4刀的时候两部分的面积是一样的。1968年，《数学杂志》上登载了迈克尔·哥德堡对问题660的解答。解答中不仅解决了切4刀的问题，还解决了偶数刀时的情况。

1994年，拉里·卡特和斯丹·瓦根用割补法对切4刀的问题给出了一个直观的图解证明。他们的文章中还提到，堂·科波史密斯曾经利用圆周率Template:Math的超越性证明了切奇数刀的时候，两个部分面积不等，但没有给出更进一步的结果。同年，卡特、瓦根和约翰·邓肯在《数学杂志》上提出切3刀和切5刀的问题。

1995年，保罗·迪尔曼和里克·马布里在《数学杂志》上登载了3刀和5刀的解答，同时提出任意奇数刀的问题，邀请读者解决。2009年，保罗·迪尔曼和里克·马布里最终解决了奇数刀时的情况，至此披萨问题完全解决。

偶数刀的证明

切偶数刀的披萨问题是1967年开始提出的，并在一年之后就得到了解答。以下将切的刀数记为Template:Math，则每次切刀时转的角度是$\frac{\pi }{N}$。当刀数Template:Math是偶数时，设Template:Math $=$ 2Template:Math，则整个圆盘被分为2Template:Math $=$ 4Template:Math份。

N=2的情况

当刀数Template:Math $=$ 2时，整个圆盘被分为4份。由对称性，不妨假设定点Template:Math在圆心的右上方（如右图），切的两刀分别是水平和垂直的。这时绿色的部分是包括圆心的部分。过圆心作一条水平线，再作Template:Math点关于这条直线的对称点Template:Math，则Template:Math点也在垂直的分割线上。过Template:Math点再作一条水平线，这样共将圆盘分为8份。其中：

Template:Math和Template:Math全等，Template:Math和Template:Math全等；

Template:Math的面积大于Template:Math，Template:Math的面积大于Template:Math。

所以，包含圆心的绿色部分的面积大于不包含圆心的粉红色面积。

N=4的情况

Template:Math $=$ 4时，2Template:Math $=$ 8，圆盘被分为8份，每切一刀时转过的角度是45度。这个特例是1967年厄普顿首次提出披萨问题时的版本。1968年，哥登堡给出的证明是对于所有大于等于4的更广泛情况。

1994年，卡特和瓦根用割补法给出了一个直观的证明（见左图）。假设切的四刀将圆盘分成如左图所示的四个橙色部分和四个蓝色部分。则可以将每种颜色的部分继续分割，各分成8个更小的部分。如左图编号之后，其中相同数字对应的两个区块是全等的。这样就证明了，橙色的部分和蓝色的部分所占的面积是一样大的。这个证明的妙处是一目了然，而不必再用公式或语言叙述了。

一般情况

Template:Math $⩾$ 4时的一般情况，证明的方法由迈克尔·哥德堡于1968年给出。这时候圆盘被分为2Template:Math份，每切一刀时转过的角度是$\frac{\pi }{N}$度。思路是用极坐标的方式给出每一块的面积的积分表示，转化成一个代数问题。

不失一般性，设圆盘的半径是1。于是圆盘的面积等于Template:Math1² $=$ Template:Math。设最初的定点是Template:Math。不妨假设Template:Math在圆心Template:Math的右上方。以Template:Math为原点建立极坐标系，设向量Template:Math的角度是Template:Math（右图蓝色角）。记$\alpha =\frac{\pi }{N}$。设切Template:Math刀时留下的分割线的长度分别是$a_0,a_1,\cdots ,a_{2N-1}$（见右图），那么： Template:Quote box

设在极坐标系中，圆上一点Template:Math与Template:Math点定义的直线和水平Template:Math轴的夹角是Template:Math，而记Template:Math的长度是Template:Math，那么

$a_i=r(\beta +i\alpha )$

而“第一块”图形（右图中右上角的橙色部分）的面积是：

$S_1=\frac{1}{2}\underset{\beta }{\overset{\beta +\alpha }{\int }}{r}^2(\theta )\mathrm{d}\mathrm{\theta }$

“第二块”图形（右上角偏上的绿色部分）的面积是：$S_2=\frac{1}{2}\underset{\beta +\alpha }{\overset{\beta +2\alpha }{\int }}{r}^2(\theta )\mathrm{d}\mathrm{\theta }$，“第Template:Math块”图形的面积是

$S_i=\frac{1}{2}\underset{\beta +(i-1)\alpha }{\overset{\beta +i\alpha }{\int }}{r}^2(\theta )\mathrm{d}\mathrm{\theta }$

橙色部分的总面积是：

$S_r=S_1+S_3+\cdots +S_{2N-1}$

$=\frac{1}{2}\underset{\beta }{\overset{\beta +\alpha }{\int }}{r}^2(\theta )\mathrm{d}\mathrm{\theta }\mathrm{+}\frac{1}{2}\underset{\mathrm{\beta }\mathrm{+}\mathrm{2}\mathrm{\alpha }}{\overset{\mathrm{\beta }\mathrm{+}\mathrm{3}\mathrm{\alpha }}{\int }}{\mathrm{r}}^{\mathrm{2}}\mathrm{(}\mathrm{\theta }\mathrm{)}\mathrm{d}\mathrm{\theta }\mathrm{+}\mathrm{\cdots }\mathrm{+}\frac{1}{2}\underset{\mathrm{\beta }\mathrm{+}\mathrm{(}\mathrm{2}\mathrm{N}\mathrm{-}\mathrm{2}\mathrm{)}\mathrm{\alpha }}{\overset{\mathrm{\beta }\mathrm{+}\mathrm{(}\mathrm{2}\mathrm{N}\mathrm{-}\mathrm{1}\mathrm{)}\mathrm{\alpha }}{\int }}{\mathrm{r}}^{\mathrm{2}}\mathrm{(}\mathrm{\theta }\mathrm{)}\mathrm{d}\mathrm{\theta }$

$=\frac{1}{2}\underset{0}{\overset{\alpha }{\int }}{r}^2(\beta +\theta )\mathrm{d}\mathrm{\theta }\mathrm{+}\frac{1}{2}\underset{\mathrm{0}}{\overset{\mathrm{\alpha }}{\int }}{\mathrm{r}}^{\mathrm{2}}\mathrm{(}\mathrm{\beta }\mathrm{+}\mathrm{2}\mathrm{\alpha }\mathrm{+}\mathrm{\theta }\mathrm{)}\mathrm{d}\mathrm{\theta }\mathrm{+}\mathrm{\cdots }\mathrm{+}\frac{1}{2}\underset{\mathrm{0}}{\overset{\mathrm{\alpha }}{\int }}{\mathrm{r}}^{\mathrm{2}}\mathrm{(}\mathrm{\beta }\mathrm{+}\mathrm{(}\mathrm{2}\mathrm{N}\mathrm{-}\mathrm{2}\mathrm{)}\mathrm{\alpha }\mathrm{+}\mathrm{\theta }\mathrm{)}\mathrm{d}\mathrm{\theta }$

$=\frac{1}{2}\underset{0}{\overset{\alpha }{\int }}(\sum _{i=0}^{N-1}{r}^2(\beta +\theta +2i\alpha ))\mathrm{d}\mathrm{\theta }$

注意到对每个固定的Template:Math，设Template:Math $=$ Template:Math，再对Template:Math应用引理，就有：

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

因此

$S_r=\frac{1}{2}\underset{0}{\overset{\alpha }{\int }}N\mathrm{d}\mathrm{\theta }\mathrm{=}\frac{N\alpha }{2}\mathrm{=}\frac{\pi }{2}$

也就是说，橙色部分的面积是圆盘面积的一半。所以两种颜色的面积相等。

奇数刀的证明

N=3的情况

将两个情况下的图（图1和图2）重叠，得到下图3,。其中的紫色部分是蓝色和红色部分的公共区域，因此只需要证明图3中剩余的蓝色部分面积大于红色面积。将各个色块如下图一半标记为Template:Math、Template:Math、Template:Math、Template:Math、Template:Math、Template:Math六块。色块Template:Math、Template:Math、Template:Math、Template:Math构成了一个（过圆心的）带状图形，色块Template:Math、Template:Math、Template:Math、Template:Math也构成一个（不过圆心的）带状图形。而这两个带状图形的高都是一样的，因为色块Template:Math的形状是正三角形，而这两个带状图形的高分别等于这个正三角形的两个不同顶点上的高。容易证明，色块Template:Math、Template:Math、Template:Math、Template:Math构成的带状图形的面积大于色块Template:Math、Template:Math、Template:Math、Template:Math构成的带状图形的面积（见图4）。因此消去Template:Math、Template:Math两色块后，得到蓝色部分的面积大于红色部分的面积。也就是说，图1中的蓝色部分的面积大于圆盘面积的一半，从而大于白色部分的面积。

N=5的情况

注意到带状图形的面积可以表示成两个弓形的面积之差。所以证明了以上的等式后，蓝红面积差实际上可以简化成：

$\mathrm{\Delta }S=f(0,P{P}^{*}\sin \left(\frac{\pi }{5}\right))+f(O{P}^{*}\sin \left(\frac{2\pi }{5}\right),P{P}^{*}\sin \left(\frac{2\pi }{5}\right))$

$-f(O{P}^{*}\sin \left(\frac{\pi }{5}\right),P{P}^{*}\sin \left(\frac{2\pi }{5}\right))-f(O{P}^{*}\sin \left(\frac{2\pi }{5}\right),P{P}^{*}\sin \left(\frac{\pi }{5}\right))$

其中的函数Template:Math是表示圆心距等于Template:Math，宽度为Template:Math的带状图形的面积：

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

而函数Template:Math则是圆心距等于Template:Math的弓形的面积：

$s(d)={\cos }^{-1}(d)-d\sqrt{1-d^2}.$ 其导数为$s^{\prime }(x)=-2\sqrt{1-x^2}.$

因此，要证明Template:Math小于0，可以转化为证明以上关于Template:Math的式子小于0。迪尔曼和马布里把函数Template:Math在0点展开，得到Template:Math的一个无穷级数展开式。经过一系列转化后，将问题变形为证明有关黄金比值$g=\frac{\sqrt{5}+1}{2}=2\cos \left(\frac{\pi }{5}\right)$的不等式：

$\mathrm{\forall }n\ge 3,1\le k\le n-1,g^k+g^{n-k}-g^n\le 0$

可以证明这个不等式成立，因此Template:Math小于0，即蓝色面积比较小。

一般情况

由于Template:Math形式十分复杂，他们在寻找了14年后才发现了恰当的代数工具来证明以上不等式。2009年，他们在《美国数学月刊》发表了最后的证明。

类似问题和结论

披萨边定理

披萨被偶数刀等分时，披萨边（蓝色和灰色部分）也被等分。奇数刀则未必。

迪尔曼和马布里在2009年的证明论文中也探讨了所谓的“披萨边问题”。这可看做是披萨定理的应用。披萨边可以看做是披萨减去披萨内馅（也是圆形）后的部分，也就是两个同心圆之间的圆环。因此应用披萨定理，可以探讨按照披萨定理中的切法哪一部分的披萨边比较多。当切的刀数是偶数刀的时候，由于大圆和小圆都被等分为两部分，所以它们的差（圆环部分）也被等分为两部分。切的刀数是奇数刀的时候，还要分“薄边披萨”和“厚边披萨”来讨论。对于“薄边披萨”——两个同心圆的半径差不多，这时候的Template:Math函数近似于披萨时Template:Math函数的导数，用类似的方法可以推出和披萨相反的结论。也就是说，分得披萨较多的人，披萨边反而较少；分到披萨较少的人，披萨边会较多。

厚边披萨的Template:Math函数就不能近似于披萨Template:Math函数的导数了，所以还需要进一步分析。

等边长切法

等边长的切法，将圆弧分为等长的8段。

如果切披萨的时候不是按照固定的角度，而是按照切下固定的边长（$\frac{\pi }{N}$弧度角）来分披萨，那么两部分的面积是否相等呢？答案是肯定的。无论切的刀数是偶数还是奇数，两个部分的面积都一样。这时两个人分到的披萨和披萨边都一定是一样多的了。

三维的情况

迪尔曼和马布里在2009年的证明论文中还探讨了披萨问题在三维空间中的推广。这时的问题不再是“切披萨”，而是“切布丁”或“切西瓜”了。也就是说，切分的对象从圆形变成了平底的三维旋转体，即横截面是圆形的三维物体。这时候，三维物体可以看成是无数个“同心”圆盘的叠加。所以三维空间中的情况仍然可以转化成关于Template:Math函数性质的讨论，所以在Template:Math的性质足够明确的时候，可以得到类似于披萨定理的结论。迪尔曼和马布里研究了半抛球体和半椭球体的情况，发现前者的性质和披萨的情况恰好相反，而后者在Template:Math $⩾$ 5的时候，两个部分的体积永远相等。也就是说，如果按照分披萨的方法切半个西瓜，那么只要切的刀数大于等于5，无论切的刀数是奇数还是偶数，两个人分到的西瓜总是一样多。

多人分披萨

如果分披萨的人不止两个，问题就变得更加复杂了。1999年，赫史霍恩等人发现了一个特例下Template:Math人等分披萨的方法。他们证明了：如果将一个圆盘按照披萨定理中的切法切2Template:Math刀分成4Template:Math块，那么可以将其分为面积相等的Template:Math份，每份4块。具体方法是选择任一块后，再选择它旋转90度、180度以及270度之后位置的3块，一起作为一份。

参考来源

• Template:EnTemplate:Citation.
• Template:ZhTemplate:Cite web

外部連結

• Template:Zh也说Pizza问题：分享几个漂亮的证明 Template:Wayback