LUNCH with a colleague from work should be a time to unwind - the most taxing task being to decide what to eat, drink and choose for dessert. For Rick Mabry and Paul Deiermann it has never been that simple. They can't think about sharing a pizza, for example, without falling headlong into the mathematics of how to slice it up. "We went to lunch together at least once a week," says Mabry, recalling the early 1990s when they were both at Louisiana State University, Shreveport. "One of us would bring a notebook, and we'd draw pictures while our food was getting cold."

    The problem that bothered them was this. Suppose the harried waiter cuts the pizza off-centre, but with all the edge-to-edge cuts crossing at a single point, and with the same angle between adjacent cuts. The off-centre cuts mean the slices will not all be the same size, so if two people take turns to take neighbouring slices, will they get equal shares by the time they have gone right round the pizza - and if not, who will get more?

    Of course you could estimate the area of each slice, tot them all up and work out each person's total from that. But these guys are mathematicians, and so that wouldn't quite do. They wanted to be able to distil the problem down to a few general, provable rules that avoid exact calculations, and that work every time for any circular pizza.

    As with many mathematical conundrums, the answer has arrived in stages - each looking at different possible cases of the problem. The easiest example to consider is when at least one cut passes plumb through the centre of the pizza. A quick sketch shows that the pieces then pair up on either side of the cut through the centre, and so can be divided evenly between the two diners, no matter how many cuts there are.

    So far so good, but what if none of the cuts passes through the centre? For a pizza cut once, the answer is obvious by inspection: whoever eats the centre eats more. The case of a pizza cut twice, yielding four slices, shows the same result: the person who eats the slice that contains the centre gets the bigger portion. That turns out to be an anomaly to the three general rules that deal with greater numbers of cuts, which would emerge over subsequent years to form the complete pizza theorem.

    The first proposes that if you cut a pizza through the chosen point with an even number of cuts more than 2, the pizza will be divided evenly between two diners who each take alternate slices. This side of the problem was first explored in 1967 by one L. J. Upton in Mathematics Magazine （vol 40, p 163）. Upton didn't bother with two cuts: he asked readers to prove that in the case of four cuts （making eight slices） the diners can share the pizza equally. Next came the general solution for an even number of cuts greater than 4, which first turned up as an answer to Upton's challenge in 1968, with elementary algebraic calculations of the exact area of the different slices revealing that, again, the pizza is always divided equally between the two diners （Mathematics Magazine, vol 41, p 46）.

    With an odd number of cuts, things start to get more complicated. Here the pizza theorem says that if you cut the pizza with 3, 7, 11, 15… cuts, and no cut goes through the centre, then the person who gets the slice that includes the centre of the pizza eats more in total. If you use 5, 9, 13, 17… cuts, the person who gets the centre ends up with less （see diagram）.

    Rigorously proving this to be true, however, has been a tough nut to crack. So difficult, in fact, that Mabry and Deiermann have only just finalised a proof that covers all possible cases.

    Their quest started in 1994, when Deiermann showed Mabry a revised version of the pizza problem, again published in Mathematics Magazine （vol 67, p 304）. Readers were invited to prove two specific cases of the pizza theorem. First, that if a pizza is cut three times （into six slices）, the person who eats the slice containing the pizza's centre eats more. Second, that if the pizza is cut five times （making 10 slices）, the opposite is true and the person who eats the centre eats less.

    The first statement was posed as a teaser: it had already been proved by the authors. The second statement, however, was preceded by an asterisk - a tiny symbol which, in Mathematics Magazine, can mean big trouble. It indicates that the proposers haven't yet proved the proposition themselves. "Perhaps most mathematicians would have thought, 'If those guys can't solve it, I'm not going to look at it.'" Mabry says. "We were stupid enough to look at it."

    Most mathematicians would have thought, 'I'm not going to look at it.' We were stupid enough to try

    Deiermann quickly sketched a solution to the three-cut problem - "one of the most clever things I've ever seen," as Mabry recalls. The pair went on to prove the statement for five cuts - even though new tangles emerged in the process - and then proved that if you cut the pizza seven times, you get the same result as for three cuts: the person who eats the centre of the pizza ends up with more.

    Boosted by their success, they thought they might have stumbled across a technique that could prove the entire pizza theorem once and for all. For an odd number of cuts, opposing slices inevitably go to different diners, so an intuitive solution is to simply compare the sizes of opposing slices and figure out who gets more, and by how much, before moving on to the next pair. Working your way around the pizza pan, you tot up the differences and there's your answer.

    Simple enough in principle, but it turned out to be horribly difficult in practice to come up with a solution that covered all the possible numbers of odd cuts. Mabry and Deiermann hoped they might be able to deploy a deft geometrical trick to simplify the problem. The key was the area of the rectangular strips lying between each cut and a parallel line passing through the centre of the pizza （see diagram）. That's because the difference in area between two opposing slices can be easily expressed in terms of the areas of the rectangular strips defined by the cuts. "The formula for [the area of] strips is easier than for slices," Mabry says. "And the strips give some very nice visual proofs of certain aspects of the problem."

    Unfortunately, the solution still included a complicated set of sums of algebraic series involving tricky powers of trigonometric functions. The expression was ugly, and even though Mabry and Deiermann didn't have to calculate the total exactly, they still had to prove it was positive or negative to find out who gets the bigger portion. It turned out to be a massive hurdle. "It ultimately took 11 years to figure that out," says Mabry.

    Over the following years, the pair returned occasionally to the pizza problem, but with only limited success. The breakthrough came in 2006, when Mabry was on a vacation in Kempten im Allg?u in the far south of Germany. "I had a nice hotel room, a nice cool environment, and no computer," he says. "I started thinking about it again, and that's when it all started working." Mabry and Deiermann - who by now was at Southeast Missouri State University in Cape Girardeau - had been using computer programs to test their results, but it wasn't until Mabry put the technology aside that he saw the problem clearly. He managed to refashion the algebra into a manageable, more elegant form.

    Back home, he put computer technology to work again. He suspected that someone, somewhere must already have worked out the simple-looking sums at the heart of the new expression, so he trawled the online world for theorems in the vast field of combinatorics - an area of pure mathematics concerned with listing, counting and rearranging - that might provide the key result he was looking for.

    Eventually he found what he was after: a 1999 paper that referenced a mathematical statement from 1979. There, Mabry found the tools he and Deiermann needed to show whether the complex algebra of the rectangular strips came out positive or negative. The rest of the proof then fell into place （American Mathematical Monthly, vol 116, p 423）.

    So, with the pizza theorem proved, will all kinds of important practical problems now be easier to deal with? In fact there don't seem to be any such applications - not that Mabry is unduly upset. "It's a funny thing about some mathematicians," he says. "We often don't care if the results have applications because the results are themselves so pretty." Sometimes these solutions to abstract mathematical problems do show their face in unexpected places. For example, a 19th-century mathematical curiosity called the "space-filling curve" - a sort of early fractal curve - recently resurfaced as a model for the shape of the human genome.

    Mabry and Deiermann have gone on to examine a host of other pizza-related problems. Who gets more crust, for example, and who will eat the most cheese? And what happens if the pizza is square? Equally appetising to the mathematical mind is the question of what happens if you add extra dimensions to the pizza. A three-dimensional pizza, one might argue, is a calzone - a bread pocket filled with pizza toppings - suggesting a whole host of calzone conjectures, many of which Mabry and Deiermann have already proved. It's a passion that has become increasingly theoretical over the years. So if on your next trip to a pizza joint you see someone scribbling formulae on a napkin, it's probably not Mabry. "This may ruin any pizza endorsements I ever hoped to get," he says, "but I don't eat much American pizza these days."

    工作后與同事共進(jìn)午餐應(yīng)該是一個(gè)放松的時(shí)刻-最費(fèi)神的是要決定吃什么、喝什么以及選擇甜點(diǎn)。對(duì)Rick和Paul Deiermann來(lái)說(shuō)，這從來(lái)不是那么簡(jiǎn)單的。例如，如果他們沒(méi)有倉(cāng)促地陷入怎樣切一塊披薩的數(shù)學(xué)問(wèn)題，他們是不會(huì)考慮共享一塊披薩的。Mabry回憶起他們都在路易斯安那州大學(xué)的時(shí)候，說(shuō)："我們至少共進(jìn)午餐一周一次，我們倆會(huì)有一個(gè)帶著筆記本，我們?cè)诋?huà)各種圖形，而食物已經(jīng)變涼了。"

    使他們迷惑的問(wèn)題是這樣的。假設(shè)急匆匆的服務(wù)生是從偏離中心的位置切一塊披薩的，但是所有邊-到-邊的切線（即切披薩的線）都相交于一點(diǎn)，且相鄰切線間的角度是相等的。偏離中心的切法意味著披薩片的大小是不同的，因此如果兩個(gè)人輪流按順序依次拿披薩直到他們分完，那么他們會(huì)得到相同量的披薩嗎？如果不會(huì)，誰(shuí)拿到的更多？

    當(dāng)然你可以估計(jì)每一塊的面積，把面積加起來(lái)得到每個(gè)人拿到的總面積。但是這兩個(gè)人是數(shù)學(xué)家，所以他們不會(huì)這樣做。他們希望能夠把這一問(wèn)題的實(shí)質(zhì)歸納成幾條普遍的、可證明的定理，以避免精確的計(jì)算，并希望只要是圓形的披薩，這些定理都適用。

    和許多數(shù)學(xué)上的謎題一樣，這一問(wèn)題登上了舞臺(tái)-每個(gè)人都在尋找不同的可能的情況。最簡(jiǎn)單的例子是考慮什么時(shí)候至少有一刀是恰好經(jīng)過(guò)披薩中心的。一種快速粗略的想法是披薩片是沿著經(jīng)過(guò)中心的那一刀成對(duì)分布的，因此無(wú)論切多少刀，兩個(gè)人都能吃到同量的披薩。

    要是這樣就好了。如果沒(méi)有一刀是經(jīng)過(guò)中心的呢？對(duì)于只切一刀的披薩，問(wèn)題很明顯：誰(shuí)吃到了中心，誰(shuí)就吃得多。切兩刀分成四塊的情況表明同樣的結(jié)果：吃到含有中心那塊披薩的人得到更多。但當(dāng)切更多的刀時(shí)，這證明是違反了三個(gè)定理，這一問(wèn)題出現(xiàn)在以后的很多年里，形成了完整的披薩定理。

    第一個(gè)人提出，如果通過(guò)你選擇的一點(diǎn)切一塊披薩，刀數(shù)是大于2的偶數(shù)，那么披薩會(huì)在兩個(gè)用餐者之間平均分配，如果兩個(gè)人是輪流吃的話。1967年，一個(gè)叫L.J.Upton的人在《數(shù)學(xué)》雜志上首次探討了這一方面，他沒(méi)有為刀數(shù)為2時(shí)的情況費(fèi)心：他要求讀者去證明切四刀時(shí)（八塊披薩）,兩個(gè)人仍能平均分享披薩。接下來(lái)對(duì)于大于四刀的偶數(shù)，出現(xiàn)了問(wèn)題的通解。1968年，Upton的問(wèn)題首次得到解答，答案使用基本的代數(shù)計(jì)算算出了不同披薩片的精確面積，它表明，披薩總是能夠在兩個(gè)人中間平均分配。

    如果刀數(shù)為奇數(shù)，問(wèn)題變得更加復(fù)雜。披薩定理認(rèn)為如果你分別用3、7、11、15刀來(lái)切，且沒(méi)有一刀是經(jīng)過(guò)中心的，那么吃到有中心披薩片的人吃得多。如果你用5、9、13、17刀來(lái)切，吃到有中心披薩片的人吃得少。

    然而要嚴(yán)格證明這個(gè)理論卻非易事。事實(shí)上，它是如此困難以至于Marby和Deiermann只能用一種包含所有可能情況的證明來(lái)定稿。

    Marby和Deierman對(duì)這一問(wèn)題的探求始于1994年，當(dāng)時(shí)Deiermann給Mabry看了披薩問(wèn)題的修訂版，并再一次刊登在《數(shù)學(xué)雜志》上。讀者們被邀請(qǐng)來(lái)證明披薩定理的兩種特例。首先，如果披薩被切了三次（六塊）,吃到有中心披薩片的人吃得多。其次，如果披薩被切了五次（十塊）,吃到有中心披薩片的人吃得少。

    第一種觀點(diǎn)是用來(lái)拋磚引玉的：它早已被作者證明過(guò)。而第二種觀點(diǎn)前面加了一個(gè)星號(hào)-在《數(shù)學(xué)雜志》上，這一小符號(hào)代表了一個(gè)大問(wèn)題。它表明，提出者本人還沒(méi)有辦法證明他們提出的觀點(diǎn)。"也許大多數(shù)數(shù)學(xué)家已經(jīng)想過(guò)，如果他們都不能解決，那我將放棄研究它，"Marby說(shuō)。"去解決這個(gè)問(wèn)題，我們已經(jīng)夠蠢了。"

    Dieermann對(duì)三刀問(wèn)題的答案快速列了草圖，Marby回憶說(shuō)"是我見(jiàn)過(guò)的最聰明的事情之一。"他們繼續(xù)證明了五刀切的理論-盡管在過(guò)程中又出現(xiàn)了新的難題-然后證明了七刀切的理論，如果你對(duì)一塊披薩切七次，你將得到與切三次相同的結(jié)果，即吃到含有中心的披薩片的人吃得更多。

    受到成功的鼓舞，他們認(rèn)為也許他們偶然發(fā)現(xiàn)了一種技術(shù)，這種技術(shù)能一勞永逸地證明整個(gè)披薩定理。對(duì)于刀數(shù)為奇數(shù)的切法，相對(duì)的披薩片不可避免地被不同的人所食用，因此一種直觀的解決方法是簡(jiǎn)單地比較相對(duì)兩塊披薩片的大小，然后計(jì)算出誰(shuí)吃得多，然后比較下一對(duì)披薩片的大小。當(dāng)披薩的一整圈都輪完了，你就可以把結(jié)果加起來(lái)，得到結(jié)果了。

    理論上很簡(jiǎn)單，但要提出一種方法來(lái)概括刀數(shù)為偶數(shù)時(shí)所有可能的情況，實(shí)際上困難得多。Mabry和Deiermann希望他們可以用一種簡(jiǎn)潔的幾何方法把問(wèn)題簡(jiǎn)化。問(wèn)題的關(guān)鍵是在每一刀之間的長(zhǎng)方形以及與穿過(guò)中心線平行的線。那是因?yàn)橄鄬?duì)的兩塊披薩面積的大小可以用長(zhǎng)方形的面積來(lái)表示。"長(zhǎng)方形的面積公式比披薩的簡(jiǎn)單得多。"Marby說(shuō)："并且長(zhǎng)方形給出了這一問(wèn)題有關(guān)方面的直觀證據(jù)。"

    不幸的是，這一方法仍然包含了一系列復(fù)雜的代數(shù)計(jì)算，還涉及了復(fù)雜得三角函數(shù)。這個(gè)表達(dá)式令人頭痛，盡管如此，他們還是不得不計(jì)算出精確結(jié)果，他們?nèi)砸�證明誰(shuí)得到更多披薩的觀點(diǎn)是正確的還是錯(cuò)誤的。結(jié)果證明這是一個(gè)巨大的障礙。"最終耗費(fèi)了11年才弄清楚",Marby說(shuō)。

    在接下來(lái)的幾年里，兩個(gè)人偶爾會(huì)討論一下披薩問(wèn)題，但是只有有限的進(jìn)展。2006年，問(wèn)題終于有了突破，此時(shí)Mabry正在法國(guó)極靠南的Kempten渡假。"我住在一個(gè)很好的旅館房間里，舒服涼爽的環(huán)境，沒(méi)有電腦，"他說(shuō)"我再一次開(kāi)始想這個(gè)問(wèn)題，就是那時(shí)所有一切都想通了。"此前，Mabry和Deiermann在東南部的密蘇里州大學(xué)，一直用計(jì)算機(jī)程序檢驗(yàn)他們的結(jié)果。但是，直到Mabry放下了計(jì)算機(jī)技術(shù)，問(wèn)題才迎刃而解。他成功地把代數(shù)公式改進(jìn)成了更易處理、更簡(jiǎn)潔美觀的形式。

    回家后，他又用計(jì)算機(jī)開(kāi)始了工作。他懷疑有人在其他地方已經(jīng)就計(jì)算出了這種結(jié)果看起來(lái)很簡(jiǎn)單的形式，可能存在于一些新表達(dá)式中，因此他去網(wǎng)上搜索，大范圍中組合起來(lái)的各種關(guān)鍵詞-一種只有在數(shù)學(xué)中才用到的方法，涉及列表、計(jì)算和重排-這可能能使他找到一直在尋找的結(jié)果。

    最終他找到了他想要的：一篇1999年的論文，引用了一個(gè)1979得數(shù)學(xué)觀點(diǎn)。在那里，他找到了他們需要的工具，用這個(gè)工具可以說(shuō)明長(zhǎng)方形面積的復(fù)雜代數(shù)公式是正確的還是錯(cuò)誤的。剩下的證據(jù)一一得到了證明。

    因此，隨著披薩定理被證明了，那么一些重要的實(shí)際問(wèn)題就能更容易地解決了嗎？事實(shí)上，人們還看不到披薩定理會(huì)有什么應(yīng)用-并不是Mabry過(guò)分悲觀了。他說(shuō)；"對(duì)數(shù)學(xué)家來(lái)說(shuō)，這是一個(gè)有趣的問(wèn)題，我們通常不關(guān)心結(jié)果是否能有應(yīng)用因?yàn)榻Y(jié)果本事就很完美。"有時(shí)，抽象數(shù)學(xué)問(wèn)題的解答確實(shí)會(huì)在意想不到的領(lǐng)域中得到應(yīng)用。例如，19世紀(jì)一個(gè)數(shù)學(xué)家的好奇心-叫做"空間-充滿曲線"-一種早期的分形曲線-最近重新浮出水面，作為模擬人類(lèi)基因組形狀的模型。

    Mabry和Deiermann繼續(xù)檢驗(yàn)了一系列其他的關(guān)于披薩的問(wèn)題。例如，誰(shuí)會(huì)吃到更多的披薩皮？誰(shuí)會(huì)吃到更多的奶酪？如果披薩是方形的，情況又該如何呢？如果增加了維數(shù)情況又會(huì)怎樣，這同樣引起數(shù)學(xué)家的興趣。一個(gè)三維的披薩，是一個(gè)半圓形的烤餡餅，一個(gè)充滿各種披薩配料的面包袋，它又會(huì)引出一系列關(guān)于半圓形的猜想，其中的一些已經(jīng)被Mabry和Deiermann證明了。它是一種熱情，多年里漸漸變成了一種理論。如果下次你去吃披薩，看到某個(gè)人在紙巾上涂寫(xiě)公式，那一定不是Mabry."雖然會(huì)破壞我曾經(jīng)希望得到的披薩定理，但我這些日子確實(shí)不再吃很多美國(guó)披薩了。"