刘徽
中国魏晋间伟大的数学家,中国古典数学理论的奠基者之一.刘徽公元263年注《九章算术》.他全面证明了《九章算术》的方法和公式,指出并纠正了其中的错误,在数学方法和数学理论上作出了杰出的贡献.刘徽创造性的运用极限思想证明了圆面积公式及提出了计算圆周率的方法.
他用割圆术,从直径为2尺的圆内接正六边形开始割圆,依次得正12边形、正24边形……,割得越细,正多边形面积和圆面积之差越小,他计算了3072边形面积并验证了这个值.刘徽提出的计算圆周率的科学方法,奠定了此后千余年中国圆周率计算在世界上的领先地位.
刘徽在数学上的贡献极多,在开方不尽的问题中提出“求徽数”的思想,这方法与后来求无理根的近似值的方法一致,它不仅是圆周率精确计算的必要条件,而且促进了十进小数的产生;在线性方程组解法中,他创造了比直除法更简便的互乘相消法,与现今解法基本一致;并在中国数学史上第一次提出了“不定方程问题”;
他还建立了等差级数前n项和公式;提出并定义了许多数学概念:如幂(面积);方程(线性方程组);正负数等等.刘徽还提出了许多公认正确的判断作为证明的前提.他的大多数推理、证明都合乎逻辑,十分严谨,从而把《九章算术》及他自己提出的解法、公式建立在必然性的基础之上.虽然刘徽没有写出自成体系的著作,但他注《九章算术》所运用的数学知识实际上已经形成了一个独具特色、包括概念和判断、并以数学证明为其联系纽带的理论体系.