1066年，宋朝的河中府地方（今山西永济县）发生了一次大洪水。汹涌的河水冲断了河中府的一座浮桥，连8只用来固定浮桥的几万斤重的大铁牛也被冲到下游，陷到淤泥里去了。
洪水退去之后，铁牛还沉在河底，要修复这座浮桥，就得把铁牛捞出来。
怎么把有万斤重的铁牛捞上来呢？官府贴出了“招贤榜”，招请能把铁牛从河里捞出来的“贤人”。榜前围了好多人，大家议论纷纷，谁有那般神力？忽然有一个人，伸手把“招贤榜”揭了下来，大家一看，揭榜的人并不是什么大力士，只是个普普通通的和尚。有人问那和尚是不是要用“法术”请“神仙”来助他一臂之力？那和尚不慌不忙地微笑着说：“铁牛是被水冲走的，我就叫水把铁牛送回来。”
那和尚是怎样叫水把铁牛送回来的？他是用了什么“法术”？
那和尚先是让人找来两艘大木船，把大船拴在一起，装满河沙，并且在两艘船上搭了结实的木架。然后他亲自带人，把船划到铁牛沉没的地方，派人潜入水底，用绳索牢牢地绑住铁牛。绳子另一头拴在木架上。
等一切安排妥当后，和尚招呼大家把船上的泥土一锹一锹地扔到河里。船上的沙子一点一点地减少了，船身一点一点地往上浮。同时铁牛也一点一点地往上提。
最后，那几万斤重的铁牛终于被从淤泥里拔了出来，船回到了原来的位置。
那个聪明的和尚就是我国古代的工程家怀丙。他“请”的“大力神”就是水的浮力，他用的“法术”便是阿基米德定律。装满河沙的大船很沉，吃水很深，排开的水很多，向上的浮力与大船和河沙的总重量相等。把河沙扔掉以后，浮力就大于船的重量了，船应当向上浮，可是又被那铁牛拖住了。于是，“大力神”便去拉铁牛了。扔出的河沙越多，多余的浮力就越大。当那浮力超过铁牛在水中的重量和淤泥对它的阻力时，铁牛就离开了河底，船就可以拖着它在河里前进了。
其实，怀丙的方法一直沿用到现代。
每当沉重的轮船或其他重物沉到海底时，人们先把打捞工程船开到沉船的地方，利用体积很大的密封钢筒——浮筒来打捞。打捞时，先往浮筒里灌满水，让浮筒沉下去，潜水员也潜入海底，用钢缆把浮筒拴牢在沉船上。一切准备妥当了，再开动空气压缩机把筒里的水排出去，就像怀丙和尚把河沙扔出去一样，利用巨大的浮力把沉船捞上来。
