“没事，什么题？”
一听廉伟才说要问自己题目，赵贤才顿时就来了兴趣。
而廉伟才见赵贤才同意了，也是快步走到房间的圆桌前，把他刚才在做的那张试卷拿给了赵贤才。
“挪，就是这题。”
“n为给定正整数，s={(x，y，z)|x，y，z∈{0，1，2，…，n}，x＋y+z0}是三维空间中(n+1)^3-1个点的集合。试求其并集包含s但不含(0，0，0)的平面个数的最小值。”
这题题干很短，不过赵贤才仅仅只看了个开头，便没了之前那股见猎心喜的喜悦之情。
因为只用看开头，赵贤才便知道这题的出处。
这题赵贤才做过，而且他遇到这题的次数不是一次两次了。
不过虽然做过，但该讲还是要讲的。
“我记得这好像是……2007年imo的试题吧？”
赵贤才也没有直接开始讲题，而是对廉伟才说道。
“对，你之前做过这题？”廉伟才问道。
也不知道他这卷子是哪里弄来的，题目旁边虽然标明了题目的出处，但却并没有标的很清楚，只是在前面的括号里写了个imo。
赵贤才又看了看这张试卷上的其他几道题目，既有cmo的试题，也有其他国家的数学奥林匹克试题，可以说是个大杂烩了。
廉伟才能回答出来，说明他之前也在网上查过这题的出处。
“嗯，做过。
这题还是挺出名的，也算是imo历史上几大难题之一了。
它也是我们国家队参加imo以来得分最低的试题，这7分的题，当初我们的人平均得分只有0.5分。
当初第一次遇到这题的时候，我虽然做出来了，但也在网上找了其他人的解题方法。
对比之后，我发现还是当年参加那一届imo的成员彼得·朔尔策（peterscholze）的解法更漂亮。
彼得·朔尔策的偏差分解法，比这题出处的论文中用到的归纳法还要好。
后来我也想了一阵，也没想到比朔尔策所用的解法更漂亮的解法了，所以我就按照朔尔策的解法给你讲吧……”
赵贤才对廉伟才说道，这题的实质是诺加?阿隆（nogaalon）的论文《binatorialz》中的一个引理。
所谓引理，就是在解决某些问题的过程中需要应用一些没有被证明的结论。
把这个结论提出来以后必须加以证明，证明他是正确的之后才能引用。
当初诺加?阿隆在论文里，证明方法用的就是归纳法。
“先记多项式p(x)次数为n，定义差分算子△满足△p(x)=p(x+1)-p(x)，记1为恒等算子。然后根据拉格朗日中值定理可知△p(x)=p(x+1)一p(x)=p’(ξ)。
这说明每做一次差分，次数就降低1，这个也可以直接对多项式作差证明……
因为它与f(0，0，0)≠0矛盾，所以m≥3n，等号成立的例子前面已经说了，这样就证明出来了。
07年距离现在也有六年了，现在许多新出的竞赛书上应该都能看到这题吧，你之前没做过吗？”
讲完之后，赵贤才问了一句。
“额……嗯……这题我之前的确没遇到过，我之前做的题目都是往年联赛的的试题。
而且我之前要是遇到过这题，现在肯定也不会问你了。”
廉伟才倒是没想到赵贤才会这么问，便有些不好意思的说道。