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