猜想与形式推导.PDFVIP

本文由SCIbird 排版整理 猜想与形式推导 SCIbird 说明：鉴于笔者时间和精力有限，文章小错误难免。因此笔者建议读者最好将文章中的结 论动手推导一遍，相信必有收获。光看不练，等于白看。 从文章标题“猜想与形式推导”看，是一个矛盾体，笔者试图将直觉主义与 形式主义结合起来，说的通俗一些，本文重点即谈谈数学中的“连猜带证”方 法。 一般地，就笔者所见，现行的数学教材大都采用形式化写法，即先给出若 干定义，然后给出A ⇒B ⇒C 之类的证明。虽然逻辑上无懈可击，但是读起来 却比较乏味，收获不多。 其实读读数学史可以知道，一个定理的发现到证明，不可能是完全理性的， “连猜带证”的现象比比皆是。一位数学大师甲可能太过一种天马行空一般的 途径A ，巧妙地猜出结论B，然后用当时流行的“严密方法”（可能在现代看来 还是不严密）给出定理A 的证明C 。随着时间的流逝，定理A 却被张冠李戴地 冠以数学大师乙的名字，而教材中给出的证明却是完全不同于C 的方法D. 通常 后人们只能读到结论B 和证明D. 至于C 有可能在老掉牙的数学历史文献中的 角落找到，而当初的途径A 则可能永远消失在历史的尘埃中。 途径A ，即高斯所说的“脚手架”，定理B 即瑰丽的建筑，不论在教材或者 是论文中，总是把“脚手架”拆除掉，留下僵硬的严密证明。每当笔者读到一 个定理时，总不禁要问，为什么只给出“证”，没有“猜”呢？很多结论看起来 不是那么显然啊。在有过一些科研经历后，更是有这种感慨，现实问题比课本 复杂多了，有着太多的变量，有着太高的不确定性。“猜”和“证”的相合，才 是完整的科研。 看过SCIbird 文章的人都知道，笔者特别称赞张筑生老师的《数学分析新 讲》教材，不仅仅因为这是自己的第一本数学分析书，还因为张老师的写法启 发性特别强，对“猜”的论述非常独到。本文试图效仿新讲，给出一些“猜” 和“证”的例子，分享一下笔者的学习感悟，读者可以从中学习一些探索方法， 有助于数学分析的学习。 本文由SCIbird 排版整理 需要说明的是限于篇幅，笔者重点谈谈“猜”，至于标准的严格证明，可参 考《新讲》或者其它教材。 ∞ 1 π2 先从一个例子谈起：∑ 2 = . 这个等式最早由欧拉证明，后来人们发 n 6 n=1 现了许多证明。标准的证明如考察f (x) =| x | 的Fourier 级数展开式，比较巧妙 的方法如“二重积分法” ∞ 1 1 1 1 ∑ 2 =∫∫ dxdy n=1 n 0 0 1−xy 等，详细证明见《数学天书中的证明》一书，建议大家读读。 该问题尽管有很多巧妙的证明，但欧拉本人的想法仍然非常有启发，其想 法类比了多项式因式分解。 注意到sin nπ=0 ，其中n =±1, ±2 ,⋅⋅⋅为方程sin x =0 的所有非零根，再 类比多项式因式分解，欧拉得到 sin x x2 x2 x2 ∞ ⎛⎜ x2 ⎞⎟ = − − − ⋅⋅⋅= − ⎟ (1 )(1 )(1 ) 1 2 2 2 2 2 ∏⎜⎜⎜ 2 2 ⎟⎟ x π 2 π 3 π n=1 ⎝ n π ⎠ 利用正弦函数sin x 的级数展开式，并将等式右边无穷乘积展开成幂级数，然后 比较等式两边x2