15050。
这个算法现在在小学课本中，被叫做高斯算法。
之后这个人开启了一路开挂的人生，他19岁的时候，就发现了正十七边形的尺规作图法，解决了自欧几里德以来悬而未决的一个难题。
同年就发表并证明了二次互反律。
……
说高斯是我们最早接触的三伟之一，一点都不过分。
“这不挺简单的吗？”
蓝冰说着，用手托起下巴。
“接下来只要证明这个函数在区间内单调递增不就可以了吗？”
咦？
伊诚疑惑地侧着头。
这个家伙居然一针见血说中要害。
看来女神有点水平啊。
“但是说得容易，这个式子不好证明啊。”伊诚砸吧着嘴唇。
他就是卡在这里了。
“不难啊，挺容易的。”
蓝冰说着说，抱着双手看向伊诚。
“你既然知道高斯，那么一定也知道跟他并列为三大数学家的另外两个吧？”
“当然了，阿基米德、牛顿。”伊诚如数家珍一般，“阿基米德有两个很有名的故事，杠杆原理和浮力原理，他有一句话是，只要给我一个支点……”
“停，重点是后面那个。”
“牛顿？”伊诚眼中结了一层迷雾，回忆着牛顿的丰功伟绩。
牛顿三定律？
万有引力？
《光学》？
金本位？
微积分？
“噢，微积分？！”伊诚突然恍然大悟般看向蓝冰。
“嗯，对了。”蓝冰开心的笑了起来，“微积分。准确来说，是积分的双子——
起源于另外一个赫赫有名的人物费马提出的差分。
后来被发展成熟，现在我们叫做微商。”
这个微商可不是说你在朋友圈做生意的那个微商。
它有另外一个被人更为熟知的名字——
求导。
经过蓝冰的提醒，伊诚再回头去看的时候，才发现躲藏在草丛中的哪里是只猛兽，明明是一只小猫。
证明函数在某个区间内单调递增，除了比较笨的作差比较法之外，其实最简便的就是求导。
这样一来就容易很多了。
伊诚提起笔，一路势如破竹。
求导得到：
……
然后，该函数在连续正整数区间内只有唯一一个实根。
命题得证。
伊诚总算松了口气，靠在椅背上。
明天可以给冉老师交差了。
女神还是有两把刷子的，看来这个系统没白拿。
“对了，一般这种题目后面还会有第二问，第二问会更难一些。这道题没有吗？”
蓝冰奇怪地说到。
伊诚将卡片翻转过来，果然在后面还有一行娟秀的小字——
2.证明该方程的所有正实数解中，没有一个是有理数。
真棒。
伊诚突然觉得浑身又充满了电。99.。.99.
请收藏：https://m.hbxs.cc
（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）