◀ ▲ ▶Branches / Geometry / Elements-euclid / Book--7-elementary-number-theory / Proof: By Euclid

Proof: By Euclid

(related to Proposition: 7.27: Powers of Co-prime Numbers are Co-prime)

Euclid's' Proof

• For since $A$ and $B$ are prime to one another, and $A$ has made $C$ (by) multiplying itself, $C$ and $B$ are thus prime to one another [Prop. 7.25].
• Therefore, since $C$ and $B$ are prime to one another, and $B$ has made $E$ (by) multiplying itself, $C$ and $E$ are thus prime to one another [Prop. 7.25].
• Again, since $A$ and $B$ are prime to one another, and $B$ has made $E$ (by) multiplying itself, $A$ and $E$ are thus prime to one another [Prop. 7.25].
• Therefore, since the two numbers $A$ and $C$ are both prime to each of the two numbers $B$ and $E$, the (number) created from (multiplying) $A$ and $C$ is thus prime to the (number created) from (multiplying) $B$ and $E$ [Prop. 7.26].
• And $D$ is the (number created) from (multiplying) $A$ and $C$, and $F$ the (number created) from (multiplying) $B$ and $E$.
• Thus, $D$ and $F$ are prime to one another.
• (Which is) the very thing it was required to show.
  ∎

Thank you to the contributors under CC BY-SA 4.0!

Github:

non-Github:

@Fitzpatrick

References

Adapted from (subject to copyright, with kind permission)

1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"