衡斋算学

出处：按学科分类—文体、科学、教育 吉林大学出版社《四库大辞典下》第1764页（1274字）

七册。

清汪莱(1768－1813)撰。汪莱字孝婴，号衡斋，安徽歙县人。他自幼家贫，但酷爱学习，年十五，补府学生员，二十岁后，读书于吴县(今苏州)葑门外。在学术上颇受学者江永、戴震影响，他力通经史百家及推步历算之术，着有《衡斋算学》七册，殁后其门人夏燮收集遗稿刻成《衡斋遗书》九卷即：《覆载通几》、《参两算经》、《乐律逢源》、《考定磬氏倨句令鼓旁线中悬而悬居线右解》、《校正九章算术及戴氏订讹》、《今有录》各一卷和《衡斋文集》三卷。

1796年汪莱为演推五大行星“伏见”问题着《弧三角形》，即《衡斋算学》第一册，他在此册中系统讨论了球面三角形有无解的条件。对任意球面三角形，已知两边及一角或两角一边的求解，各列出了二十六种情形讨论；对球面直角三角形，讨论了九种有解的情形并给出了具体解法。第二册撰于1798年，论勾股形，讨论了已知勾股相乘积与勾弦和常有二解的情况。1798年秋第三册完成，专论已知一弧的通弦求五分之一弧的通弦。

1799年撰第四册讨论球面三角形只有一解的条件，共得定理四十条，他说：“弧三角之算，穷形困难，设形亦难”。对于已知球面斜三角形边角六元素中任意三个，求其余元素，他分六种情形讨论：已知三边，已知三角，已知二角及夹边，已知二边及夹角，已知两边及对角，已知两角及对边。汪莱在第、四册中对球面三角形有无解所作的系统讨论，对这一领域的发展作出了贡献。1801年汪莱去扬州馆秦恩复家，研究了秦九韶正负开方术和冶的天元术，撰第五册专论解代数方程。

他列举了二十四个二次方程和七十二个三次方程的例子，讨论其正根的数目，得出二次方程可能有一或两个正根，三次方程可能有一——三个正根，与方程各项系数正负号之间的关系。无正根则不予讨论。

他认为只有一个正根的方程，其根的数值是确定的，是“可知”的；多于一个正根方程的答数不唯一，是“不可知”的。

而秦的《数书九章》和李冶《测圆海镜》中对高次方程不加分析的取某一根数为答数是片面的。

他还发现了三次方程的根与系数的关系。1801年，汪莱将第五册寄给焦循，焦与李锐共同审核，李锐将汪的结果推广到了高次方程，得出三条结论。

同年汪莱又撰论已知一弧的通弦求其三分之一弧的通弦，连同李锐《第五册算书跋》，自己对李锐三条的意见和焦循《第五册算术记》合刻为第六册。1805年撰第七册进一步钻研代数方程论，阐明：如果高次方程可以分解为几个低次方程，则这几个低次方程的正根即是该高次方程的正根。这在当时中算方程理论的研究上还是创见。值得指出的是，第四册中《递兼数理》论述的组合数性质与计算公式，在中算史上亦是空前的。汪莱的成果虽晚于西方，但全凭他独立钻研，不为宋元名家结论束缚，开辟了清代方程论研究的新方向。该书二卷本有1798年巴树珏刊首卷本；六卷本有1801年汪延麟刊六卷本，1897年贵池刘世珩《继庵丛刻》红印本；《衡斋算学》七卷本有1854年夏燮鄱阳县署刊本，1834年《遗书合刻》本，1892年汪廷栋重刊《算学遗书合刻本》，《嘉树堂六九书榭》刊本，《聚学轩丛书》本。