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

第10卷命题 20 · 有理面积贴于有理线段

If a rational area be applied to a rational straight line, it produces as breadth a straight line rational and commensurable in length with the straight line to which it is applied.

若将一有理面积贴于一条有理线段,则所得宽度为一条与所贴线段长度可公度的有理线段。

A B C D
fig-1

本页以“有理面积贴于有理线段”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。

线

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

分步证明Step-by-step proof
1 / 4
  1. For let the rational area AC be applied to AB, a straight line once more rational in any of the aforesaid ways, producing BC as breadth; I say that BC is rational and commensurable in length with BA. For on AB let the square AD be described; therefore AD is rational.

    设有理面积AC贴于有理线段AB,得宽度BC。

  2. [X. Def. 4] But AC is also rational; therefore DA is commensurable with AC.

    在AB上作正方形AD,则AD为有理面积。

  3. And, as DA is to AC, so is DB to BC. [VI. 1] Therefore DB is also commensurable with BC; [X. 11] and DB is equal to BA; therefore AB is also commensurable with BC.

    因AC亦为有理,故DA与AC可公度;由VI.1,DA比AC等于DB比BC,故DB与BC可公度。

  4. But AB is rational; therefore BC is also rational and commensurable in length with AB.

    DB等于BA,故AB与BC可公度;AB为有理,故BC为有理且与AB长度可公度。