第十五章 不会数学的女神不是好女神

第十五章 不会数学的女神不是好女神 (第2/2页)

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