灯下 登录
数学 / 几何原本 / Proposition X.66

第10卷命题 66 · 与二项线段可公度线段亦为同阶二项线

A straight line commensurable in length with a binomial straight line is itself also binomial and the same in order.

与一条二项线段长度可公度的线段本身也是二项线段,且阶数相同。

A B C D E F
fig-1

本页以“与二项线段可公度线段亦为同阶二项线”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。

线

正文图形由校订坐标生成;点、线、角、圆可与证明和问答联动。

分步证明Step-by-step proof
1 / 4
  1. Let AB be binomial, and let CD be commensurable in length with AB; I say that CD is binomial and the same in order with AB. For, since AB is binomial, let it be divided into its terms at E, and let AE be the greater term; therefore AE, EB are rational straight lines commensurable in square only. [X. 36] Let it be contrived that, as AB is to CD, so is AE to CF; [VI. 12] therefore also the remainder EB is to the remainder FD as AB is to CD. [V. 19] But AB is commensurable in length with CD; therefore AE is also commensurable with CF, and EB with FD. [X. 11] And AE, EB are rational; therefore CF, FD are also rational.

    设AB为二项线,CD与AB长度可公度。将AB分为两段AE、EB,其中AE较大,则AE、EB为仅平方可公度的有理线段。

  2. And, as AE is to CF, so is EB to FD. [V. 11] Therefore, alternately, as AE is to EB, so is CF to FD. [V. 16] But AE, EB are commensurable in square only; therefore CF, FD are also commensurable in square only. [X. 11] And they are rational; therefore CD is binomial. [X. 36] I say next that it is the same in order with AB.

    作比例AB:CD = AE:CF,则EB:FD = AB:CD。因AB与CD可公度,故AE与CF、EB与FD均可公度,且CF、FD为有理线段。

  3. For the square on AE is greater than the square on EB either by the square on a straight line commensurable with AE or by the square on a straight line incommensurable with it. If then the square on AE is greater than the square on EB by the square on a straight line commensurable with AE, the square on CF will also be greater than the square on FD by the square on a straight line commensurable with CF. [X. 14] And, if AE is commensurable with the rational straight line set out, CF will also be commensurable with it, [X. 12] and for this reason each of the straight lines AB, CD is a first binomial, that is, the same in order. [X. Deff. II. 1] But, if EB is commensurable with the rational straight line set out, FD is also commensurable with it, [X. 12] and for this reason again CD will be the same in order with AB, for each of them will be a second binomial. [X. Deff. II. 2] But, if neither of the straight lines AE, EB is commensurable with the rational straight line set out, neither of the straight lines CF, FD will be commensurable with it, [X. 13] and each of the straight lines AB, CD is a third binomial.

    由AE:CF = EB:FD,得AE:EB = CF:FD。因AE、EB仅平方可公度,故CF、FD也仅平方可公度,从而CD为二项线。

  4. [X. Deff. II. 3] But, if the square on AE is greater than the square on EB by the square on a straight line incommensurable with AE, the square on CF is also greater than the square on FD by the square on a straight line incommensurable with CF. [X. 14] And, if AE is commensurable with the rational straight line set out, CF is also commensurable with it, and each of the straight lines AB, CD is a fourth binomial. [X. Deff. II. 4] But, if EB is so commensurable, so is FD also, and each of the straight lines AB, CD will be a fifth binomial. [X. Deff. II. 5] But, if neither of the straight lines AE, EB is so commensurable, neither of the straight lines CF, FD is commensurable with the rational straight line set out, and each of the straight lines AB, CD will be a sixth binomial.

    根据AE²与EB²的差是可与AE公度还是不可公度的线段平方,以及AE、EB与给定有理线段的公度情况,可确定AB与CD同为第一至第六类二项线,阶数相同。