“没事，什么题？”

    一听廉伟才说要问自己题目，赵贤才顿时就来了兴趣。

    而廉伟才见赵贤才同意了，也是快步走到房间的圆桌前，把他刚才在做的那张试卷拿给了赵贤才。

    “挪，就是这题。”

    “n为给定正整数，s={(x，y，z)|x，y，z ∈{0，1，2，…，n}，x＋y+z>0}是三维空间中(n+1)^3-1个点的集合。试求其并集包含s但不含(0，0，0)的平面个数的最小值。”

    这题题干很短，不过赵贤才仅仅只看了个开头，便没了之前那股见猎心喜的喜悦之情。

    因为只用看开头，赵贤才便知道这题的出处。

    这题赵贤才做过，而且他遇到这题的次数不是一次两次了。

    不过虽然做过，但该讲还是要讲的。

    “我记得这好像是……2007年imo的试题吧？”

    赵贤才也没有直接开始讲题，而是对廉伟才说道。

    “对，你之前做过这题？”廉伟才问道。

    也不知道他这卷子是哪里弄来的，题目旁边虽然标明了题目的出处，但却并没有标的很清楚，只是在前面的括号里写了个imo。

    赵贤才又看了看这张试卷上的其他几道题目，既有cmo的试题，也有其他国家的数学奥林匹克试题，可以说是个大杂烩了。

    廉伟才能回答出来，说明他之前也在网上查过这题的出处。

    “嗯，做过。

    这题还是挺出名的，也算是imo历史上几大难题之一了。

    它也是我们国家队参加imo以来得分最低的试题，这7分的题，当初我们的人平均得分只有0.5分。

    当初第一次遇到这题的时候，我虽然做出来了，但也在网上找了其他人的解题方法。

    对比之后，我发现还是当年参加那一届imo的成员彼得·朔尔策（peter scholze）的解法更漂亮。

    彼得·朔尔策的偏差分解法，比这题出处的论文中用到的归纳法还要好。

    后来我也想了一阵，也没想到比朔尔策所用的解法更漂亮的解法了，所以我就按照朔尔策的解法给你讲吧……”

    赵贤才对廉伟才说道，这题的实质是诺加?阿隆（noga alon）的论文《binatorial z》中的一个引理。

    所谓引理，就是在解决某些问题的过程中需要应用一些没有被证明的结论。

    把这个结论提出来以后必须加以证明，证明他是正确的之后才能引用。

    当初诺加?阿隆在论文里，证明方法用的就是归纳法。

    “先记多项式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年距离现在也有六年了，现在许多新出的竞赛书上应该都能看到这题吧，你之前没做过吗？”

    讲完之后，赵贤才问了一句。

    “额……嗯……这题我之前的确没遇到过，我之前做的题目都是往年联赛的的试题。

    而且我之前要是遇到过这题，现在肯定也不会问你了。”

    廉伟才倒是没想到赵贤才会这么问，便有些不好意思的说道。