对李冶《测圆海镜》的新认识

和现在通行的看法相反，《测圆海镜》不是一本讨论天元术的书，与天元术有关的部分只是应用天元术以解勾股形罢了。其核心是其中的《识别杂记》部分，这里有完整的定义，完善合适的公理，丰富多彩的定理，已经建立了一个完善的公理系统，为我国数学开辟了一条公理推演的新路。本文在论述这点以外，还指出李冶已完善地解决了由两事而解勾股形的问题，还对洞渊九容提出一些新见解。