第五道是一道数列与不等式结合的证明题,类型跟韩子墨讲义里的第四种模型高度相似。
顾念念用了二十分钟解完。
第六道。
她看了题目,停了十秒。
这是一道组合几何题——平面上n个点,满足某种距离条件,证明存在一个特定的三角形结构。
题目描述不长,但切入点不明显。
她试了三种方向。第一种走了十几步之后碰壁。第二种绕到了一个不等式链上,但最后一步差一个关键不等式推不过去。
剩下四十分钟。
第三种方向——她换了个角度,不从距离入手,改从面积入手。用面积的组合性质去构造矛盾。
推了十五分钟。
在倒数第四步的时候,她需要用到一个引理——关於凸包顶点的极值性质。这个引理她两周前在图书馆翻真题集的时候见过一次,当时只扫了一眼。
她闭了两秒眼,从记忆里把那页纸的內容调了出来。
引理的证明过程浮现在脑中。
她落笔,写完了最后四步。
搁笔。
离交卷还有八分钟。
她把前五道题的答案快速检查了一遍,確认没有计算错误,然后坐著等铃响。
第六道的证明过程写了两页半纸。
她不確定是不是完全严谨——有一个地方的措辞可能不够规范。
但大方向没错。
交卷后,顾念念走出考场。
韩子墨已经站在走廊里了,靠著窗台,手里转著那支钢笔。
“最后那道你做出来了?”顾念念问。
“做出来了。”
“用的什么方法?”
“极端原理。”韩子墨说,“你呢?”
“面积法。”
韩子墨的眉毛动了一下。
“面积法?”
“从凸包的面积极值出发,构造矛盾。”
韩子墨想了想,把笔停了下来。
“这个角度我没想到。能走通?”
“走通了。但第四步的引理我记得不太牢,可能措辞上有瑕疵。”
“如果逻辑对了,措辞瑕疵扣不了多少分。”韩子墨说。
沈明轩从考场里走出来的时候,脸色不太好看。
他走到两人面前,没说话。
顾念念看了他一眼:“第六题?”
“没做完。第五步卡住了。”
沈明轩的声音很平,但攥著笔的手指关节发白。
“第五题呢?”