数学日历

公元263年刘徽提出割圆术，用圆内接正多边形逼近圆面积来计算π，割到正3072边形得3.1416。但割圆术真正的贡献不是这个数，而是给《九章算术》里那句没有证明的话——半周半径相乘得积步——补上了证明。他是给一个算法补证明的人。