《详解九章算法》作者杨辉，他著名的数学书共五种二十一卷。著有《详解九章算法》十二卷（1261年）、《日用算法》二卷（1262年）、《乘除通变本末》三卷（1274年）、《田亩比类乘除算法》二卷（1275年）、《续古摘奇算法》二卷（1275年）。 杨辉的数学研究与教育工作的重点是在计算技术方面，他对筹算乘除捷算法进行总结和发展，有的还编成了歌决，如九归口决

算法（Algorithm）是指解题方案的准确而完整的描述，是一系列解决问题的清晰指令，算法代表着用系统的方法描述解决问题的策略机制。也就是说，能够对一定规范的输入，在有限时间内获得所要求的输出。如果一个算法有缺陷，或不适合于某个问题，执行这个算法将不会解决这个问题。不同的算法可能用不同的时间、空间或效率来完成同样的任务。一个算法的优劣可以用空间复杂度与时间复杂度来衡量。

算法中的指令描述的是一个计算，当其运行时能从一个初始状态和（可能为空的）初始输入开始，经过一系列有限而清晰定义的状态，最终产生输出并停止于一个终态。一个状态到另一个状态的转移不一定是确定的。随机化算法在内的一些算法，包含了一些随机输入。

形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，并在其后尝试定义有效计算性或者有效方法中成形。这些尝试包括库尔特·哥德尔、Jacques Herbrand和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的递归函数，阿隆佐·邱奇于1936年提出的λ演算，1936年Emil Leon Post的Formulation 1和艾伦·图灵1937年提出的图灵机。即使在当前，依然常有直觉想法难以定义为形式化算法的情况。

一个算法应该具有以下五个重要的特征：

有穷性

（Finiteness）

算法的有穷性是指算法必须能在执行有限个步骤之后终止；

确切性

(Definiteness)

算法的每一步骤必须有确切的定义；

输入项

(Input)

一个算法有0个或多个输入，以刻画运算对象的初始情况，所谓0个输入是指算法本身定出了初始条件；

输出项

(Output)

一个算法有一个或多个输出，以反映对输入数据加工后的结果。没有输出的算法是毫无意义的；

可行性

(Effectiveness)

算法中执行的任何计算步骤都是可以被分解为基本的可执行的操作步，即每个计算步都可以在有限时间内完成（也称之为有效性）。

一、数据对象的运算和操作：计算机可以执行的基本操作是以指令的形式描述的。一个计算机系统能执行的所有指令的集合，成为该计算机系统的指令系统。一个计算机的基本运算和操作有如下四类：[1]

1算术运算：加减乘除等运算

2逻辑运算：或、且、非等运算

3关系运算：大于、小于、等于、不等于等运算

4数据传输：输入、输出、赋值等运算[1]

二、算法的控制结构：一个算法的功能结构不仅取决于所选用的操作，而且还与各操作之间的执行顺序有关。

算法可大致分为基本算法、数据结构的算法、数论与代数算法、计算几何的算法、图论的算法、动态规划以及数值分析、加密算法、排序算法、检索算法、随机化算法、并行算法，厄米变形模型，随机森林算法。

算法可以宏泛地分为三类：

一、有限的，确定性算法 这类算法在有限的一段时间内终止。他们可能要花很长时间来执行指定的任务，但仍将在一定的时间内终止。这类算法得出的结果常取决于输入值。

二、有限的，非确定算法 这类算法在有限的时间内终止。然而，对于一个（或一些）给定的数值，算法的结果并不是唯一的或确定的。

三、无限的算法 是那些由于没有定义终止定义条件，或定义的条件无法由输入的数据满足而不终止运行的算法。通常，无限算法的产生是由于未能确定的定义终止条件。

希望我能帮助你解疑释惑。

