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

第7卷命题 23 · 互质数之因子与另一数互质

If two number be prime to one another, the number which measures the one of them will be prime to the remaining number.

若两数互质,则度量其中一数的数必与另一数互质。

A B C D
fig-1

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

线

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

分步证明Step-by-step proof
1 / 4
  1. Let A, B be two numbers prime to one another, and let any number C measure A; I say that C, B are also prime to one another. For, if C, B are not prime to one another, some number will measure C, B.

    设A、B两数互质,且C度量A。

  2. Let a number measure them, and let it be D.

    假设C与B不互质,则存在某数D度量C与B。

  3. Since D measures C, and C measures A, therefore D also measures A. But it also measures B; therefore D measures A, B which are prime to one another: which is impossible.

    因D度量C,且C度量A,故D亦度量A;又D度量B,故D度量互质的A与B。

  4. [VII. Def. 12] Therefore no number will measure the numbers C, B.

    此与互质定义矛盾,故无数量度C与B,即C与B互质。