sx1207化与构造性要点.docVIP

专题7 程序化与构造性 一、古代：建立数学理论体系的两种基本方式 1．希腊：公理化的演绎体系 虽然希腊数学在整体上是公理化的演绎数学体系，但在具体的数学方法上仍含有大量构造性的因素，例如 Euclid 证明“存在无穷多个素数”的方法。实际上，在19世纪以前，一般来说，对数学对象存在性的证明都是通过实际获得或显示出问题中的量而建立起来的。 2．中国：构造性、机械化的算法体系 ⑴ 《九章算术》 《九章算术》是中国古代影响最为深远的数学典籍。它系统总结了秦汉以前的数学成就，标志着中国传统数学理论体系的建立，成为汉代以后直到宋元时期一千多年间中国数学高度发达的辉煌开端与重要源泉。魏晋时刘徽为之作注，为传统数学奠定了较为完备的理论基础。《九章算术》及其刘徽注不仅对中国古代数学的发展，而且对世界数学的发展也产生了巨大影响，是世界数学史上的传世名作。 《九章算术》成书于公元纪元前后，收入 246个数学问题，大多与当时的生产及生活实际密切相关，但也包括一些较纯粹的数学理论问题。每题大致由问 (问题) 、答 (答案) 、术 (解题方法或过程) 三部分组成。全书以具体问题及其解法为模型，广泛阐发中国数学的独特理论和方法，按性质分属九章：①方田，田亩面积计算。包括系统而完备的分数算法，矩形、等腰三角形、直角及等腰梯形、圆、圆环等面积的正确公式，以及弓形与球冠形面积的近似公式。约分术中使用了更相减损术，即辗转相除法，从而引出了最大公约数的概念。②粟米，四项比例算法及其应用。其中“其率术”用带余除法解题，成为后世以鸡兔同笼问题为代表的一大类数学问题的开端。③衰分，配分比例与反比例。比例理论是全书的核心内容之一，在粟米、衰分、均输三章中给出各种算法，有些问题涉及等差、等比数列。④少广，已知面积、体积而求长度，其中开方术、开立方术给出的开方程序可直接用于求解二次及三次方程的正根，并可自然推广到开高次方及求解一般高次方程的正根。开立圆术由球体积求其直径，等价于一个粗略的球体积公式。⑤商功，土木工程中的体积计算。给出多种棱柱、棱锥、棱台、拟柱体以及圆柱、圆锥、圆台体积的正确公式。⑥均输，以配分比例解决复杂的赋税摊派等问题。⑦盈不足，双假设法的原理及其应用。通过两次假设及检验，将各种复杂的线性问题和非线性问题转化为盈亏类问题，用统一的模式给出解答。⑧方程，线性方程组解法，运用加减消元法给出统一的演算程序，由此引出正负数的加减法运算并给出明确的法则。⑨勾股，与直角三角形有关的各种问题，包括勾股定理及其应用、勾股恒等变形、整勾股数一般公式，以及利用相似勾股形的比例性质进行测量的问题。 历史地位 ①《九章算术》是先秦到汉代数学发展的系统总结，标志着中国传统数学理论体系的建立，传统数学的大致分类与基本格局的形成以及它作为构造性、机械化算法体系的确立都始于《九章》。 ②《九章》所涉及的内容与主题，它的通过数学问题阐述理论与方法的形式，构造性、机械化、形数结合、注重应用的数学思想，对后世数学的发展与数学著作的编纂产生了深远影响，成为大量数学成果的源头。③《九章》中系统而完备的分数算法，整齐划一、便于推广的开方程序，体系严整、求解迅速的线性方程组理论，均比其他国家的相近成果早千年以上，比例算法与正负数运算也早 500年以上。书中许多著名问题曾传入印度、阿拉伯和欧洲，盈不足术传入欧洲后成为长期占支配地位的算法。以《九章算术》为代表的机械化算法体系，与以希腊《几何原本》为代表的公理化演绎体系，各擅其长，东西辉映，为世界数学发展的两大源泉。 ⑵ 刘徽 刘徽是魏、晋间杰出的平民数学家，一生钻研《九章》，著《九章算术注》。他在数学理论、方法、技巧和程序等方面多所建树和发明，是传统数学理论体系当之无愧的奠基者。刘徽改变了以往数学名词约定俗成的惯例，对《九章》和他本人所用的重要词汇均予定义，逻辑严谨，含义明确，为严格的演绎论证创造了前提。《九章算术》载有大量数学公式和法则，有的难度很高，决非简单的经验归纳所能获得，但其推理过程却完全没有记载，刘徽从自然数的四则运算、长方形面积、长方体体积、出入相补原理、截割原理等基本法则和原理出发，一一给出证明和深入的理论分析，体现了明显的严格求证思想和高超的论证技巧，运用了多种逻辑推理方法，其基本原则是“析理以辞，解体用图”，即分析道理靠逻辑论证，阐发几何对象使用各种图形，还广泛使用了立体几何模型。他将计算与推理有机地结合，发扬中国数学构造性与机械化的精神，对《九章》的内容按照由简单到复杂的顺序进行论证，形成了较为严谨的理论体系。刘徽在数学上有许多杰出的创造。他从分数的通分过程中概括出“齐同术”，并将其推广为处理比率问题的一般方法。在注解开平方和开立方法时，他精辟地研究了二次及三次不尽根并首创十进分