所立天元一皆茫然不解。今则具明其加减乘除之例,而后根与平方以下诸乘方之多少者咸得其开法,与古所云带纵立方三乘方诸变同归一揆。且线面体一以贯之,而本法所不能求者,皆可以借根而得,至为精妙。他若对数表以假数、求真数,比例规解以量代算,皆西法之迥异於中法者,咸为疏通证明,绘图立表,粲然毕备。实为从古未有之书。虽专门名家,未能窥高深於万一也。
△《几何论约》七卷(内府藏本)
国朝杜知耕撰。知耕字临甫,号伯瞿,柘城人。是书取利玛窦与徐光启所译《几何原本》复加删削,故名《论约》。光启於《几何原本》之首,冠杂议数条,有云此书有四不必;不必疑,不必揣,不必试,不必改。有四不可得;欲脱之不可得,欲驳之不可得,欲减之不可得,欲前后更置之不可得。知耕乃刊削其文,似乎蹈光启之所戒。然读古人书往往各有所会心,当其独契,不必喻诸人人,并不必印诸著书之人。《几何原本》十五卷,光启取其六卷。欧几里得以绝世之艺,传其国递授之秘法,其果有九卷之冗赘,待光启去取乎?各取其所欲取而已。知耕之取所欲取,不足异也。梅文鼎算数造微,而所著《几何摘要》亦有所去取於其间,且称知耕是书足以相证。则是书之删繁举要,必非漫然矣。
△《数学钥》六卷(内府藏本)
国朝杜知耕撰。其书列古方田、粟米、衰分、少广、商功、均输、盈朒、方程、勾股九章,仍取今线、面、体三部之法隶之,载其图解,并摘其要语以为之注,与方中通所撰《数度衍》用今法以合《九章》者体例相同。而每章设例,必标其凡於章首。每问答有所旁通者,必附其术於条下。所引证之文,必著其所出,蒐辑尤详。梅文鼎《勿菴历算书》记曰:近代作者如李长茂之《算海详说》,亦有发明,然不能具《九章》。惟方位伯《数度衍》,於《九章》之外蒐罗甚富。
杜端伯《数学钥》,图注《九章》,颇中肯綮,可为算家程式。其说固不诬矣。
世有二本,其一为妄人窜乱,殊失本真。此本犹当日初刊。今据以校正,以复知耕之旧云。
△《数度衍》二十四卷、附录一卷(两江总督采进本)
国朝方中通撰。中通字位伯,桐城人。明检讨以智之子也。以智博极群书,兼通算数。中通承其家学,著为是书,有数原律衍、几何约、珠算、笔算、筹算、尺算诸法。复条列古《九章》名目,引《御制数理精蕴》,推阐其义。其《几何约》,本前明徐光启译本。其珠算,仿程大位《算法统宗》。笔算、筹算、尺算采《同文算指》及《新法算书》。惟数原律衍未明所自,大抵裒辑诸家之长,而增减润色,勒为一编者也。其尺算之术,梅文鼎谓其三尺交加取数,故只能用平分一线。其比例规解之本法,惜仅见其弟中履但称中通得旧法於豫章。而不知其法何如,竟未获与中通深论。又称见嘉兴陈荩谟《尺算用法》一卷,亦只平分一线,岂中通所据之法,与荩谟同出一源欤?盖不可考矣。
△《勾股引蒙》五卷(浙江巡抚采进本)
国朝陈訏撰。訏字言扬,海宁人。由贡生官淳安县教论。是书成於康熙六十一年壬寅。首载加减乘除之法,杂引诸书。如加法则从《同文算指》,列位自左而右。减法则从梅文鼎《笔算》,列位自上而下,易横为直。乘法则用程大位《算法统宗》铺地锦法,画格为界。除法则用梅文鼎《筹算》,直书列位,至定位则又用西人横书之式。盖兼采诸法,故例不画一。至开带纵平方,但列较数而不列和数。开带纵立方,但列带一纵而不列带两纵相同及带两纵不同,皆为未备。
所论勾股诸法,谓勾股和自乘方与弦积相减,所馀之积,转减弦积为股弦较,不知以勾股和自乘积与倍弦积相减,所馀为勾股较积,不得为股弦较也。又谓勾股相乘,以勾股较除之,亦得容方。不知既用勾股容方本法,以勾股和除勾积股相乘矣,则用此一勾股相乘之积,而勾股和与勾股较除之,皆得容方,无是理也。
又谓勾股相乘之积为容方者四,斜弦内为容方者两,不知勾股形内以弦为界,止容一方,试以勾三股四之容方积较之,尚不及勾股积四分之一,而股愈长则容方愈小者,更无论矣。又谓勾股弦之长,恒两倍於容圆之周,不知平圆积以半周除之而得半径,勾股相乘积以总和除之而得半径,根既不同,不得牵混为一也。如斯之类,亦多未协。其三角法则全录梅文鼎《平三角举要》,略加诠释。所用八线小表,以馀线可以正弦、正切、正割三线加减得之,故不备列。其半径止用十万,亦《测量全义》所载泰西之旧表,无所发明。然算法精微,猝不易得其门径。
此书由浅入深,循途开示,於初学亦不为无功。观其名以《引蒙》,宗旨可见。
录存其说,亦足为发轫之津梁也。原本不分卷数,今略以类从,以算法为一卷,开方为一卷,勾股为一卷,三角为一卷,正馀弦切割表为一卷。
△《勾股矩测解原》二卷(浙江汪启淑家藏本)
国朝黄百家撰。百家有《体独私抄》,已著录。是书言勾股测望,并详绘矩度之形,与熊三拔《矩度表说》大概相同,而此书专明一义,其说尤详。考勾股测望,自古有之。其法或用方矩,或立矩表