“今有望海岛，立两表齐高三丈，前后相去千步，今后表与前表参相直。从前表却行123步，人目著地取望岛峰，与表末参合。从后表却行一127步，人目著地取望岛峰，亦与表末参合。问岛高及去表各几何。”按现代数学浯言译出，就是：“为了求出海岛上的山峰AB的高度，在D和E处树立标杆DC和EF，标杆高都是3丈，两标杆相距1000步，AB、CD和EF在同一平面内。从标杆DC退后123步到G点，看到岛峰A和标杆顶端C在一条直线上；从标杆FE退后127步到H点，也看到岛峰A和标杆顶端正在一条直线上。求岛峰高AB及水平距离BE。”
为解此题，可令标杆高为h，两标杆的距离为d，第一次退a1，第二次退a2。又设岛高为x，BE为y。
按刘徽的作法是，作EL∥AG交BH于L点。
∵△ELH～△ACE
△EHF～△AEK
∴ECHL=AEEH·AEEH=AKEF
∴ECHL=AKEF
已知EC=DF=d，HL=FH-FL=FH-DG=a2-a1，EF=h，可得：
da2-a1=AKh，AK=da2-a1h
x=AK+h=da2-a1h+h
又∵△CDG～△AKC
∴KCDG=AKCD
已知KC=yDG=a1AK=da2-a1hCD=h所以
ya1=da2-a1hh
y=da2-a1a1
在上面公式里da2-a1是两个差数之比，所以叫重差术，也有人说因为两次用的差a2-a1，所以叫重差。
刘徽也得到了上面的公式，其公式为：
岛高=表高×表间后表却行-前表却行+表高
其中“表”就是标杆，“却行”就是后退。
将“海岛算经”第一题的数据代入公式，可得x=1506步，y=30750步。
“海岛算经”本来不独立成书，是附在《九章算术》中“勾股”章后面的一个附录，主要讲用勾股定理进行测量的补充和发展。到公元7世纪唐朝初年，才从《九章算术》中抽出来成为一部独立著作。因为第一题是关于测量海岛的高和远，所以起名《海岛算经》。
现传本《海岛算经》的九个问题中，有三个问题需要观测两次；有四个问题要观测三次；还有两个问题要观测四次。所有的观测和计算，都是应用相似三角形对应边成比例进行的，虽然没有引入三角函数，但是利用线段之比，同样可得结果。
重差术是我国数学上的一个创造。
球体积的证明
刘徽在注《九章算术》时，研究了球体积公式。在《九章算术》中，提出了V=916d2的球体积计算公式。从这个公式可以看出，当时把足球的体积作为它的外切立方体体积的916倍来计算的，其中“9”实际表示π2，因那时人们经常取π=3进行计算。刘徽首先看出了其中的错误。他发现了一种有趣的立体图形，并把它叫做“牟合方盖”。牟，相等；盖，伞。“牟合方盖”是指两个半径相同，且两轴相互垂直相交的圆柱的公共部分。由于其形状就像把两个方口圆顶的伞对合在一起，故取名为“牟合方盖”。刘徽指出球体积应该等于外切于它的一个牟合方盖体积的π4倍，即V球=π4V牟因此，计算球体积的问题归结为计算V牟的问题，但刘徽一直没有找到求“牟合方盖”的体积办法。他坦率地说：“欲陋形措意，惧失正理。敢不阙疑？以俟能言者。”希望后世能干的学者能尽快解决。
眼下暂且不谈后世学者的事，先讲讲读者关心的问题：刘徽是怎样想到这种有趣的图形的？有人说，因为他曾经长时期使用过一种方口圆顶的斗笠，从中受到启发。这种开玩笑的说法是没有根据的。数学史家推测，他是应用了类推法。
刘徽研究《九章算术》时曾发现：圆柱、圆锥、圆台的体积分别与同高的外切方柱、方椎、方台的体积之比，等于同高处横截面面积之比，即π∶4。刘徽认为，球体的体积可以通过其他容易求出体积的立体来表示，只要这个立体与球体在同高处的截面面积之比处处相等就可以了。
由于刘徽将球体看作是从圆柱到圆台这一变化过程的继续，因此所要寻找的立体，也应该是从方柱到方台这一变化过程的继续，而且它的截面既应是正方形的，又该与球同高处的截面——圆的面积之比恒为π∶4；这一立体应该是一个中心对称的，且对称中心截面面积为最大，而且截面分别向上、下逐渐缩小的立体。
另外，根据《九章算术》将球体放在外切圆柱及外切立方体之中考察的启发，刘徽醒悟到这立方体应该是内切于立方体的两个直交圆柱的所围部分，即“牟合方盖”了。
“牟合方盖”的发现是一个很了不起的成就，这反映了刘徽已经不是单纯地停留于经验总结，他已经采用了辩证的思维形式。
刘徽之后200多年，他所期望的“能言者”果真出现，那就是祖冲之和他的儿子祖（又名祖之）。祖也是博学多才的数学家，从小就懂得孝敬父母，勤奋学习。传说，在祖冲之临终的时候，祖发誓要继承发扬他父亲的成就，一定要让皇帝采纳《大明历》，还说每年祖总要给他父亲上坟，向他父亲的在天之灵汇报读书、研究心得。后来，他果真实现了自己的誓言。祖的主要工作是对《级术》进行修改、补充，有人还认为《级术》是由祖冲之和祖合著的。祖冲之在与戴法兴辩论时曾指出张衡盲从古人，沿用了《九章算术》中错误的球体积公式。看来，祖冲之已经得到了正确的球体积计算公式。但是唐朝李淳风在注《九章算术》时，又说所引用求球体积的方法是祖的。现在人们推测很可能是，祖冲之已经明确地知道以前的球体积公式是错误的，并且找到了正确的球体积公式，而祖则将它清晰地表达出来，并给出了严格的证明。
祖冲之、祖父子，运用“祖原理”获得球体积公式。所谓祖原理，是指“夹在两个平行平面间的两个立体，被平行于这两个平面的任何平面所截。如果它们的截面面积总相等，那么这两个立体的体积相等”。
西方数学书上称这一原理为“卡瓦列里定理”，他们认为是17世纪时意大利数学家卡瓦列里于1635年最早发现的。实际上，祖早于卡瓦列里1100多年前就发现了。
祖原理的原文是：“幂势既同，则积不容异。”按现在的话来说，即：二同高的立体，如在等高处的截面积相等则体积也相等。该文原载于祖冲之、祖父子撰写的《缀术》一书，《缀术》已失传。唐朝数学家李淳风作《九章算术》注时，把祖原理及祖的由球体积求直径的“开立圆术”引用了进去，这才使这一发明得以流传下来。
祖继承了刘徽未完成的事业，求出了“牟合方盖”的体积，从而得到球体积公式。他是这样做的：
取牟合方盖（简称“方盖”）的1／8，如图（a），设圆柱半径为R。
作一距底面h的平面交方盖，得一正方形PQMN（用阴影表示），其边长为a，则有a2=R2-h2另作一棱长为R的正方体，如图（b），且使它的底面A1B1C1D1，与方盖的底ABCD在同一平面上。从正方体中挖去一个倒立的四棱锥，得到一个新几何体G。作一距底面为A的截面，交G得一曲尺形截面（图（b）中阴影表示），其面积为R2-h2=a2。
由祖原理，方盖的18与G等积，而G的体积=R3-13R2×R=23R3。
所以，牟合方盖的体积V牟=8×23R3=163R3。
再由刘徽的公式，即可求得：
V球=π4V牟=π4×164R3=43πR3
这个球体积公式是数学史上的一个巨大成就，也是我们中华民族对世界科学的伟大贡献。
祖原理还可以推广为：“夹在两平行平面间的两个立体，被平行于这两个平面的任一平面所截，如果它们的截面面积的比恒为一定值，那么这两个立体的体积之比也等于这个定值。