天下书楼
会员中心 我的书架

第I部分 论用于此后证明的最初比和最终比方法

(快捷键←)[上一章]  [回目录]  [下一章](快捷键→)

引理 i

诸量,以及量的比,它们在任何有限的时间总趋于相等,在时间结束之前它们彼此之间比任意给定的差更接近,最终它们成为相等。

如果你否认,则它们最终成为不相等,且它们最终的差变成d。那么,对于相等性它们就不能比给定的差d更为接近:与假设相反。

引理 ii

如果在直线aa,ae和曲线ace围成的任意图形aace中,内接相等的底边ab,bc,cd,等等,与图形的边aa平行的边bb,cc,dd,等等包含的任意数目的平行四边形ab,bc,cd,等等;并补足平行四边形akbl,blcm,cmdn,等等。此后如果平行四边形的宽度减小且其数目增加以至无穷:我说,内接图形akblcmdd,外接图形aalbmcndoe,以及曲线形aabcde彼此之间的比,是等量之比。

因为内接图形和外接图形之差是平行四边形kl,lm,mn,do的和,这就是(由于所有的底相等)一个底kb和高的和aa之下的矩形,亦即,矩形abla。但这个矩形,其宽度ab无限减小,变得小于任何给定的矩形。所以(由引理i)内接图形和外接图形,并且居于它们中间的曲线形最终相等。此即所证 (8) (q.e.d.)。

引理 iii

当平行四边形的宽度ab,bc,cd,等等不相等,但都减小以至无穷时,同样的最终比也是等量之比。

因为设af等于最大宽度,并补足平行四边形faaf。这个平行四边形大于内接图形和外接图形之差;但它的宽度af被减小以至无穷,它将变得小于任意给定的矩形。此即所证 。

系理1 因此,那些正消失的平行四边形的最终和与曲线形的所有部分重合。

系理2 并且直线形,它被将要消失的弧ab,bc,cd,等等的弦包围,最终与曲线形重合。

系理3 内接直线形,当被相同的弧的切线包围时是一样的。

系理4 因此,这些最终的图形(相对于周线ace)不再是直线形,而是直线形的曲线形极限。

引理 iv

如果在两个图形aace,pprt中,内接(如同上面)两组平行四边形,二者数目一样,且当宽度减小以至无穷时,一个图形中的平行四边形比另一个图形中的平行四边形的最终比,一个对一个,是相同的;我说,这两个图形aace,pprt彼此按照那个相同的比。

因为[在一个图形中的]一个平行四边形比[在另一个图形中对应的]一个平行四边形,如同(由复合)[在一个图形中平行四边形的]总和比[在另一个图形中平行四边形的]总和,并且如同一个图形比另一个图形[按照等量之比];因为前一图形(由引理iii)比前一和,以及后一图形比后一和,按照等量之比。此即所证 。

系理 因此,如果两种任意类型的量按同样的份数被任意划分,那些部分在数目增加且它们的大小减小以至无穷时,彼此之间保持给定的比,第一个对第一个,第二个对第二个,其余的按顺序对其余的:则整个部分彼此之间按照那个相同的给定的比。因为,如果在这个引理的图形中,平行四边形被取得彼此如同[量的]部分,则部分之和总如同矩形之和;因此,当部分及平行四边形的数目增加且大小减小以至无穷时,部分和将按照[一个图形中的]平行四边形比[另一个图形中的]平行四边形的最终比,亦即(由假设)将按照[一个量中的]部分比[另一个量中的]部分的最终比。

引理 v

诸相似形的所有的边,无论是直线或是曲线,它们相互对应成比例:则面积按照边的二次比。

引理 vi

如果位置给定的任意弧acb所对的弦为ab,且在某点a,它在连续的曲率中间,被沿两个方向延伸的一条直线 (9) ad相切;此后点a,b彼此靠近并重合;我说,角bad,它被包含在弦和切线之间,被减小以至无穷并最终消失。

