“平行四边形？这是……

哦，就是将长方形拉开呀！”

姜子淳在灵魂空间中自己虚拟了一个长方形，然后拉着试了下，确实可以拉开。

而且对边也是平行的。

嗯这个平行，按照书上的说法就是能平移的意思。

这个姜子淳还是能看懂的。虽然她目前不知道这个平行四边形有啥用？

而且这里还说正方形和长方形的两个对边也是平行的。

接下来就是这个面积公式的证明部分。

“割补法？

将平行四边形的一个角割掉，然后补到另一边，凑成一个长方形，这样就可以按照前面的公式来计算了。”

“这样确实可以。很好理解。”

姜子淳点了点头。

虽然书上还说了一句话，说这里便还有一个前提条件，那就是一个图形的面积是其各个组成部分面积之和。

也说其实在求证长方形的时候就已经用到了这个条件。

不过看到此处，姜子淳突然想起前面的几个图形，先是正方形，然后是长方形，再然后是平行四边形。

“这好像是一步步推导过来的。

如果我没猜错的话，下一步肯定是要用平行四边形了。”

紧接着她看向了下一个图形——三角形。

“果然是这样。用两个相同的三角形来拼接出一个平行四边形。这样就可以求出三角形的面积了。”

看到书上的内容跟自己推测的一样，姜子淳露出了开心的笑容。

那么下一步就是用这个三角形来推演了。

她觉得自己可能已经把握住了这本书的方向了。

“诶，后面还有为什么两个相同的三角形可以拼接出平行四边形的证明。这个我倒要好好看看，到底是怎么证明的。”

给出任意三角形的面积公式后，这《几何》书中还介绍了其他计算方法。

比如秦九韶的“三斜求积术”，这个只要知道三条边的边长就可以通过计算求出三角形的面积。

此处，路明远将其重新整理了一番，改为了用数学语言描述，并且给出了证明过程。

当然，这里面运用了直角三角形的勾股定理。

即直角三角形斜边平方等于两直角边平方之和。

当然啦，这个勾股定理也是要证明的。

这里路明远先是用了最容易理解的“加菲尔德证法变式”。

也就是用直角三角形的两条直边之和为边长，拼接出一个正方形，里面的斜边也组成了一个小的正方形。

这样运用前面的三角形面积公式和正方形面积公式就可以很自然的求出勾股定理了。

看到此处，姜子淳顿时惊呼出声来：

“还能这么证？这么简单？

而且里面竟然也用到了代数的知识。看来这代数和几何的关系比我想象的深多了。”

此时，她似乎想起了自己当初学“青朱出入图”的恐惧。

当时那幅图上的朱方和青方可把她都给看晕了，什么青出、青入、朱出、朱入的？可晕了。她当初学了好久才彻底学通。

但是此时看到这个更直观一点的，姜子淳才一下子恍然大悟。

“不过上面说证明的方法还有很多很多，之后我也试试！”

看到此处，姜子淳自然跃跃欲试，如果自己发明了一种新的证明方法，那岂不是可以名传万古了？

单是想想姜子淳都觉得激动。

如果她所料不错的话，这勾股定理的证明以后肯定是一个大热门。

对于自己的直觉，姜子淳可是很有信心的。

有了三角形的面积公式，那么接下来就可以很轻松的计算出任意多边形的面积了。

甚至据此，也可以推导出圆的面积公式。

“这运用的是割圆术？”

看到书上运用圆的内接正多边形的方式来无限逼近圆的面积，姜子淳一下子就看出了对方所用的方法。

毕竟刘徽先生的“割圆术”可是和出名的。书院的算术课上自然也会教这些。

当然，每年也有很多学生都会挂在这上面。

此处证明的时候，用的是内接正多边形和外接正多边形来从两个方面逼近，最后算出当边无穷大的时候，两个的极限值相等，而这也就是圆的面积。

毕竟可以很轻松的看出，圆的面积是一定大于内接正多边形而小于外接正多边形的。

此时两者的值唯一了，那自然就是圆的面积了。

“原来是这样啊！我懂了！”

姜子淳点了点头。

“诶，等等，佚名大师这里好像也用了无穷大，那这么说，我的那个想法确实可以喽！”

看到此处，姜子淳想起了刚才他们小组还在讨论的(1/2)^n问题。

她顿时感觉自己和大师有了一种灵魂上的想