子部·天文算法类古籍，元代·李治《测圆海镜》PDF，本书共12卷，拆分为4册数字本PDF文件下载。
《测圆海镜》是由金元之际数学家李冶于1248年撰写的数学专著，全书共12卷170问，是中国首部系统论述勾股容圆问题的著作，标志着天元术理论体系的成熟。李冶在蒙古灭金后隐居期间完成此书，书中以勾股形与圆的几何关系为核心，推导出内切圆、旁切圆直径的求解方法，并归纳六百余条几何定理。
该书首创以“天元一”为未知数的代数方法，通过建立多项式方程解决几何问题，推动中国传统数学从文字代数转向符号代数。全书以卷一《识别杂记》为总纲，涵盖一次至六次方程的解法，提出新型求圆径公式，改进数学符号体系，率先使用负号与完整十进制数码，其中零的应用早于欧洲数百年。书中保留并发展了“洞渊九容”公式，构建圆城图式理论框架，其演绎推理方法为中国古代数学抽象化奠定基础。