立法之意而言之。其用虽仅一端,而以零数推总数,足以尽奇偶和较之变,至为精妙。苟得其意而用之,凡诸法所不能得者,皆随所用而无不通。后元郭守敬用之於弧矢,李冶用之於勾股方圆,欧逻巴新法易其名曰借根方,用之於九章八线,其源实开自九韶,亦可谓有功於算术者矣。至於田域、测望、赋役、钱穀、营建、军旅、市易七类、皆扩充古法,取事命题,虽条目纷纭,曲折往复,不免瑕瑜互见,而其精确者居多,今即《永乐大典》所载,於其误者正之,疏者辨之,颠倒者次第之,各加案语於下。庶得失不掩,俾算家有所稽考焉。
△《测圆海镜》十二卷(编修李潢家藏本)
元李冶撰。冶字镜斋,栾城人。金末登进士,入元官翰林学士。事迹具《元史》本传。其书以勾股容圆为题,自圆心圆外纵横取之,得大小十五形,皆无奇零。次列识别杂记数百条,以穷其理。次设问一百七十则,以尽其用。探赜索隐,参伍错综,虽习其法者,不能骤解。而其草则多言立天元一。按立天元一法见於宋秦九韶《九章大衍数》中,厥后《授时草》及《四元玉鉴》等书皆屡见之,而此书言之独详,其关乎数学者甚大。然自元以来,畴人皆株守立成,习而不察。
至明,遂无知其法者。故唐顺之与顾应祥书,谓立天元一,漫不省为何语。顾应祥演是书为分类释术,其自序亦云立天元一无下手之术,则是书虽存,而其传已泯矣。明万历中,利玛窦与徐光启、李之藻等译为《同文算指》诸书,於古《九章》皆有辨订,独於立天元一法阙而不言。徐光启於《勾股义序》中引此书,又谓欲说其义而未遑。是此书已为利玛窦所见,而犹未得其解也。迨我国家,醲化翔洽,梯航鳞萃,欧逻巴人始以借根方法进呈,圣祖仁皇帝授蒙养斋诸臣习之。
梅瑴成乃悟即古立天元一法,於《赤水遗珍》中详解之。且载西名阿尔热巴拉(案:原本作阿尔热巴达,谨据西洋借根法改正),即华言东来法。知即冶之遗书流入西域,又转而还入中原也。今用以勘验西法,一一吻合,瑴成所说,信而有徵。特录存之,以为算法之秘钥。且以见中法西法互相发明,无容设畛域之见焉。
△《测圆海镜分类释术》十卷(浙江范懋柱家天一阁藏本)
明顾应祥撰。应祥有《人代纪要》,已著录。李冶《测圆海镜》所设一百七十问中,皆有草有法。(案:前数十题中甚易者,或无草,后皆有草。)草用立天元一为虚数,合问数推之法,专用问数推之,皆归於带纵诸乘方而止。应祥得冶书於唐顺之,於立天元一语互相推求,不得其解,遂去其细草,专演算法,改为是书。自谓便於下学。殊不知立天元一之妙,能使诸法不能求者可以得其法;若无其草,即冶已有不能得其法者。而徒沾沾於加减开方之数,可谓循枝叶而失本根者矣。唐顺之与应祥书云,此书形下之数太详,而形上之义或略,使观之者尚不免其数可陈而义难知,有与人以鸳鸯枕而不度人以金针之疑。仆意欲明公於紧要处提掇一二作法源头出来,使后世为数学者识其大者得其义,识其小者得其数,则此书尤更觉精采耳。其不足於应祥者诚是。第作法源头即立天元一一语,应祥既去之,又将何以为提掇乎?然《九章》之中,惟少广诸乘方之数为甚繁,故立方带纵之法,古已不见有和数者。冶所用有至三乘方、四乘方及五乘方者,且兼加减诸乘方廉隅,不为之详其算式,初学诚有难於取数者。冶虽专为发明立天元一术,得应祥所演诸乘方之式,亦可谓求立天元一法者之一助云。
△《益古演段》三卷(永乐大典本)
元李冶撰。据至元壬午砚坚序,称冶《测圆海镜》既已刻梓,其亲旧省掾李师徵,复命其弟师珪请冶是编刊行。是成在《测圆海镜》之后矣。其曰《益古演段》者,盖当时某氏算书(案:冶序但称近世有某,是冶已不知作者名氏。)以方圆周径幂积和较相求,定为诸法,名《益古集》。冶以为其蕴犹匿而未发,因为之移补条目,厘定图式,演为六十四题,以阐发奥义,故踵其原名。其中有草,有条段,有图,有义。草即古立天元一法,条段即方田、少广等法,图即绘其加减开方之理,义则随图解之。盖《测圆海镜》以立天元一法为根,此书即设为问答,为初学明是法之意也。所列诸法,文皆浅显。盖此法虽为诸法之根,然神明变化,不可端倪,学者骤欲通之,茫无门径之可入。惟因方圆幂积以明之,其理犹属易见。故冶於方圆相求各题,皆以此法步之为草,俾学者得以易入。自序称今之为算者未必有刘、李之工,而褊心跼见,不肯晓然示人。惟务隐互错糅,故为溟涬黯黮,惟恐学者得窥其仿佛云云。可以见其著书之旨矣。至其条段、图、义,触类杂陈,则又以必习於诸法而后可以通此法,故取以互相发也。其书世无传本。顾应祥、唐顺之等见《测圆海镜》而不解立天元一法,遂谓秘其机以为奇,则明之中叶,业已散佚。今检《永乐大典》尚载有全编。特录存之,俾复见於世,以为算家之圭臬。砚坚序称三卷,今约略篇页,厘为三卷,其文则无所增损。惟传写讹谬者,各以本法推之,咸为校正焉。
△《弧矢算术》一卷(浙江范懋柱家天一阁藏本)
明顾应祥撰。弧矢之法,始于元