以下全是凑字数的——
几何《九章算术》总结了生产、生活实践中大量的几何知识,在方田、商功和勾股章中提出了很多面积、体积的计算公式和勾股定理的应用。九章算术《九章算术》方田章主要论述平面图形直线形和圆的面积计算方法。《九章算术》方田章第一题“今有田广十五步,从(音纵zong)十六步。问为田几何。”“答曰:一亩”。这里“广”就是宽,“从”即纵,指其长度,“方田术曰:广从步数相乘得积步,(得积步就是得到乘积的平方步数)以亩法二百四十步(实质应为积步)除之,即亩数。百亩为一顷。”当时称长方形为方田或直田。称三角形为圭田,面积公式为“术曰:半广以乘正从”。这里广是指三角形的底边,正从是指底边上的高,刘徽在注文中对这一计算公式实质上作了证明:“半广者,以盈补虚,为直田也。”“亦可以半正从以乘广”(图1-30)。盈是多余,虚乃不足。“以盈补虚”就是以多余部分填补不足的部分,这就是中国古代数学推导平面图形面积公式所用的传统的“出入相补”的方法,由上图“以盈补虚”变圭田为与之等积的直田,于是得到了圭田的面积计算公式。方田章第二十七、二十八题把直角梯形称为“邪田”(即斜田)它的面积公式是:“术曰:并两邪(即两斜,应理解为梯形两底)而半之,以乘正从……,又可半正从……以乘并。”刘徽在注中说明他的证法仍是“出入相补”法。在方田章第二十九、三十题把一般梯形称为“箕田”,上、下底分别称为“舌”、“踵”,面积公式是:“术曰:并踵舌而半之,以乘正从”。至于圆面积,在《九章算术》方田章第三十一、三十二题中,它的面积计算公式为:“半周半径相乘得积步”。这里“周”是圆周长,“径”是指直径。这个圆面积计算公式是正确的。只是当时取径一周三(即π≈3)。于是由此计算所得的圆面积就不够精密。《九章算术》商功章收集的都是一些有关体积计算的问题。但是商功章并没有论述长方体或正方体的体积算法。看来《九章算术》是在长方体或正方体体积计算公式:V=abc的基础上来计算其他立体图形体积的。《九章算术》商功章提到城、垣、堤、沟、堑、渠,因其功用不同因而名称各异,其实质都是正截面为等腰梯形的直棱柱,他们的体积计算方法:“术曰:并上、下广而半之,以高若深乘之,又以袤乘之,即积尺”。这里上、下广指横截面的上、下底(a,b)高或深(h),袤是指城垣……的长(l)。因此城、垣…的体积计算术公式V=1/2(a+b)h.图1 堑堵刘徽在注释中把对于平面图形的出入相补原理推广应用到空间图形,成为“损广补狭”以证明几何体体积公式。刘徽还用棋验法来推导比较复杂的几何体体积计算公式。所谓棋验法,“棋”是指某些几何体模型即用几何体模型验证的方法,例如长方体本身就是“棋”[图1-32(1)]斜解一个长方体,得两个两底面为直角三角形的直三棱柱,中国古代称为“堑堵”(如图1),所以堑堵的体积是长方体体积的二分之一。《九章算术》商功章还有圆锥、圆台(古代称“圆亭”)的体积计算公式。甚至对三个侧面是等腰梯形,其他两面为勾股形的五面体[图1-33(1)],上、下底为矩形的拟柱体(古代称“刍童”)以及上底为一线段,下底为一矩形的拟柱体(古代称“刍甍”)(“甍”音“梦”)等都可以计算其体积。