点击上方蓝字
给一个关注吧
数论发展史中的2个里程碑
数论早期称为算术。到20世纪初,才开始使用数论的名称,而算术一词则表示"基本运算",不过在20世纪的后半,有部份数学家仍会用"算术"一词来表示数论。1952年时数学家Harold Davenport仍用"高等算术"一词来表示数论,戈弗雷·哈罗德·哈代和爱德华·梅特兰·赖特在1938年写《数论介绍》简介时曾提到"我们曾考虑过将书名改为《算术介绍》,某方面而言是更合适的书名,但也容易让读者误会其中的内容"。
按研究方法来看,数论大致可分为初等数论和高等数论。初等数论是用初等方法研究的数论,它的研究方法本质上说,就是利用整数环的整除性质,主要包括整除理论、同余理论、连分数理论。高等数论则包括了更为深刻的数学研究工具。它大致包括代数数论、解析数论、计算数论等等。数论这样的纯粹性迷住了一代又一代的数学家,每一位都在这个被高斯称为“数学的女王”的领域中献出了自己心血和智慧。相信在更崭新的领域诞生之前,数论都会是纯数学领域的王者。
纵观数学历史上,有两个特殊时期是数论发展历程中值得特别关注的。首先是在希腊化时代,被称为“几何学之父”的欧几里得曾发表他的 GCD 算法(最大公约数法,Greatest Common Divisor),这个算法巧妙地利用可视化方式将分数化为最简单的形式。而在大约两千年后, “数学王子”德国数学家高斯通过结合欧几里得手稿和大量自己的证明使欧几里得的理论完成了一部十分重要的数论著作《算术研究》(Disquistiones Arithmeticae)。
欧几里得和最大公约数算法
数论作为数学中一个主要分支可以追溯到公元前的希腊时代。在当时,欧几里得是一位非凡的数学家,他住在亚历山大港,有时被称为亚历山大里亚的欧几里得(为了区分墨伽拉的欧几里得)。他提出了有历史记录的最古老的算法(这里指的是一系列循序渐进的步骤)之一。这个算法被称为欧几里得算法,因为它突出了自然数中迷人的性质,所以它是现代数论研究的起点。
最大公约数算法(辗转相除法)可能在欧几里得之前几个世纪就已经有了。上图为使用两脚规进行测量。这是在公元前 300 年左右,欧几里得发表了他的经典著作《几何原本》系列,这个由 10 卷书组成的系列涵盖了从整数到线段和面积的一系列主题。
欧几里得认为研究长度,面积和体积在理论上对最大公约数算法很重要,因为它提供了一种方法,来找到线段 a 和 b 之间的最大公共长度。考虑到他所处的时代,这一观察很可能对任何从事建筑(木工,石匠等)的人很有使用价值。
所以由之前的定义可得,两个长度 a 和 b 的最大公约数的几何意义是均匀测量 a 和 b 的最大长度 g;或者,长度 a 和 b 都是最大长度 g 的整数倍。一个几何例子如图,想象一下我们被要求在一块 15m×25m 的地板上铺瓷砖,这需要我们计算瓷砖的边长,使它们完美地和地板的长和宽相匹配,没有留下缝隙。换言之,15 和 25 的最大公约数是多少?我们省去求最大公约数的有关具体步骤,但希望以上插图能提供几何上的直观理解。如上图圆圈所示,这道题的答案是 5,确实是 15 和 25 的最大公约数。
高斯和算术基本定理
在欧几里得时代大约 2000 年后,数论取得了第二次重大突破。年轻的卡尔·弗里德里希·高斯在 21 岁写成了一本数论教材《算术研究》,将欧几里得原理和近代数学结合起来。在这本著作汇集费马、欧拉、拉格朗日和勒让德等人多种巧妙又精确的研究成果,虽然这并非独创的,但他也加入了自己很多重要成果,这样归纳整理完成了数论的系统化。在这本著作中,他将以前分散的、非正式的方法系统总结,对重要的解决问题提供了自己独创的答案,夯实了数论继续发展的重要基础,为后人在未来的研究中指明了方向。
由于近代计算机科学和应用数学的发展,数论得到了广泛的应用。比如在计算方法、代数编码、组合论等方面都广泛使用了初等数论范围内的许多研究成果;又文献报道,有些国家应用"孙子定理"来进行测距,用原根和指数来计算离散傅立叶变换等。此外,数论的许多比较深刻的研究成果也在近似分析、差集合、快速变换等方面得到了应用。特别是由于计算机的发展,用离散量的计算去逼近连续量而达到所要求的精度已成为可能。
这个定义可以分解为独立的两部分以便于理解。首先是分解的存在性,根据规定一个大于 1 的整数要么是素数,要么可以构造成严格的素数的乘积。第二部分保证了分解的唯一性,每一个非素数(合数)都存在唯一用素数的乘积表示的方式(若不考虑排列的顺序)。这也对之后的数论的研究造成了深远的影响。
点击在看不迷路,我带大家上高速