刘徽,魏晋期间伟大的数学家,中国古典数学理论的奠基人之一。在中国数学史上作出了极大的贡献,他的杰作《九章算术注》和《海岛算经》,是中国最宝贵的数学遗产。刘徽思想敏捷,方法灵活,既提倡推理又主张直观。他是中国最早明确主张用逻辑推理的方式来论证数学命题的人。刘徽的一生是为数学刻苦探求的一生。他虽然地位低下,但人格高尚。他不是沽名钓誉的庸人,而是学而不厌的伟人,他给我们中华民族留下了宝贵的财富。
《九章算术》约成书于东汉之初,共有246个问题的解法。在许多方面:如解联立方程,分数四则运算,正负数运算,几何图形的体积面积计算等,都属于世界先进之列。刘徽在曹魏景初四年注《九章算术注》。
但因解法比较原始,缺乏必要的证明,刘徽则对此均作了补充证明。在这些证明中,显示了他在众多方面的创造性贡献。他是世界上最早提出十进小数概念的人,并用十进小数来表示无理数的立方根。在代数方面,他正确地提出了正负数的概念及其加减运算的法则,改进了线性方程组的解法。
在几何方面,提出了”割圆术”,即将圆周用内接或外切正多边形穷竭的一种求圆面积和圆周长的方法。他利用割圆术科学地求出了圆周率π=3.1416的结果。他用割圆术,从直径为2尺的圆内接正六边形开始割圆,依次得正12边形、正24边形……,割得越细,正多边形面积和圆面积之差越小,用他的原话说是“割之弥细,所失弥少,割之又割,以至于不可割,则与圆周合体而无所失矣。”他计算了3072边形面积并验证了这个值。刘徽提出的计算圆周率的科学方法,奠定了此后千余年来中国圆周率计算在世界上的领先地位。
刘徽在数学上的贡献极多,在开方不尽的问题中提出“求徽数”的思想,这方法与后来求无理根的近似值的方法一致,它不仅是圆周率精确计算的必要条件,而且促进了十进小数的产生;在线性方程组解法中,他创造了比直除法更简便的互乘相消法,与现今解法基本一致;并在中国数学史上第一次提出了“不定方程问题”;
他还建立了等差级数前n项和公式;提出并定义了许多数学概念:如幂(面积);方程(线性方程组);正负数等等.刘徽还提出了许多公认正确的判断作为证明的前提.他的大多数推理、证明都合乎逻辑,十分严谨,从而把《九章算术》及他自己提出的解法、公式建立在必然性的基础之上。虽然刘徽没有写出自成体系的著作,但他注《九章算术》所运用的数学知识,实际上已经形成了一个独具特色、包括概念和判断、并以数学证明为其联系纽带的理论体系。