印度与阿拉伯数学：零、代数与三角学
一、印度：十进制与零的诞生
阿耶波多（Aryabhata，476—550 年）是这一时期印度数学的代表人物。他 499 年写成的**《阿耶波多历数书》是用诗体写成的天文数学著作，全书一百多行偈颂，内容却极为丰富：他给出圆周率的近似值 62832/20000，即 3.1416，精确到小数点后四位；他编制了正弦表**——注意，是半弦之长，也就是现代意义上的正弦，而非希腊人用的全弦。这个从"弦"到"半弦"的转变看似微小，却奠定了三角学的现代形态。他还提出地球绕轴自转来解释星空周日运动，并给出了一元一次不定方程的"库塔卡"（碾碎）解法。
位值制的最后一公里是零。零有两重身份：一是占位符，表示"这一位是空的"——出土的巴赫沙利桦树皮手稿（年代学界尚有争议）上已经用一个圆点承担这个角色；二是一个真正的数，可以参与加减乘除。印度瓜廖尔附近一座神庙的 876 年铭文里，刻有用圆圈符号写成的"270"等数字，是零作为数进入日常书写的著名实物证据。完成"零是数"这惊险一跃、并为它立法的，则是七世纪的婆罗摩笈多。
二、婆罗摩笈多与印度代数学
婆罗摩笈多（Brahmagupta，598—668 年）在 628 年写成的**《婆罗摩历算书》中，第一次把零当作数来对待，并给出明确的运算法则：零加正数得正数，零减负数得负数，零减零得零。更了不起的是，他系统制定了负数的运算规则**：“负数减负数得零（之差），正数与负数之积为负，负数与负数之积为正”——这就是"负负得正"的最早成文表述。在希腊人眼里，负量连存在都勉强，印度人却从债务与借贷的商业实践中坦然接纳了它，还给它立了法。他在几何上也有一项漂亮的成果：圆内接四边形的面积等于四边半周长与各边之差的乘积的平方根——√(s−a)(s−b)(s−c)(s−d)，当一条边退化为零时就还原成著名的海伦公式。
婆罗摩笈多在方程研究上也走得极远。他研究形如 x² − Ny² = 1 的不定方程（后来欧洲人称之为佩尔方程），发明了"组合法"（bhavana）：从两组近似解出发可以合成新的解。九世纪的马哈维拉（Mahavira）在《计算精华》中把算术推向实用顶峰，分数运算、排列组合、几何测量一应俱全。这套方程方法在几百年后由婆什迦罗二世（Bhaskara II，1114—1185 年）推进到高潮——婆什迦罗在《算法本源》中给出"循环法"，能系统地解出这类方程，例如 x² − 61y² = 1 的最小正整数解是一对十亿级的巨数，他在十二世纪就找到了。他的另一部著作**《莉拉沃蒂》**是印度流传最广的数学教科书，以优美的诗题讲算术与几何，书名据说是他女儿的名字。对除以零这个深渊，印度人也没绕开：婆什迦罗二世提出"分母为零的分数其值无穷"，方向已经摸对，严格的处理要等微积分时代的极限概念。
印度数学的风格与希腊迥异：没有公理体系和形式证明，成果多以算法和规则的面貌出现，实用、直接、面向计算。希腊人问"如何证明"，印度人问"如何计算"——两种气质后来都汇入了数学的血脉。十四至十六世纪，印度西南海岸的喀拉拉学派还开出了更令人惊异的一支：学派创始人马德哈瓦（Madhava，约 1340—1425 年）得到了 π/4、arctan、sin、cos 的无穷级数展开——比欧洲发现同类级数（格雷戈里、莱布尼茨）早了两个多世纪。可惜这套成果长期锁在地方语言的抄本里，未能汇入世界数学的主流，直到近代才被学者重新发掘。
三、巴格达智慧宫：翻译运动
750 年阿拔斯王朝建立，762 年新都巴格达落成，伊斯兰世界进入鼎盛期。哈里发马蒙（813—833 年在位）扩建了智慧宫（Bayt al-Hikma），把它变成当时世界的学术首都。传说马蒙梦见亚里士多德，醒来后便派人赴君士坦丁堡搜求希腊典籍——这个传说的真假无关紧要，翻译运动确实是国家工程：欧几里得的《原本》、托勒密的《至大论》、阿基米德和阿波罗尼奥斯的著作、印度的天文历算书，被成批译成阿拉伯文。
翻译家侯奈因·伊本·伊斯哈格（Hunayn ibn Ishaq，809—873 年）是这场运动的灵魂人物，他主持翻译了大量希腊学术著作，报酬据说按译稿的重量以黄金支付。这些译本质量极高，许多希腊著作的希腊文原本后来失传，靠阿拉伯文译本才流传至今——文艺复兴时期欧洲人是先把它们从阿拉伯文译回拉丁文，才重新读到希腊先贤的。翻译很快转化为创造：穆萨三兄弟合著的《平面与球面图形测量之书》推进了阿基米德的面积体积计算；哲学家肯迪写下数百篇论著，把希腊学术系统化地引入阿拉伯世界。更重要的是，阿拉伯学者不是搬运工：他们在译本上作注、修正、推进，把外来的知识消化成自己的血肉。数学史上所谓的"阿拉伯数学"，其实是一个多民族的共同体——波斯人、阿拉伯人、中亚人、犹太人、基督徒——用阿拉伯语写作的成果总和。
四、花拉子米：《代数学》的奠基
花拉子米的代数没有符号，全部用文字叙述（数学史家称之为"修辞代数"），但体系已经完整。由于不承认负数和零作系数，他把一次、二次方程按系数正负分成六类，例如"平方等于根"（ax² = bx）、“平方加根等于数”（ax² + bx = c）等，逐类给出解法。以书中的招牌例题 x² + 10x = 39 为例：他画一个边长为 x 的正方形，在四边中的两邻边各接上宽为 5 的矩形，补上角上 5×5 的小正方形，大正方形边长 x+5，面积 39+25 = 64，于是 x+5 = 8，x = 3——配方法的几何原形。他解方程的方法本质上是算法：一步一步，照做必得答案。这部书的后半部全是遗产分割、商业交易、土地丈量一类的应用题——按伊斯兰继承法分配遗产往往需要解方程，代数学从诞生那天起就是实用手艺。花拉子米还编过天文表、修订过地理学，是把印度天文历算引入阿拉伯世界的中介人。
花拉子米的另一部著作**《印度的计算术》**同样影响深远：它系统介绍了印度十进制记数法和笔算算法。这部书的阿拉伯原本已佚，靠十二世纪的拉丁文译本传世，译本标题以作者名字的拉丁化形式开头——Algoritmi de numero Indorum（“花拉子米论印度数字”）。欧洲的计算者因此自称"algorist"（算法家），与用算板的"abacist"（算盘家）分庭抗礼；Algoritmi 这个词慢慢脱去人名色彩，变成了今天的"Algorithm"（算法）。一个九世纪波斯学者的名字，就这样住进了每一台计算机。
五、三角学的独立
三角学生于天文学——为了预测行星位置，希腊人需要把圆弧换算成弦长。希帕克斯（约前 190—前 120 年）编制了第一张弦表，托勒密的《至大论》（约 150 年）继承了这套工具：书中给出从半度到一百八十度、每隔半度的弦表，精度达到六十进制的两位小数。但希腊人用的是整弦，计算繁琐。印度人改用了半弦——也就是正弦，三角学的重心从此转移。
一条术语的旅行路线可以见证知识的接力：梵文管半弦叫 jiva，阿拉伯学者音译成 jiba；阿拉伯文只写辅音，jiba 被后人误读为 jayb——意思是"海湾、衣褶"；十二世纪拉丁译者望文生义，译成拉丁文的 sinus（海湾）——英语 sine、进而全世界的"正弦"由此而来。一个词里叠着三种语言。
阿拉伯数学家把三角学推向成熟。阿尔巴塔尼（Al-Battani，约 858—929 年）在观测中引入正切与余切（他称之为"直立的影子"和"水平的影子"，源于日晷测影的实际操作），并把太阳年的长度测到只差两分钟。阿布·瓦法（Abu al-Wafa，940—998 年）系统使用全部六个三角函数，证明了球面三角的正弦定理，还用几何方法编制了高精度的正弦表。比鲁尼（Al-Biruni，973—1048 年）更是奇人——他利用山顶观测地平线俯角的办法测算地球半径，结果与现代值惊人地接近，全程不需要绕地球走一圈；他写的《印度志》还是研究印度数学的一手文献。
集大成者是纳西尔丁·图西（Nasir al-Din al-Tusi，1201—1274 年）。他在约 1250 年写成的**《论完全四边形》中，第一次把三角学当作独立于天文学的数学分支来系统论述——平面三角与球面三角的基本定理各就各位，三角学从此"毕业"，成为一门自足的学科。他主持的马拉盖天文台（1259 年建成）云集了当时最优秀的天文学家，其行星模型中的"图西双轮"装置，后来被哥白尼用进了《天体运行论》。此后蒙古统治下的撒马尔罕还出现了阿尔卡西**（Al-Kashi，约 1380—1429 年），他 1424 年在《圆周论》中把 π 算到小数点后 16 位，把祖冲之保持了约九百年的纪录远远甩在身后。
六、海亚姆与三次方程的几何解
奥马尔·海亚姆（Omar Khayyam，1048—1131 年）在英语世界以《鲁拜集》闻名，是写下"一杯酒、一卷诗"的诗人；但在数学史上，他是解三次方程的先驱。约 1070 年，他写成《还原与对消问题之论证》，把含正系数的方程分成 25 类，其中三次方程占了十几类，逐类给出几何解法：要解 x³ + ax = b，就画一条抛物线与一个圆（或双曲线），两曲线交点的横坐标就是方程的根。
海亚姆的几何解漂亮而深刻，但他清醒地指出了局限：一般三次方程不能用尺规作图求解——这个断言要等到十九世纪的伽罗瓦理论才能严格证明。他还尝试过寻找三次方程的数值解和代数公式解，没能成功；三百年后，接力棒传到了意大利人手里，引发了文艺复兴时期那场著名的三次方程之争。海亚姆还研究过欧几里得第五公设：他考察由两条等长垂线构成的四边形，试图从中推出平行公设——这个图形六百年后被意大利耶稣会士萨凯里重新拾起（得名"萨凯里四边形"），成为通向非欧几何的早期路标。天文上，海亚姆主持修订的贾拉利历采用 33 年 8 闰，平均年长与回归年贴合得极好，精度优于欧洲五百年后才推行的格里高利历。
代数本身也在阿拉伯世界继续生长。阿尔卡拉吉（Al-Karaji，约 953—1029 年）开始把代数从几何中解放出来，研究多项式的运算；萨马瓦尔（Al-Samawal，约 1130—1180 年）列出了二项式系数表——西方后来叫它"帕斯卡三角形"，其实帕斯卡晚了五百年。他还给出了数学归纳法的雏形论证。
七、西传欧洲
十二世纪，欧洲重新发现了这份遗产。西班牙的托莱多被基督教王国收复后成为翻译中心，意大利人杰拉德（克雷莫纳的杰拉德，1114—1187 年）一人就译出几十部著作，包括托勒密《至大论》和花拉子米的代数书；1126 年，巴斯的阿德拉德把《几何原本》从阿拉伯文首次译成拉丁文，欧几里得由此重返欧洲；1145 年，切斯特的罗伯特完成了花拉子米《代数学》的第一个拉丁文全译本——这是欧洲得到的第一部代数学著作。1202 年，游历过北非的斐波那契写成《算盘书》，向欧洲商界演示印度-阿拉伯数字如何碾压罗马数字的记账效率，位值制由此在欧洲扎根。
词汇里至今还留着这场接力的指纹：algebra 来自花拉子米的书名，algorithm 来自花拉子米的名字，sine 是梵文、阿拉伯文、拉丁文三层转译的产物，zero 则来自阿拉伯语 sifr（空）——同一个词还派生出 cipher（密码），因为"空"的符号一度显得神秘。印度给了数字，阿拉伯世界给了方法和名字，希腊给了证明的传统——近代数学就诞生在这三支血脉的交汇处。