刘徽：数而求穷者，不用筹算，谓以情推！ 庄子：一尺之棰，日取其半，万世不竭。 刘徽：割圆术、弧田术、求其微数、阳马术 阳马：鳖臑=2：1 “置余广袤高之数各半之，则四分之三又可知也。半之弥少， 其余弥细，至细曰微，微则无形。由是言之，安取余哉。 数而求穷之者，谓以情推，不用筹算