《算数书》 《算经十书》 《九章算术》 《数书九章》 《测圆海镜》 《益古演段》 《详解九章算法》 《杨辉算法》 《算学启蒙》 《四元玉鉴》 《九章算法比类大全》 《算法统宗》 《数理精蕴》 《梅氏丛书辑要》 《视学》 《割圆密率捷法》 《畴人传》 《衡斋算学遗书合刻》 《李氏遗书》 《求表捷术》 《则古昔斋算学》 《莱因德纸草书》 《几何原本》 《已知条件》 《数沙者》 《论球和圆柱》 《抛物弓形求积》 《论劈锥曲面体与椭球体》 《圆锥曲线论》（阿波罗尼奥斯） 《度量论》 《算术入门》 《天文学大成》 《算术》 《数学汇编》 《阿耶波多历数书》 《婆罗摩历算书》 《代数学》（花拉子米） 《代数学》（奥马海亚姆） 《天文系统极致》 《算盘书》 《论完全四边形》 《论各种三角形》 《算术、几何、比及比例全书》 《大术》 《数量概论》 《砺智石》 《代数学》（邦贝利） 《论十进》 《分析术人门》 《奇妙的对数表的描述》 《不可分量几何学》 《平面与立体轨迹引论》 《求极大值与极小值的方法》 《几何学》 《圆锥曲线论稿》 《圆锥曲线论》（帕斯卡） 《无穷算术》 《几何学讲义》 《运用无穷多项方程的分析学》 《流数法与无穷级数》 《自然哲学的数学原理》 《广义算术》 《一种求极大、极小值与切线的新方法》 《发微算法》 《机会论》 《猜度术》 《正的和反的增量方法》 《流数通论》 《寻求具有某种极大或极小性质的曲线的技巧》 《无穷分析引论》 《代数学人门》 《数学史》 《分析力学》 《解析函数论》 《几何学基础》 《画法几何学》 《天体力学》 《概率的分析理论》 《算术研究》 《纯粹分析的证明》 《分析教程》 《关于定积分理论的报告》 《热的分析理论》 《论图形的射影性质》 《高于四次的一般方程的代数求解之不可能性的证明》 《关于曲面的一般研究》 《数学分析在电磁理论中的应用》 《椭圆函数论新基础》 《代数通论》 《论方程的根式可解性条件》 《绝对空间的科学》 《几何图形相互依赖性的系统发展》 《具有完善的平行线理论的新几何学原理》 《线性扩张论》 《位置的几何学》 《形式逻辑》 《单复变函数的一般理论基础》 《关于用三角级数表示函数的可能性》 《关于几何基础的假设》 《四元数讲义》 《思维规律的研究》 《数论讲义》 《置换与代数方程》 《连续性与无理数》 《对于近代几何学研究的比较考察》 《概念语言》 《关于由微分方程确定的曲线》 《天体力学新方法》 《位置分析》 《函数论论文集》 《算术原理》 《连分式研究》

★

关于辗转相除法,

搜了一下,

在我国古代的《九章算术》中就有记载，现摘录如下:

约分术曰：“可半者半之，不可半者，副置分母、子之数，以少减多，更相减损，求其等也。以等数约之。”

其中所说的“等数”，就是最大公约数。求“等数”的办法是“更相减损”法，实际上就是辗转相除法。

辗转相除法求最大公约数，是一种比较好的方法，比较快。

对于52317和75569两个数，你能迅速地求出它们的最大公约数吗？一般来说你会找一找公共的使因子，这题可麻烦了，不好找，质因子大。

现在教你用辗转相除法来求最大公约数。

先用较大的75569除以52317，得商1，余数23252，再以52317除以23252，得商2，余数是5813，再用23252做被除数，5813做除数，正好除尽得商数4。这样5813就是75569和52317的最大公约数。你要是用分解使因数的办法，肯定找不到。

那么，这辗转相除法为什么能得到最大公约数呢？下面我就给大伙谈谈。

比如说有要求a、b两个整数的最大公约数，a＞b，那么我们先用a除以b，得到商8，余数r1：a÷b＝q1…r1我们当然也可以把上面这个式子改写成乘法式：a＝bq1＋r1------l）