因为如果那个角不消失,弧acb和切线ad所含的角等于一个直线角,且所以曲率在点a不连续,与假设矛盾。

引理 vii

在同样的假设下,我说弧、弦和切线彼此的最终比是等量之比。

因为当点b靠近点a时,总认为ab和ad延长到在远处的点b和d,引bd平行于截段bd。又,弧acb总相似于弧acb。当点a,b重合时,由上一引理,角dab消失;且因此有限的直线ab,ad和居于它们中间的弧acb重合,所以相等。因此总与[ab,ad和acb]成比例的直线ab,ad,和居于它们中间的弧acb消失,且它们最终具有等量之比。此即所证 。

系理1 因此,如果通过b引平行于切线的[直线]bf与过a的任意直线交于f,这个bf与消失的弧acb的最终比为等量之比,因为如果补足平行四边形afbd,bf比ad总是等量之比。

系理2 如果通过b和a引另外的直线be,bd,af和ag与切线ad及其平行线bf相截,则所有线段ad,ae,bf和bg以及弦ab与弧ab彼此的最终比为等量之比。

系理3 因此,这些线段在任何关于最终比的论证中可以相互替换。

引理 viii

如果直线ar和br以及弧acb给定,它们与弦ab和切线ad构成三角形rab,racb和rad,如果a和b互相靠近,我说这些三角形它们消失时的最终形状相似,并且它们的最终比为等量之比。

因为当点b靠近点a时,总认为ab,ad,ar延长到在远处的点b,d和r,并引rbd平行于rd,且设弧acb总与弧acb相似。当点a,b重合时,角bad消失,所以三个总是有限的三角形rab,racb,rad重合,因此之故相似且相等。所以,总与[rab,racb,rad]相似且成比例的rab,racb,rad最终彼此相似且相等。此即所证 。

系理 且因此那些三角形,在所有关于最终比的论证中能互相代替。

引理 ix

如果直线ae和曲线abc的位置给定,它们相互截于一给定的角a,且以另一给定角向那条直线引作为纵标线的bd,ce,它们交曲线于b,c,然后点b和c同时向点a靠近:我说三角形abd,ace的面积最终彼此按照边的二次比。

确实当点b,c靠近点a时,总认为ad延长到在远处的点d和e,使得ad,ae与ad,ae成比例,并竖立与纵标线db,ec平行的纵标线db,ec交延长的ab,ac于b和c。引认为与abc相似的曲线abc,并引直线ag,它与两曲线在a相切,并截纵标线db,ec,db,ec于f,g,f,g。一方面保持ae的长度,另外点b,c与点a会合,且角cag消失,曲线形abd,ace与直线形afd,age的面积重合;因此(由引理v)将按照边ad,ae的二次比。但是面积abd,ace总与这些面积成比例,且边ad,ae总与这些边成比例。所以面积abd,ace最终按照边ad,ae的二次比。此即所证 。

引理 x

空间,它由受到一任意有限力推动的一个物体画出,无论那个力是确定的和不变的,或者持续增加或者持续减小,在运动刚开始时按照时间的二次比。

时间由线ad,ae表示,且所产生的速度由纵标线db,ec表示;这些速度画出的空间,如同这些纵标线所画出的面积abd,ace,这就是,运动刚开始时空间自身(由引理ix)按照时间ad,ae的二次比。此即所证 。

系理1 因此容易推知,当物体在成比例的时间画出相似图形的相似部分时的误差,它由任意相等的力类似地用于这些物体上产生,由物体离开相似图形的那些位置度量,同样的物体在没有这些力作用时在成比例的时间到达那些位置,很近似地如同产生它们的时间的平方。

系理2 但是误差,它由成比例的力类似地用于相似图形的相似部分上产生,如同力与时间的平方的联合。

