文化伟人代表作图释书系:自然哲学的数学原理
上QQ阅读APP看书,第一时间看更新

第1章
通过量的初值与终值的比率,我们可以证明以下命题

引理1

在任何有限的时间里,量和量的比值总是不断地接近相等,并在最后时刻趋于相等,差值小于给定的值,并最终实现相等。

如果否定这个观点,我们可以采用反证法来证明,假设它们最终不相等,并把D作为最终差值。这样,它们就不能以比给定差D更小的差值去趋于相等,但这与命题矛盾。

引理2

在任意图形AacE中,有直线AaAE和曲线acE,同时,有任意多个平行四边形AKbBBLcCCMdD等,底边ABBCCD等是相等的,侧边BbCcDd等则与图形的边Aa平行。作平行四边形aKbIbLcmcMdn等,如果那些平行四边形的宽再减小,且平行四边形的数目近似无限,那么,曲线内切图形AKbLcMdD、外切图形AaIbmcndoE和曲线图形AabcdE的最终比值趋于等量之比。(如图1-1)

(图1-1)

由于内切图形与外切图形的差是平行四边形KaIbLbmcMcndDdoE之和,即(底边相等)以其中一个长方形的底Kb,以它们的高度和Aa为高的矩形,另一边之和是边Aa的平行四边形,也就是平行四边形ABIa。但由于这个平行四边形的宽AB是无限缩小的,因而平行四边形也就小于任何给定的空间。由此,根据引理1,内切图形和外切图形最终相等,而中间的曲线图形也相等。

证明完毕。

引理3

如果平行四边形的宽ABBCCD等不相等,且处于无限缩小时,最终比值也是等量之比。(如图1-2)

(图1-2)

假设AF为最大宽度,作一个平行四边形FAaf,那么,这个平行四边形将大于内切图形和外切图形的差,但由于此平行四边形的宽AF在无限减小,因此,它必将小于任何给定的平行四边形。

证明完毕。

推论1 那些逐渐减小的矩形其总和在所有方面都与曲线图形完全相符。

推论2 在逐渐减小的弧线abbccd等的弦构成的直线图形最终也与曲线图形完全相符。

推论3 切线弧长相等的外切直线图形,也与曲线图形完全相符。

推论4 这些外围为acE的最终图形并不是直线的,而是直线图形的曲线极限。

引理4

如果在图形AacEPprT中,分别有一组内切平行四边形,若它们每组的数量相等,宽度趋于无穷小,并且,其中一图形内平行四边形的比值与对应的另一个图形内平行四边形的比值最终相等,那么,这两个图形AacEPprT的比值也相等。(如图1-3、图1-4)

(图1-3)

(图1-4)

因为其中一图形内的平行四边形与另一图形内的平行四边形是一一对应的,则这一图形中所有平行四边形的和与另一图形中所有平行四边形的和的比,就等于两个图形的比,因为,根据引理3,前一图形与总和之比,等于后一图形与总和之比。

证明完毕。

推论 由此可知,如果任意两个量被分为相同份数的若干部分,当它们的数目增多而自身在无限减小时,量相互间有一个给定的比值,且一一对应,整个量都以给定的比值相互对应。因为,在这个引理的图形中,如果将平行四边形的比值看成部分的比值,则这些部分的和一定等于平行四边形的和。假设平行四边形与部分的数目增大,而它们的量又无限减小,则这些和将是其中一图形中的平行四边形与相对应的另一图形中平行四边形的最终比值,即这些和是一个量里的任意部分与另一个量相关部分的最终比值。

引理5

在相似图形中,所有对应的边,无论是直线还是曲线,它们均成正比,且其图形面积之比等于其对应边之比的平方。

引理6

任意弧线ACB处在一个给定的位置,弧弦为AB,在连续曲线任意一点A上相切于直线AD,两边无限延长。如果点A与点B相互靠近且相遇,则由弦和切线构成的角BAD将会无限减小,直到最后完全消失。(如图1-5)

(图1-5)

因为,假如此角不消失,弧线ACB和切线AD将会构成一个直线角,而弧线在A点就不会延续其弯曲度,这与命题相互矛盾。

引理7

作同样的假设:弧线、弦和切线的比值最终相等。

当点B向点A靠近时,假设ABAD总是分别趋向于两个遥远的点bd,且平行于割线BD作一直线bd,使弧Acb总是相似于弧ACB。设点A与点B重合,根据前面的引理,角dAb会消失,所以直线AbAd(处于有限)和中间弧线Acb将重合,且相等。因此,直线ABAD和中间弧ACB(与前者成正比例)比值是等量之比(如图1-5)

证明完毕。

推论1 如果通过B点作BF平行于弧BCA的切线AD,且总是与通过点A的任意直线交于点F,那么直线BF与逐渐消失的弧ACB的比值最终成相等之比,因为在平行四边形AFBD中,BFAD的比值是等量之比。(如图1-6)

(图1-6)

推论2 如果通过点B和点A作直线BEBDAFAG,与切线AD及其平行线BF相交,则所有水平线ADAEBFBG以及弦AB和弧AB的比值最终都是等量之比。