如果r1＝0，那么b就是a、b的最大公约数3。要是r1≠0，就继续除，用b除以r1，我们也可以有和上面一样的式子：

b＝r1q2＋r2-------2）

如果余数r2＝0，那么r1就是所求的最大公约数3。为什么呢？因为如果2）式变成了b＝r1q2，那么b1r1的公约数就一定是a1b的公约数。这是因为一个数能同时除尽b和r1，那么由l）式，就一定能整除a，从而也是a1b的公约数。

反过来，如果一个数d，能同时整除a1b，那么由1）式，也一定能整除r1，从而也有d是b1r1的公约数。

这样，a和b的公约数与b和r1的公约数完全一样，那么这两对的最大公约数也一定相同。那b1r1的最大公约数，在r1＝0时，不就是r1吗？所以a和b的最大公约数也是r1了。

有人会说，那r2不等于0怎么办？那当然是继续往下做，用r1除以r2，……直到余数为零为止。

在这种方法里，先做除数的，后一步就成了被除数，这就是辗转相除法名字的来历吧。

谈到中国数学史。谁都会盛赞《九章算术》这部数学巨著。

　　公元前221年，秦始皇结束了长达5个多世纪的兼并、征战局面，建立起我国第一个统一的中央集权的封建主义国家。自秦至西汉前期，新兴的地主阶级奖励耕织，兴修水利，重视冶炼，建筑长城。在生产的推动下，科学技术获得了巨大的发展。西汉前期，从汉高祖到汉武帝，都注意劝民农桑，进一步发展为地主阶级服务的生产和科学技术。《九章算术》就是在这种历史条件下编成的。

　　这部巨著是我国古代数学知识的全面总结。全书收集了实际的数学问题共246个，分为方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股等9章，所以定名为《九章算术》。

　　“方田章”讲述四亩面积的计算，结合这种需要，系统地介绍了分数的加、减、乘、除四则运算，化带分数为假分数，以及求几个分母的最小公倍数的方法。根据现有的史料，《九章算术》是世界上最早记载分数运算法则的文献。欧洲人到15世纪才掌握这些法则。　“粟米章”研究各类粮食的交换。“衰分章”、“均用章”讨论按比例分配赋税与徭役。“盈不足章”根据两次假设所得出的盈余或不足，来推算问题的答案，它是我国古代数学的又一项创造，后来欧洲人就把它叫做“中国算法”。

　　“少广章”介绍筹算开平方与开立方，其中也包含了分数的内容。“商功章”专门解决筑城、开渠等土木工程中所提出的各种体积计算问题。“勾股章”论述勾股定理和相似的直角三角形。并且提出了二次方程的筹算解法，这是世界上运用一定的算法求解二次方程的最早记录。

　　“方程章”详细地研究了一次方程组的解法，引进了正负数的概念及其加减运算法则，这是我国古代数学中两项非常杰出的成就。在这一章里，共收集了18道实际的多元一次方程组的问题。例如，其中第一题为：“今有上禾三秉（古代容量单位），中禾二秉，下禾一秉，实三十九斗；上禾二秉，中禾三秉，下禾一秉，实三十四斗；上禾一秉、中禾二秉，下禾三秉，实二十六斗。问上、中、下禾一秉各几何？”如果用现在的方法，设上、中、下禾一秉分别为x斗、y斗、z斗，那么可以得到方程组　我国古代解这类问题的方法(叫做“方程术”)是把方程各未知数的系数与常数项用算筹依次按“直行”排成一个“方程组。”这道题的“方程组”如下：　然后通过行的数乘与行、行之间的加减，逐个消去未知数，得到“方程组”的解。这些思想及形式，可以无愧地称之为近代高等代数中“矩阵”概念和“线性方程组矩阵解法”的先声。

　　《九章算术》的全部内容说明，和其他一切科学一样，数学是从人的需要中产生的：是从丈量土地和测量容积，从计算时间和制造器皿产生的。《九章算术》密切结合实际，这反映了我国古代数学的鲜明特点和优良传统，对后来我国数学的发展产生了深远的影响。