系理3 同样可以知道物体在不同的力推动下所画出的任意的空间。它们当运动刚开始时,如同力与时间的平方的联合。

系理4 因此,当运动刚开始时,力与[物体]所画出的空间成正比且与时间的平方成反比。

系理5 又,时间的平方与[物体]所画出的空间成正比且与力成反比。

解释

如果不同种类的不定量彼此比较,并且说其中的某一个与任意另一个成正比或反比,意思是,或者前者与后者按相同的比增加或减小,或与后者的倒数按相同的比增加或减小。且如果说其中的一个与另外两个或多个成正比或反比;意思是,第一个按照一个比增加或减小,它由后者中某个的或者另一个的倒数的增大或减小的比复合而成。且如果说a与b成正比又与c成正比又与d成反比;意思是,a按照与b×c×(1/d)同样的比增加或减小,这也就是,a与(bc/d)的相互之比为给定的比。

引理 xi

在切点具有有限曲率的所有曲线中,切角消失时的对边,最终按照弧毗连的对边的二次比。

情形1 设ab为那条弧,其切线为ad,切角的对边bd垂直于切线,弧的对边为ab。竖立垂直于这个对边ab和切线ad的直线ag,bg,它们交于g;然后点d,b,g靠近点d,b,g,再设j为当点d,b最终到达a时直线bg,ag的交点。显然距离gj能小于任意指派的距离。又(由穿过点abg,abg的圆的性质)abquad. 等于ag×bd,且abquad. 等于ag×bd;由此abquad. 比abquad. 之比由来自ag比ag与比bd比bd的比复合而成。但因gj能取得小于任意指派的长度,使得ag比ag之比能成为与等量之比的差异小于任意给定的差的比,因此,abquad. 比abquad. 之比与bd比bd之比的差异小于任意给定的差。所以,由引理i,abquad. 比abquad. 的最终比与bd比bd的最终比相同。此即所证 。

情形2 现在bd以任意给定的角向ad倾斜,则bd比bd的最终比总与前者相同,且因此与abquad. 比abquad. 相同。此即所证 。

情形3 任意角d没有被给定,但直线bd往给定的一个点汇聚,或按任意其他的规则确定;毕竟角d,d按相同的规则确定,总倾向于相等且比任意给定的差更加靠近,由此由引理i它们最终相等,所以直线bd,bd的彼此之比与前面一样。此即所证 。

系理1 由于切线ad,ad,弧ab,ab以及它们的正弦bc,bc最终等于弦ab,ab;同样它们的平方最终如同[切角的]对边bd,bd。

系理2 它们的平方最终也如同弧的矢 (10) (arcus sagitta),它们平分弦并汇聚于一给定的点。因为那些矢如同[切角的]对边bd,bd。

系理3 且因此,矢按照时间的二次比,在此期间物体以一个给定的速度画出弧。

系理4 直线三角形adb,adb最终按照边ad,ad的三次比,且按照边db,db的二分之三次比;由于[这些三角形]按照边ad和db,ad和db的复合比。所以三角形abc和abc最终按照边bc,bc的三次比。我说的二分之三次比是三次比的平方根,即是来自简单比和[它的]二分之一次比的复合。

系理5 因为db,db最终平行并按照ad,ad的二次比:最终曲线形adb,adb的面积(由抛物线的性质)是直线三角形adb,adb面积的三分之二;且弓形ab,ab是同样的三角形的三分之一。并且这些[曲边形的]面积及这些弓形既按照切线ad,ad的三次比;又按照弦和弧ab,ab的三次比。

解释

