披萨定理

title: 历史.
content: 披萨定理首先是作为一个数学难题在1967年的《数学杂志》上提出的,问题序号为660。提出此问题的人是L.J.厄普顿。 厄普顿首先说明了切两刀时的情况,然后要求证明:切4刀的时候两部分的面积是一样的。1968年,《数学杂志》上登载了迈克尔·哥德堡对问题660的解答。解答中不仅解决了切4刀的问题,还解决了偶数刀时的情况。  1994年,拉里·卡特和斯丹·瓦根用割补法对切4刀的问题给出了一个直观的图解证明。他们的文章中还提到,堂·科波史密斯曾经利用圆周率的超越性证明了切奇数刀的时候,两个部分面积不等,但没有给出更进一步的结果。同年,卡特、瓦根和约翰·邓肯在《数学杂志》上提出切3刀和切5刀的问题。  1995年,保罗·迪尔曼和里克·马布里在《数学杂志》上登载了3刀和5刀的解答,同时提出任意奇数刀的问题,邀请读者解决。2009年,保罗·迪尔曼和里克·马布里最终解决了奇数刀时的情况,至此披萨问题完全解决。
title: 偶数刀的证明.
content: 切偶数刀的披萨问题是1967年开始提出的,并在一年之后就得到了解答。以下将切的刀数记为,则每次切刀时转的角度是formula_5。当刀数是偶数时,设 formula_1 2,则整个圆盘被分为2 formula_1 4份。
title: N=2的情况.
content: 当刀数 formula_1 2时,整个圆盘被分为4份。由对称性,不妨假设定点在圆心的右上方(如右图),切的两刀分别是水平和垂直的。这时绿色的部分是包括圆心的部分。过圆心作一条水平线,再作点关于这条直线的对称点,则点也在垂直的分割线上。过点再作一条水平线,这样共将圆盘分为8份。其中: 所以,包含圆心的绿色部分的面积大于不包含圆心的粉红色面积。
title: N=4的情况.
content: formula_1 4时,2 formula_1 8,圆盘被分为8份,每切一刀时转过的角度是45度。这个特例是1967年厄普顿首次提出披萨问题时的版本。1968年,哥登堡给出的证明是对于所有大于等于4的更广泛情况。  1994年,卡特和瓦根用割补法给出了一个直观的证明(见左图)。假设切的四刀将圆盘分成如左图所示的四个橙色部分和四个蓝色部分。则可以将每种颜色的部分继续分割,各分成8个更小的部分。如左图编号之后,其中相同数字对应的两个区块是全等的。这样就证明了,橙色的部分和蓝色的部分所占的面积是一样大的。这个证明的妙处是一目了然,而不必再用公式或语言叙述了。
title: 一般情况.
content: formula_11 4时的一般情况,证明的方法由迈克尔·哥德堡于1968年给出。这时候圆盘被分为2份,每切一刀时转过的角度是formula_5度。思路是用极坐标的方式给出每一块的面积的积分表示,转化成一个代数问题。  不失一般性,设圆盘的半径是1。于是圆盘的面积等于1 formula_1 。设最初的定点是。不妨假设在圆心的右上方。以为原点建立极坐标系,设向量的角度是(右图蓝色角)。记formula_14。设切刀时留下的分割线的长度分别是formula_15(见右图),那么:  设在极坐标系中,圆上一点与点定义的直线和水平轴的夹角是,而记的长度是,那么 而“第一块”图形(右图中右上角的橙色部分)的面积是: “第二块”图形(右上角偏上的绿色部分)的面积是:formula_18,“第块”图形的面积是 formula_19  橙色部分的总面积是:  注意到对每个固定的,设 formula_1,再对应用引理,就有: 因此 也就是说,橙色部分的面积是圆盘面积的一半。所以两种颜色的面积相等。
title: 奇数刀的证明.
title: N=3的情况.
content: 将两个情况下的图(图1和图2)重叠,得到下图3,。其中的紫色部分是蓝色和红色部分的公共区域,因此只需要证明图3中剩余的蓝色部分面积大于红色面积。将各个色块如下图一半标记为、、、、、六块。色块、、、构成了一个(过圆心的)带状图形,色块、、、也构成一个(不过圆心的)带状图形。而这两个带状图形的高都是一样的,因为色块的形状是正三角形,而这两个带状图形的高分别等于这个正三角形的两个不同顶点上的高。容易证明,色块、、、构成的的带状图形的面积大于色块、、、构成的带状图形的面积(见图4)。因此消去、两色块后,得到蓝色部分的面积大于红色部分的面积。也就是说,图1中的蓝色部分的面积大于圆盘面积的一半,从而大于白色部分的面积。
title: N=5的情况.
content: 注意到带状图形的面积可以表示成两个弓形的面积之差。所以证明了以上的等式后,蓝红面积差实际上可以简化成: 其中的函数是表示圆心距等于,宽度为的带状图形的面积: 而函数则是圆心距等于的弓形的面积: 因此,要证明小于0,可以转化为证明以上关于的式子小于0。迪尔曼和马布里把函数在0点展开,得到的一个无穷级数展开式。经过一系列转化后,将问题变形为证明有关黄金比值formula_32的不等式: formula_33 可以证明这个不等式成立,因此小于0,即蓝色面积比较小。
title: 一般情况.
content: \Delta S </math>小于0. 他们成功地将原命题转化成证明  由于形式十分复杂,他们在寻找了14年后才发现了恰当的代数工具来证明以上不等式。2009年,他们在《美国数学月刊》发表了最后的证明。
title: 类似问题和结论.
title: 披萨边定理.
content: 迪尔曼和马布里在2009年的证明论文中也探讨了所谓的“披萨边问题”。这可看做是披萨定理的应用。披萨边可以看做是披萨减去披萨内馅(也是圆形)后的部分,也就是两个同心圆之间的圆环。因此应用披萨定理,可以探讨按照披萨定理中的切法哪一部分的披萨边比较多。当切的刀数是偶数刀的时候,由于大圆和小圆都被等分为两部分,所以它们的差(圆环部分)也被等分为两部分。切的刀数是奇数刀的时候,还要分“薄边披萨”和“厚边披萨”来讨论。对于“薄边披萨”——两个同心圆的半径差不多,这时候的函数近似于披萨时函数的导数,用类似的方法可以推出和披萨相反的结论。也就是说,分得披萨较多的人,披萨边反而较少;分到披萨较少的人,披萨边会较多。  厚边披萨的函数就不能近似于披萨函数的导数了,所以还需要进一步分析。
title: 等边长切法.
content: 如果切披萨的时候不是按照固定的角度,而是按照切下固定的边长(formula_35弧度角)来分披萨,那么两部分的面积是否相等呢?答案是肯定的。无论切的刀数是偶数还是奇数,两个部分的面积都一样。这时两个人分到的披萨和披萨边都一定是一样多的了。
title: 三维的情况.
content: 迪尔曼和马布里在2009年的证明论文中还探讨了披萨问题在三维空间中的推广。这时的问题不再是“切披萨”,而是“切布丁”或“切西瓜”了。也就是说,切分的对象从圆形变成了平底的三维旋转体,即横截面是圆形的三维物体。这时候,三维物体可以看成是无数个“同心”圆盘的叠加。所以三维空间中的情况仍然可以转化成关于函数性质的讨论,所以在的性质足够明确的时候,可以得到类似于披萨定理的结论。迪尔曼和马布里研究了半抛球体和半椭球体的情况,发现前者的性质和披萨的情况恰好相反,而后者在 formula_11 5的时候,两个部分的体积永远相等。也就是说,如果按照分披萨的方法切半个西瓜,那么只要切的刀数大于等于5,无论切的刀数是奇数还是偶数,两个人分到的西瓜总是一样多。
title: 多人分披萨.
content: 如果分披萨的人不止两个,问题就变得更加复杂了。1999年,赫史霍恩等人发现了一个特例下人等分披萨的方法。他们证明了:如果将一个圆盘按照披萨定理中的切法切2刀分成4块,那么可以将其分为面积相等的份,每份4块。具体方法是选择任一块后,再选择它旋转90度、180度以及270度之后位置的3块,一起作为一份。

Summary: 披萨定理是平面几何学之中的一个定理。它指出,如果以圆盘中任意一个指定点为中心,切下刀,使相邻的两刀隔的角度相同;然后按顺时针(或逆时针)的顺序给切出的各块交替染上两种颜色,将圆盘分为两个部分。那么有下列结论: 这个定理之所以被称为披萨定理,是因为其中分割圆盘的方式类似于分披萨的过程。这个定理可以说明,当两个人用以上的方法分披萨的时候,谁能拿到更多的披萨。

Pizza theorem: In elementary geometry, the pizza theorem states the equality of two areas that arise when one partitions a disk in a certain way.