数学推广及其常见形式举例分析.pdf

数学推广及其常见形式举例分析 徐彦辉 浙江温州大学数信学院 325027 数学推广是指在一定范围内或一定层次上对 数学概念 定理 法则进行拓展 使之在更大范围 或更高层次上成立 此外 也指对条件 结论进行 结构分析以后 进行适当变化 使得到的新命题为 真 1 推广的一个好处是对信息的整理 几个密切 相关的事实被整合到一个更宽广的体系之内 数 学家们的共同 思想 特点就是寻找各种关系 并 由此去探索扩充某种思想的途径 这种扩充之一 便是推广 综观数学发展的历史 无不与推广有 关 说得狭隘点 数学的发展正是由数学中某些概 念的推广和由此而引发的新内容 新概念 新方 法 新问题的出现而导致的 在数学中 新概念的 产生 多是旧结论拓广的产物 新方法的出现 多 是拓广中使用的工具的改进和发展 拓广是从具 体到抽象 从特殊到一般 从表面到本质 从低维 到高维的过渡 2 推广是数学研究中极重要的手 段之一 数学自身的发展在很大程度上依赖于推 广 数学家总是在已有知识的基础上 向未知的领 域扩展 从实际的概念及问题中推广出各种各样 的新概念 新问题 3 数学研究工作者在发现了某 个新定理后 紧接着就应该探求是否能将这个定 理推广 若能成功地推广 则其研究就推进了一 步 数学能用这个方法扩大其范围 这一工作确实 是无可限量的 4 推广就是扩大命题的条件中有关对象的范 围 或扩大结论的范围 即从一个事物的研究过渡 到包含这一类事物的研究 推广是从一个给定的 对象集合进而去考虑包含这个集合的更广集合中 情形的一种方法 推广意味着将一种情境中的结 论 算法 方法 想法或技术推广到另一种情境 可 以考虑是否能从特殊推到一般 从离散推到连续 从有限推到无限 也可以考虑相反的命题 考虑充 分必要条件 考虑条件的减弱 还可以考虑用于解 决这个问题的方法能否处理更多的问题 是否可 以更简洁地统一许多问题 因为数学各学科之间 是有联系的 所以 某一学科问题的解决 其实也 是另一学科相应问题的解决 把相关内容和相关 方法作转换与移植 立即就可以得出新的结果 这 时 在新的领域又可以作推广引申 产生更多的结 果 5 在数学命题推广的过程中 所使用的主要方 法是归纳和类比 从推广的方向看 有纵向推广和 横向推广 学科命题在本科内深入发展叫做纵向 推广 将本学科命题移植或类比延伸到别的学科 中去叫做横向推广 具体操作推广时 主要从考察 命题的条件 结论或解题方法入手获得启发推 广 3 也即是 1 从问题 A 到问题 B 的类比推 广 2 用不同的方法证明或解答同一个问题 3 向问题的纵深推广 弱化条件 强化结论 4 从 特殊情况向一般情况转化 使之推广以后的结论 在更大范围内成立 将原命题及其解法思路用到 新的领域 使之在更高层次上得到新的真命题 这 往往成为新的理论分支产生的基石 1 1 从问题 A 到问题B 的类比推广 人们研究问题 A 获得一些或多个理论的结 果 当遇到与问题 A 有些相似的新问题B 时 经 过一些分析 可能对问题 B 有某种假设 从而把 问题 A 已得到的部分或所有结果推广到问题B 当然 问题 B 显然与问题A 不同 于是 就需要发 172010 年 第 49 卷 第 4 期 数学通报 现新的想法 技术或工具 使能把问题 A 的结果 推广到问题 B 中 为了能进行推广 首先必须找 出问题 A 与问题 B 之间的不同 然后 再分析问 题 B 的特征 以至于能找到某种进行推广的方 法 另外 还必须细致分析对问题 A 所做的全部 工作 以发现问题 B 不满足的关键点 所以 为了 能推广 必须改编一些新的技术或工具 6 正如徐 利治指出 1980 年后我开始思索一个更基本的问 题 离散数学中的反演公式是否可以和分析数学 中的著名反演公式如 Newton Leibniz 积分学基 本定理等获得某种统一呢 这就涉及到离散数学 与连续数学两类不同结构的沟通问题 开始我并 没有找到这种沟通的桥梁 但借助于关系直觉 我 仿佛模糊地意识到 Robinson 的 非标准分析 方 法有成为桥梁的可能 这个联想是怎样形成的呢 注意到非标准微积分学中 定积分可以作为精细 分割点列上的离散形式的总和的标准部分 这就 是说 定积分对应的和式在非标准数域上具有离 散化的形式 这就使我直观地猜想到离散型的广 义 M bius 反演公式有可能推广到非标准数域上 去 接着我就逻辑地验证这个想法 果然达到目 的 得到了一条普遍的反演定理 它把组合学中的 反演公式和卷积方程论中的一些反演定理 包括 微积分基本定理 都作为特例概括进去了 7 例 1 命题 1 若数列 an为等差数列 且 am a an b m 0 n N 为等 比数列 且 bm a bn b m 1 2n 1 k 1 n k k 2 3 4 n 1 可证得 略 2 用不同方法证左边不等式 证法 1 当 n 为偶数时 1 n k 1 2n 1 k 1 3n 2 1 3n 2 1 k 1 2 n 则 2n k n 1 1 k n 2 1 3n 2 1 3n 2 1 6n 2 3 3n 2 2n 3n 1 当 n 为 奇 数 时 1 n k 1 2n 1 k 2 1 3n 1 2 k 1 2 n 则 2n k n 1 1 k n 2 4 3n 1 2n 3n 1 得证 18数学通报 2010 年 第 49 卷 第 4 期 证法 2 由调和平均不等式 n 1 x1 1 x2 1 xn x1 x2 xn n xk 0 k 1 2 n 得 n 1 n 1 1 n 2 1 2n n 1 n 2 2n n 3n 1 2 即 1 n 1 1 n 2 1 2n 2n 3n 1 得证 推广 1 设 ak为公差 d 0 的等差数列 ak 0 k 1 2 n 求证 2n a1 an n k 1 1 ak n a1 an 2a1an 证明 1 右边不等式由 1 a1 1 an 1 ak 1 an 1 k k 2 3 4 n 1 可证得 略 2 只能用调和平均不等式证明左边不等式 成立 即 n 1 a1 1 a2 1 an a1 a2 an n a1 an 2 即 1 a1 1 a2 1 an 2n a1 an 得证 推广 2 设 ak为公差 d 0 的等差数列 ak 0 k 1 2 n 求证 2 n m am 1 an n k m 1 1 ak n m am 1 an 2am 1an 0 m n 1 证明 1 右边不等式由 1 am 1 1 an 1 ak 1 an m 1 k k m 2 3 4 n 1 可证得 略 2 只能用调和平均不等式证明左边不等式 成立 即 n m 1 am 1 1 am 2 1 an am 1 am 2 an n m am 1 an 2 也 即 1 am 1 1 am 2 1 an 2 n m am 1 an 得证 3 向问题的纵深推广 数学家总是不满足于某些具体结果或结论的 获得 而总是希望能获得更为深入的理解 而后者 则又不仅直接导致了对于严格的逻辑证明的寻 求 而且也促使数学家积极地去从事进一步的研 究 比如在这些看上去并无联系的事实背后是否 隐藏着某种普遍的理论 这些事实能否被纳入某 个统一的数学结构 是否有更简洁的证明方法 结果是否可以改进或推广 等等 他们也总是希 望能达到更大的简单性 精致性和一般的结果 例 3 求证 1 1 1 1 1 3 1 1 2n 1 2n 1 证明 即 证 2 1 4 3 6 5 2n 2n 1 2n 1 令 S 2 1 4 3 6 5 2n 2n 1 则 S 2 2 1 2 4 3 2 6 5 2 2n 2n 1 2 S2 2 1 3 2 4 3 5 4 6 5 7 6 2n 2n 1 2n 1 2n 2n 1 即 S 2n 1得证 在上面的证明中 结果还可以再改进或推广 不妨令 T m n 2m 2m 1 2 m 1 2 m 1 1 2n 2n 1 试估计 T m n 的下界 由 T m n 2m 2m 1 2 m 1 2 m 1 1 2n 2n 1 则 T m n 2 2m 2m 1 2m 1 2m 2m 2 2m 1 2m 3 2m 2 2n 2n 1 2n 1 2n 2n 1 2m 1 即 T m n 2n 1 2m 1 能否再改进 又 T m n 2 2m 2m 1 2 2m 1 2m 3 2m 1 2 192010 年 第 49 卷 第 4 期 数学通报 2m 3 2m 5 2m 3 2 2n 1 2n 1 2n 1 2 2m 2m 1 2 2n 1 2m 1 即 T m n 2m 2m 1 2n 1 2m 1 显见 2m 2m 1 2n 1 2m 1 2n 1 2m 1 事实上 上述结果还可以再改进 推广 设正整数 m n 满足 1 m n 记 T m n 2m 2m 1 2 m 1 2 m 1 1 2n 2n 1 则有 T m n 2m 4m 3 n m 1 4m 2 1 证明 对 n 用数学归纳法 当 n m 时 式中两个等号显然成立 假设对 n n m 时上式成立 我们证 n 1 时 不等式成立 只 要 证 2m 4m 3 n 1 m 1 4m2 1 2m 4m 3 n 1 m 1 4m2 1 2 n 1 2 n 1 1 即 2n 1 2 4m 3 n 1 m 1 2n 2 2 4m 3 n m 1 化简即 m n 显然成立 证毕 于上式中取 m 1 则 T 1 n 2 1 4 3 6 5 2n 2n 1 2 3 7n 2 于上式中取 m 2 则 2 1 4 3 6 5 2n 2n 1 8 15 11n 3 显然 后一结果强于前一结果 都 强于例 3 的结果 4 由特殊向一般推广 正如米山国蔵指出 我曾在长达五 六年的时 间中 埋头于 连续集合理论 的研究 结果是写出 了长达 300 多页的论文 英文 这当中 每当我发 现了一个新定理 就立即集中力量从各方面考察 这个定理能不能将它一般化 能不能推广 从而一 步步地推进了研究工作 在这些研究中 我最初是 着眼于点连续集合的某种 特殊的点对 将它取 名为 主点对 Pair of principal points 以此作 为起点 研究了一般的连续点集合的性质 结构 分类等等 得到了 300多个新定理 从新的角度发 现了连续点集合的种种性质 当这一研究告一段 落时 我就进一步考虑能否将得到的结果推广到 线连续集合 面连续集合 体连续集合 4 例 4 已知 k 2 k 为整数 求证 1 1 sin 6 1 1 cos 6 81 推广 1 已知 k 2 k 为整数 n 0 求证 1 1 sin2n 1 1 cos2n 2n 1 2 推广 2 已知 k 2 k 为整数 n 0 a b R 求证 a b sin 2n a b cos 2n a 2 nb 2 参考文献 1 郑隆炘 数学推广的类型与思想方法 J 武汉教育学院学报 1999 18 3 5 10 2 吴振奎 吴旻编 数学的创造 M 上海 上海教育出版社 2003 前言 464 3 朱华伟 张景中 论推广 J 数学通报 2005 44 4 55 4 米山国藏著 毛正中 吴素华译 数学的精神 思想和方法 M 成都 四川教育出版社 1986 21 23 24 5 罗增儒 谈中学教师的数学研究工作 续 J 中学数学教学 参考 1997 8 9 19 20 6 R J B de Sampaio et al Generalization One technique of computational and applied mathematical methodology J