钦定四库全书 子部六
测圆海镜 天文算法类二【算书之属】提要
【臣】等谨案测圆海镜十二卷元李冶撰冶字镜斋栾城人金末登进士入元官翰林学士事迹具元史本传其书以勾股容圆为题自圆心圆外纵横取之得大小十五形皆无竒零次列识别杂记数百条以穷其理次设问一百七十则以尽其用探赜索隐参伍错综虽习其法者不能骤解而其草多言立天元一按立天元一法见扵宋秦九韶九章大衍术中厥后授时草及四元玉鉴等书皆屡见之而此书言之独详其法关乎数学者甚大然自元以来畴人皆株守立成习而不察至遂无知其法者故唐顺之与頋应祥书称立天元一漫不省为何语頋应祥演是书为分类释术其自序亦云立天元一无下手之术则是书虽存而其传已泯矣明万厯中利玛窦与徐光启李之等译为同文算指诸书扵古九章皆有辨订独于立天元一法阙而不言徐光启扵勾股义序中引此书又谓欲説其义而未遑是此书已为利玛窦所见而犹未得其解也迨我
国朝醲化翔洽梯航鳞萃欧逻巴人始以借根方法进
呈
圣祖仁皇帝授
蒙养斋诸臣习之梅防成乃悟即古立天元一法扵赤水遗珍中详解之且载西名阿尔热巴拉【案原本作阿尔热巴逹谨据西洋借根法改正】即华言东来法知即冶之遗书流入西域又转而还入中原也今用以勘騐西法一一脗合瑴成所説信而有徴特录存之以为算法之秘钥且以见中法西法互发益明无容设畛域之见焉乾隆四十六年二月恭校上
总纂官【臣】纪昀【臣】陆锡熊【臣】孙士毅
总 校 官 【臣】 陆 费 墀
原序
数本难穷吾欲以力强穷之彼其数不惟不能得其凡而吾之力且惫矣然则数果不可以穷耶既已名之数矣则又何为而不可穷也故谓数为难穷斯可谓数为不可穷斯不可何则彼其冥冥之中固有昭昭者存夫昭昭者其自然之