这就得到上述公式。

按《海岛》共九题都属测望之类，所得公式分母上都有两测的差，“重差”这一名称可能由此而来。其余八题公式都可依出入相补原理用和上面类似的方法证明，现在从略。

元朱世杰《四元玉鉴》中有和《海岛》完全类似的几个题，朱世杰对这些题的解法应该有古代相传下来的一定来历。依据朱对海岛一题的解法，我们认为原证比上面所示的可能稍复杂一些。如下页的图，现在重作证明如下:

由出入相补原理，除(1)、(2)外又有

□PG=□GD， (3)

由(1)、(2)、(3)得

□IN=□EB=□KE

所以 MI=DH， (4)

   FM=FI-MI=FI-DH=表目距的差。