推论3 在所有关于最终比值的推论中,这些线段可以相互替换。

引理8

如果直线ARBR、弧ACB、弦AB和切线AD共同构成三个三角形RABRACBRAD,点A和点B相互靠近且重合,那么,这些逐渐消失的三角形最终是相似的,最终比值也是等量之比。(如图1-7)

(图1-7)

当点B向点A靠近时,假设ABADAR总是分别趋向于遥远的点bdr,作出rbd,使其平行于RD,并使弧Acb总是相似于弧ACB。然后,再设点A和点B重合,则角bAd将会消失,而三角形rAbrAcbrAd则将重合,即相似且相等。那么,与它们总是相似和成比例的三角形RABRACBRAD,最终也将相似且相等。

证明完毕。

推论 在所有关于最终比值的推论中,这些三角形可以相互替换。

引理9

如果直线AE和曲线ABC均处于给定位置,且以给定的角在A点相交。直线BDCE与直线AE也形成定角,并与曲线相交于点BC,而点B和点C相互靠近且在A点重合,那么,三角形ABDACE的最终面积的比,将等于其对应边比值的平方。(如图1-8)

(图1-8)

当点BCA点靠近时,假设AD总是倾向于遥远的点de,而AdAe将与ADAE成正比。作线dbec平行于直线DBEC,并分别与ABAC延长线相交于点bc。使曲线Abc与曲线ABC相似,作直线Ag与两条曲线相切于点A,与直线DBECdbec相交于点FGfg。然后,再假设Ae的长度保持不变,使点B和点CA点重合,则角cAg将消失,曲线形面积AbdAce将与直线形面积AfdAge相重合。因此,根据引理5,面积比将是对应边AdAe比值的平方。不过,ABDACE的面积总与这些面积成正比,而边ADAE也与这些边成正比。由此可知,ABDACE面积的最终比值为边ADAE比值的平方。

证明完毕。

引理10

任一物体在有限力作用下所经过的路程,无论此有限力是可知不变的,还是连续增大或连续减小的,在运动的初始阶段与时间的平方成正比。

令直线ADAE表示时间,直线DBEC表示由时间产生的速度,那么,由速度所产生的距离就是由那些横线所构成的面积ABDACE,即根据引理9,运动的初始阶段距离与时间ADAE的平方成正比。

证明完毕。

推论1 由此可以推出,物体在成比例的时间里通过相似图形的相似部分的误差,基本上与它们所产生的时间的平方成正比。这些误差是由应用在物体上任意相等的力产生的,并由物体到这些相似图形经过的距离求得,如果没有这些力的作用,物体会在那些成比例的时间内到达目的地。

推论2 由成比例的力(指的是类似地在相似图形的相似部分中运用在物体上的力)所产生的误差,与力和时间平方的乘积成正比。

推论3 用同样的道理可以解释物体在不同力的作用下经过的任意距离问题,在运动的初始阶段,这些距离与力和时间平方的乘积成正比。

推论4 力与运动初始阶段的距离成正比,与时间的平方成反比。

推论5 时间的平方与距离成正比,与力成反比。

附注

如果比较不同种类的未知的量,任何一个量都可以说是与另一个量成正比或者成反比的,即前者与后者以相同的比值增大或减小,或与后者的倒数成正比。如果说任意一个量与其他任意两个或者更多的量成正比或成反比,即前者与其他量比值的复合值,同其他量或其他量的倒数一起增大或减小。假如,设ABC成正比,与D成反比,则意味着AB×C×以相同的比值增大或减小,即A相互之比为给定比值。

引理11

通过接触点的所有曲线有有限的曲率,而逐渐消失的接触间的弦最终与弧对应的弦的平方成正比。(如图1-9)

(图1-9)

情形1 AB为一弧线,AD为切线,BD为接触角的弦,且垂直于切线ADAB为弧对应的弦。过B点作BG垂直于弦AB,过A点作垂线AG垂直于切线AD,二者相交于点G,再使点DBG趋近于dbg点,假设J点为直线BGAG的最终交点,那么,点DB与点A重合,显然,距离GJ就可能小于任何给定的长度。然而(根据半圆ABG,半圆abg的性质)AB2AG×BDAb2Ag×bd,因此,AB2Ab2的比值是AGAg比值,Bdbd比值的复合。但因为GJ可能小于任何指定长度,故AGAg的比值与等量之比的差异也可小于任何给定的值,AB2Ab2的比值也和BDbd的比值的差异可以小于任何给定的值。由此,根据引理1,AB2Ab2的最终比值和BDbd的最终比值相等。

证明完毕。

情形2 使BD以任意角度向AD倾斜,BDbd的最终比值也与以前相等,因此,AB2Ab2的比值也相等。

证明完毕。

情形3 假设角D为任意角,而直线BD穿过一给定点,或者由其他任意条件决定。由相同规则决定的角Dd将总是趋于相等,并以小于任意给定差而相互靠近,据引理1它们最终相等,所以直线BDbd相互间的比值仍与以前相同。

