第135章 这还要证明？这还能证明？(第4/7页)
至于这里面用到了圆的周长，书里也通过割圆术用“内外夹逼”的方法给出了证明。
“好吧，原来这里还要证明圆的周长大于内接正多边形，却小于外切正多边形啊！
刘徽先生当时好像没证明，直接给用了。”
不过就算是这样，也丝毫不影响姜子淳对刘徽先生的崇拜啊！
毕竟这都过了八九百年了，还是没有人发觉这点，甚至也没有人给出其他的计算方法，光是这一点，就足以说明刘先生的厉害程度了！
而且姜子淳也相信，如果刘先生能看到这本《几何》，看到自己发明的方法被后人发扬光大，也会生出无限的宽慰！
“不过大师居然建议我们计算π的值，看谁算的更精确，位数更多，这个将来我也得试试。
肯定很好玩。”
此时此刻，姜子淳也想知道她自己到底能算到哪一步？
按照内接正多边形确认下界，外切确定上界的方法，她觉得自己少说也能算到十数位吧？
至于将π值算尽？
这就不是有没有信心的问题了，而是能不能办到的问题。
毕竟根据割圆术来看，π肯定有无限多位，要不然它就不是圆而是一个多边形了。
接下来，《几何》书中又按照刚才的那种方法推演出了各种图形的体积。
正方体，长方体，四棱锥，甚至任意多面体，圆柱体……
还有最后的球体。
在这之后，书中才开始介绍点线面，还有角度，平行线，坐标系，自然这也就引出了几何图形的方程，即直线方程，圆的方程等等。
灵魂空间中，姜子淳越看，眼睛也就越发明亮。
特别是看到其中关于点线面的定义部分，她更是对“数学是人为定义的”这句话有了更深的理解。
因为这些点线面都是理想中的模型，是现实根本不可能会存在的假想模型。
比如：
点是不可分割的、没有部分的东西；
线是无宽度的长度；
线段的两端是点；
直线是点沿着一定方向和其相反方向的平铺；
面只有长度和宽度，但却没有厚度；等等。
这些很明显都是在定义理想化模型。
姜子淳敢拿自己的人格作保证，这些东西在现实中肯定是不存在的。
（本章未完，请点击下一页继续阅读）