试论梅文鼎球面余弦定理及符号判定法

探寻梅文鼎(1633—1721)《环中黍尺》中的球面余弦定理及符号判定法。《环中黍尺》中所载"加减约法"针对当时余弦值为正而产生的符号改变问题所设,结论正确,但誊写有误。梅文鼎给出数种余弦定理的正确证明法,并指出每种算法在符号判定、数值查询、计算简便等方面的特点。他综合诸法优势得出"加减捷法",由此阐明《测量全义》卷九中算式的数学原理,而该法符号判定及特殊条件下算法变化均正确,戴震"矢较法"实不出梅氏范围。至此,明末传入的球面余弦定理得到圆满解决。