硬算是一门基本功.PDFVIP

本文由 SCIbird 排版整理 硬算是一门基本功 SCIbird 说明：鉴于笔者时间和精力有限，文章小错误难免。因此笔者建议读者最好将文章中的结 论动手推导一遍，相信必有收获。光看不练，等于白看。 听很多人说过，数学分析这门课程技巧很多，特别活。确实，学好数学分 析必须掌握分析中的一些基本技巧，如逐次逼近、分段估计、基底分解，反演 变换等等。有些方法之精巧，构思之巧妙，甚至令人望而生畏。 客观说，数学分析里也有技巧性要求较低的方法，比如计算。很多人将计 算归到微积分中，认为和数学分析是两回事。笔者没有这方面成见，数学分析 和微积分本是同源，先贤大师们都不认为是两家，笔者更是如此。有句话说， 天下武功唯快不破。那么也可以说，数学分析为“算”不破。做题也好，搞科 研也罢，很多好的想法或猜想就是在计算中发现的，数论中的类似例子就很多 （如哥德巴赫猜想和黎曼猜想）。 很多时候，某些数学证明本质就是一系列暴力计算，如级数乘级数，或者 一系列的求导合并同类项等。一般认为，严格证明“中国剩余定理”的是欧拉 和高斯，而中国古人讲究具体计算，而不是一般性的证明，为什么冠以“中国 剩余定理”之名？其实，中国古人构造的算法本身就是这个定理的证明，算即 是证明。 笔者之前写过一篇关于“猜想与形式推导”的文章，而计算常常也是形式 推导中的一种，笔者称之为“硬算”。目前有一个糟糕的两极分化现象，工科的 偏爱计算，见到证明题就头大；数学系的偏爱证明，对计算不屑。其结果是走 两个极端，工科的证明水平比较低，数学系的计算能力比较差。记得上研究生 数值分析 A 时，身边一个 mm 抱怨“老师讲那么多理论干嘛，只要告诉我怎么 算就行了”，而且很理直气壮，很强大。又惊闻某实验班教授数学分析，结果有 的学生算个常规不定积分，半天做不出来。笔者觉得十分有必要扭转这种不好 的现象，证明和计算是统一的，而不应该人为的割裂开。 很多数学定理的发现或者证明确实是算出来的，即便将来打算搞基础数学， 适当加强自己计算能力也是有好处的 （特别是电脑时代，数值实验变得很容易）。 本文由 SCIbird 排版整理 有些东西你不亲自动手算算，你是看不出规律的，你不积累，如何爆发！ 回顾历史，许多大数学家都是擅长计算的，比如笔者的数学偶像高斯，后半 辈子在搞天文计算。那时没计算机，基本靠手算，天文数字很好算吗? 不过后 人整理高斯的手稿时，发现他很少有算错的。 以高斯发现素数定理为例。记π(x) 表示不超过x 的素数的个数，所谓素数 定理，指下面极限表达式 π(x) lim =1 x→∞ x / ln x x dt 高斯记函数Li x =∫2 ln t （这是一个非初等积分），这是π(x) 的另一个渐进 表达式。由洛比达法则可知 Li x lim =1 x→∞ x / ln x 函数li x 按如下方式定义 ⎛ 1−η x ⎞dt li x =lim ⎜⎜ + ⎟⎟ η→0 ⎝ ∫ ∫+η ⎠⎟ 0 1 ln t 显然Li x =li x −li 2 . 与前人思路不同高斯不是简单研究π(x) 的数值分布特点，而是考察比值 π(x) / x 的分布特点，猜测是否有简单函数来近似代替。 表格出自华罗庚的《数论导引》