然而,我们一直假设切角既不无限地大于也不无限地小于包含于圆和它们的切线的切角;这就是,在点a的曲率既不是无穷小又不是无穷大,或者间隔aj的长短是有限的。因db可取为如同ad3 :在此情形过点a不能画出在切线ad和曲线ab之间的圆,因此切角无限地小于圆的切角。由类似的论证,如果db相继取得如同ad4 ,ad5 ,ad6 ,ad7 ,等等,得到一个无穷延续的切角序列,其中任意后面的切角无限地小于前面的切角,且如果db相继取得如同ad2 , , , , ,等等,得到另一切角序,其中第一个与圆的切角是同类,第二个较圆的切角无限地大,且任意后面的切角较前面的切角无限地大。而且,在这些角中的任意两个之间能插入位于两者之间的,向两个方向延续以至无穷的切角序列。其中任意后面的切角较前面的切角无限地大或者无限地小。如在ad2 和ad3 项之间插入序列 , , , , , , , , ,等等。又,在此序列的任意两个角之间可插入一个新的位于两者之间的角序列,彼此由无穷多的间隔区分。自然可知这没有限度。

那些关于曲线及关于它们所包围的面的证明,易用于立体曲面及立体的容积。我先期给出这些引理,是为了避免按古代几何学家的方式,用归谬法导出冗长的证明。确实,由不可分方法证明可得以缩短。但因不可分假设过于粗糙,所以那种方法被认为更少几何味;我宁愿此后命题的证明由正消失的量(quantitantum evanescentium)的最终和及最终比以及初生成的量(quantitantum nascentium)的最初和及最初比导出,亦即,由和及比的极限导出;我给出那些极限尽可能简洁的证明,如预先说的。因为由此得到的结果,同样也由不可分法得到,现在那些原理已经得到证明,我们利用它们更为稳妥。因此,在此后每当我考虑由小部分构成的量时,或当我用短曲线代替直线时,我不愿它们被理解为不可分量,而愿它们总被理解为正消失的可分量;不要理解为确定的部分的比以及和,而总理解为和以及比的极限,且此类证明的力量总从属于前面引理的方法。

反对意见是,正消失的量不存在最终比,因为在量消失之前,比不是总终的,在已消失之时,比不再存在。但同样的论证适用于[说明]一个物体到达其运动停止时的特定位置时没有最终速度,因为在物体到达这个位置之前,其速度不是最终速度,当物体到达那里时,不再有速度。但[对此的]回答是容易的:物体的最终速度被理解为,它既不是在物体到达运动最终到达并停止的位置之前的,也不是在它到达那个位置之后的,而是正当它到达时的速度;亦即,物体到达最终位置并停止的那个速度。并且类似地,正消失的量的最终比被理解为不是它们消失之前或消失之后的比,而是它们正消失时的比。同样,初生成的量的最初比是它们被生成时的比。且最初和最终的和是它们正当开始和终止(或者增加或者减小)的和。存在一个极限,在运动之终可以达到,但不能超过。这就是最终速度。这对所有刚出现和将要终止的量和比的极限是一样的。又因为这个极限是一定的且有界限,确定它是真正的几何学问题。在确定和证明其他几何学问题时,可以合法地应用[古典]几何学中的一切。

也可能[这样提出]反对,如果正消失的量的最终比给定,它们最终的大小亦被给定,因此所有量由不可分量构成,这与欧几里得在《几何原本 》第十卷论不可通约量中证明的真理相反。但这种反对依赖一个错误的假设。那些最终比,随着它们量的消失,实际上不是最终量的比,而是无限减小的量的比持续靠近的极限,它们能比任意给定的差更加接近,但在量被减小以至无穷之前它们既不能超过,也不能达到[此极限]。这种事件用无穷大能被更清楚地理解。如果两个量,它们的差给定并被增加以至无穷,它们的最终比被给定,即为等量之比,但给出此比的最终的量或最大的量并没有被给定。为了使后面的内容易于理解,我所说的极小的量或正消失的量或最终的量,提防被理解为大小确定的量,而总要意识到无限减小的量。

先看到这(加入书签) | 推荐本书 | 打开书架 | 返回首页 | 返回书页 | 错误报告 | 返回顶部
热门推荐