证明完毕。

推论1 当切线ADAd和弧ABAb以及它们的正弦BCbc最终相等于弦ABAb时,它们的平方也将最终与弦BDbd成正比。

推论2 它们的平方也最终与弧的正弦成正比,弦被二等分,并集中于一定点,因为这些正弦也与弦BDbd成正比。

推论3 正弦与时间的平方成正比(所指时间为物体以给定速率沿弧线路径的所需时间)。

推论4 由边ADDBAddb的比值复合而得。直角三角形ADBAdb之比最终与边AD的立方和Ad的立方成正比,并与边DB次方和db次方成正比,所以,三角形ABC和三角形Abc也最终与边BC的立方和bc的立方成正比。

推论5 因为DBdb最终平行,并与直线ADAd的平方成正比,所以,最终的曲线形ADBAdb面积将(根据抛物线的性质)是直角三角形ADBAdb面积的,弓形ABAb部分是对应三角形的。所以,这些曲线形面积和弓形将与切线ADAd、弦以及弧ABAb的立方成正比。

附注

然而,我们一直假设的切角不会无限大于或者无限小于由其圆周和切线构成的其他任意的切角,即处于A点的曲率既不是无限小,也不是无限大,而间隔AJ是一个有限的值。因为,我们可以使DBAD3成正比,基于这种情况,在切线AD和曲线AB之间,没有任何一个圆能通过点A,所以切角将会无限小于这些圆周的切角。同理,如果将DB依次正比于AD4AD5AD6AD7等,我们将会得到一系列趋近无限的切角,且后一项无限小于前面一项。如果DB依次正比于AD2等,我们将会得到其他一系列的切角,它们中的第一个与那些圆的切角为相同类型,第二个无限增大,且后一项无限大于前一个。但在这些切角的任意两个之间,又可以插入另一系列的中介切角,它们以两种方式趋于无限,每一个角都无限大于或者无限小于前一个。例如,在AD2AD3两项间插入了这一系列项:等,同样,在这一系列角的任意两个之间,也可以插入一系列新的中介角,它们每一个都将随着无限的间隔而有所不同,可知这是无穷的。

曲线和其围成的表面所得到的规律,可以很好地运用于立体曲面及立体容积,这些引理可以避免古代几何学家那些繁复而难解的推导过程。在证明时,运用不可分方法将问题简化,但不可分的假设显得不够严谨,故这种方法被看做是缺乏几何化的方法。在后面的命题中,我会用开始与结束时的总和以及初量与逐渐消失的量的比值来证明,即用这些和与比值的极限,我将尽可能简洁地证明这些极限值。现在,不可分方法的已经得到了证明,运用起来就更加稳妥了。因此我在后面所说小部分构成的量,或者说用短曲线来替代直线,不是指不可分量,而是指逐渐消失的可分量;也不要理解为可知部分的总和及其比值,而是指的和与比值的极限,我在证明中所说的力是以前面所述引理为前提的。

也许有人会持反对意见,认为不存在逐渐消失的量的最终比值,因为在量消失之前,比值并不是最终的,而当量消失后,也就没有什么比值了。但是,根据相同的道理,我们也可以这样辩论:物体到达一固定点并停止运动,也就没有了最终速度,因为这个速度在物体到达该点前,其速度并不是最终速度,而当物体到达时,其速度已为零。答案很简单,因为最终速度表示的是物体移动的速度,既不是指它到达最后处所停止运动之前的速度,也不是指停止运动之后的速度,而是在它到达时的瞬时速度,即物体到达最后处所时的速度也让运动停止。用相同的方法,可以把逐渐消失的量的最终比值理解为既不是量消失前的比,也不是消失后的比,而是在消失那一瞬间的比。同理,可以把初量的最初比值看成是它们刚开始时的比,并且开始的和与最后的和是指它们开始运动及停止时的和(增大或减小时)。速度在运动最后之时将达到一个极限,但不会超过它,这就是最终速度。就是说,所有开始或结束的量以及比值都有一个相似的确定极限,要求出它们却是一个严格的几何学问题。然而,当我们在证明其他任何类似的几何问题时,我们只能用几何问题来解决。

也许有人会反对,说如果逐渐消失的量的最终比值是给定的,那么它们最终的量值也是给定的,即所有的量都将包括不可分量,而这又与欧几里得在《几何原本》第十篇中证明的不可通约量相矛盾。然而这个反对意见是以一个错误的命题为前提的。因为,当量消失时,它们的最终比值并不是真正的最终量的比值,而是聚到某一点并形成极限,并且无限减小量的比值以小于任意给定的值向极限靠近。但绝不超过,实质上也不会达到极限,这种情况在无限大的量上表现得更为明显。如果两个量的差是定值,而它们又无限增大,则这些量的最终比值也是定值,即等量之比,但给出此比的最后的或最大的量并没有被给定。因此,为了方便理解,我在后面所提到的最小的、逐渐消失的或最终的量,大家不要认为是确定了的量值,而应理解为无止境减小的量。