灯下 登录
数学 / 几何原本 / Proposition VII.22

第7卷命题 22 · 最小同比数互素

The least numbers of those which have the same ratio with them are prime to one another.

与它们有相同比的最小两数互素。

A B C D E
fig-1

本页以“最小同比数互素”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。

线

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

分步证明Step-by-step proof
1 / 4
  1. Let A, B be the least numbers of those which have the same ratio with them; I say that A, B are prime to one another. For, if they are not prime to one another, some number will measure them.

    设A、B是与它们有相同比的最小两数。

  2. Let some number measure them, and let it be C. And, as many times as C measures A, so many units let there be in D, and, as many times as C measures B, so many units let there be in E Since C measures A according to the units in D, therefore C by multiplying D has made A.

    假设A、B不互素,则存在某数C同时度量A和B。

  3. [VII. Def. 15] For the same reason also C by multiplying E has made B. Thus the number C by multiplying the two numbers D, E has made A, B; therefore, as D is to E, so is A to B; [VII. 17] therefore D, E are in the same ratio with A, B, being less than they: which is impossible.

    设C度量A得D个单位,度量B得E个单位,则C乘以D得A,C乘以E得B。

  4. Therefore no number will measure the numbers A, B.

    因此D比E等于A比B,且D、E小于A、B,与A、B最小性矛盾,故A、B互素。