第135章 这还需要证明这还能证明（1 / 2）
“平行四边形？这是……
哦，就是将长方形拉开呀！”
姜子淳在灵魂空间中自己虚拟了一个长方形，然后拉着试了下，确实可以拉开。
而且对边也是平行的。
嗯这个平行，按照书上的说法就是能平移的意思。
这个姜子淳还是能看懂的。虽然她目前不知道这个平行四边形有啥用？
而且这里还说正方形和长方形的两个对边也是平行的。
接下来就是这个面积公式的证明部分。
“割补法？
将平行四边形的一个角割掉，然后补到另一边，凑成一个长方形，这样就可以按照前面的公式来计算了。”
“这样确实可以。很好理解。”
姜子淳点了点头。
虽然书上还说了一句话，说这里便还有一个前提条件，那就是一个图形的面积是其各个组成部分面积之和。
也说其实在求证长方形的时候就已经用到了这个条件。
不过看到此处，姜子淳突然想起前面的几个图形，先是正方形，然后是长方形，再然后是平行四边形。
“这好像是一步步推导过来的。
如果我没猜错的话，下一步肯定是要用平行四边形了。”
紧接着她看向了下一个图形——三角形。
“果然是这样。用两个相同的三角形来拼接出一个平行四边形。这样就可以求出三角形的面积了。”
看到书上的内容跟自己推测的一样，姜子淳露出了开心的笑容。
那么下一步就是用这个三角形来推演了。
她觉得自己可能已经把握住了这本书的方向了。
“诶，后面还有为什么两个相同的三角形可以拼接出平行四边形的证明。这个我倒要好好看看，到底是怎么证明的。”
给出任意三角形的面积公式后，这《几何》书中还介绍了其他计算方法。
比如秦九韶的“三斜求积术”，这个只要知道三条边的边长就可以通过计算求出三角形的面积。
此处，路明远将其重新整理了一番，改为了用数学语言描述，并且给出了证明过程。
当然，这里面运用了直角三角形的勾股定理。
即直角三角形斜边平方等于两直角边平方之和。
当然啦，这个勾股定理也是要证明的。
这里路明远先是用了最容易理解的“加菲尔德证法变式”。
也就是用直角三角形的两条直边之和为边长，拼接出一个正方形，里面的斜边也组成了一个小的正方形。
这样运用前面的三角形面积公式和正方形面积公式就可以很自然的求出勾股定理了。
看到此处，姜子淳顿时惊呼出声来：
“还能这么证？这么简单？
而且里面竟然也用到了代数的知识。看来这代数和几何的关系比我想象的深多了。”
此时，她似乎想起了自己当初学“青朱出入图”的恐惧。
当时那幅图上的朱方和青方可把她都给看晕了，什么青出、青入、朱出、朱入的？可晕了。她当初学了好久才彻底学通。
但是此时看到这个更直观一点的，姜子淳才一下子恍然大悟。
“不过上面说证明的方法还有很多很多，之后我也试试！”
看到此处，姜子淳自然跃跃欲试，如果自己发明了一种新的证明方法，那岂不是可以名传万古了？
单是想想姜子淳都觉得激动。
如果她所料不错的话，这勾股定理的证明以后肯定是一个大热门。
对于自己的直觉，姜子淳可是很有信心的。
有了三角形的面积公式，那么接下来就可以很轻松的计算出任意多边形的面积了。
甚至据此，也可以推导出圆的面积公式。
“这运用的是割圆术？”
看到书上运用圆的内接正多边形的方式来无限逼近圆的面积，姜子淳一下子就看出了对方所用的方法。
毕竟刘徽先生的“割圆术”可是和出名的。书院的算术课上自然也会教这些。
当然，每年也有很多学生都会挂在这上面。
此处证明的时候，用的是内接正多边形和外接正多边形来从两个方面逼近，最后算出当边无穷大的时候，两个的极限值相等，而这也就是圆的面积。
毕竟可以很轻松的看出，圆的面积是一定大于内接正多边形而小于外接正多边形的。
此时两者的值唯一了，那自然就是圆的面积了。
“原来是这样啊！我懂了！”
姜子淳点了点头。
“诶，等等，佚名大师这里好像也用了无穷大，那这么说，我的那个想法确实可以喽！”
看到此处，姜子淳想起了刚才他们小组还在讨论的(12)^n问题。
她顿时感觉自己和大师有了一种灵魂上的想通。
意识到这一点的同时，她也更加坚定了自己的想法。
不过看到接下来一段话的时候，姜子淳突然感慨了一句：“这简直无处不在证明啊！”
只见书中写道：关于圆为什么会有内接正多边形和外接正多边形，后面第157页会有证明。
看到此处，不用看后面的，姜子淳也可以知道这本书接下来的内容了，肯定大部分都是证明。而且还是一步一步的。
说实话，这跟她以前看的书全然不同。
以前的书里只是说一下应该怎么样怎么样，或者说我觉得怎么样怎么样。
但是这本书不同，现在你只要理解了第一步，那么以后的哪些知识都可以通过严密的逻辑推导出来。
姜子淳有些理解为什么佚名大师这么推崇他的这本书了。
这简直就是理性的关辉啊！
当初她看那本数学的时候都没有这么强烈的感觉。
“或许，大师这本书要告诉我们的根本就不是这些知识，而是这种方法！这个理念！”
恍然间，姜子淳的心中有了一种直觉。
而且她也觉得自己已经摸到了这本书的真谛。
“或许，这就是大师前面说的演绎法吧？”
紧接着，书中又介绍了一种新的圆面积推导方法。
这种方法通过“化曲为直”，将圆形分成若干等份，剪开后，用这些近似的等腰三角形拼接成平行四边形。
然后再根据上面的公式得出，圆的面积等于周长的一半乘以半径。
其实就是小学老师教的那种方法。
至于这里面用到了圆的周长，书里也通过割圆术“内外夹逼”的方法给出了证明。
“好吧，原来这里还要证明圆的周长大于内接正多边形，却小于外切正多边形啊！
刘徽先生当时好像没证明，直接给用了。”
不过就算是这样，也丝毫不影响姜子淳对刘徽先生的崇拜啊！
毕竟这都过了两三百了，还是没有人发觉这点，甚至也没有人给出其他的计算方法，这可不就证明了刘先生太厉害了嘛！
相信刘先生能看到这本《几何》，也会心中生出无限宽慰吧！
“不过大师居然建议我们计算π的值，这个我待会儿也得试试。”
姜子淳倒是想知道她自己能算到哪一步？
按照内接正多边形确认下界，外切确定上界的方法，她应该能算到十数位吧？
至于将π值算尽？