灯下 登录
数学 / 几何原本 / Proposition VIII.16

第8卷命题 16 · 平方数不测则边不测

If a square number do not measure a square number, neither will the side measure the side; and, if the side do not measure the side, neither will the square measure the square.

如果一个平方数不能量尽另一个平方数,那么它们的边也不能互相量尽;反之,如果边不能互相量尽,那么平方数也不能互相量尽。

A A_r B B_r C C_r D D_r
fig-1

本页以“平方数不测则边不测”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。

线

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

分步证明Step-by-step proof
1 / 4
  1. Let A, B be square numbers, and let C, D be their sides; and let A not measure B; I say that neither does C measure D. For, if C measures D, A will also measure B.

    设A、B为平方数,C、D分别为其边,且A不能量尽B。

  2. [VIII. 14] But A does not measure B; therefore neither will C measure D.

    若C能量尽D,则根据第八卷命题14,A也能量尽B,这与假设矛盾,故C不能量尽D。

  3. Again, let C not measure D; I say that neither will A measure B.

    反之,设C不能量尽D。

  4. For, if A measures B, C will also measure D.

    若A能量尽B,则根据第八卷命题14,C也能量尽D,这与假设矛盾,故A不能量尽B。