中国古代数学家刘徽在《九章算术注》中,称一个正方体内两个互相垂直的内切圆柱所围成的立体为“牟合方盖”,如图(1)(2).刘徽未能求得牟合方盖的体积,直言“欲陋形措意,惧失正理”,不得不说“敢不阙疑,以俟能言者”.约200年后,祖冲之的儿子祖暅提出“幂势既同,则积不容异”,后世称为祖暅原理,即:两等高立体,若在每一等高处的截面积都相等,则两立体体积相等,如图(3)(4).
已知八分之一的正方体去掉八分之一的牟合方盖后的剩余几何体与长宽高皆为八分之一正方体棱长的倒四棱锥“等幂等积”,祖暅由此推算出牟合方盖的体积.据此可知,若正方体的棱长为1,则其牟合方盖的体积为.