Proposition: Prop. 10.002: Incommensurable Magnitudes do not Terminate in Euclidean Algorithm

(Proposition 2 from Book 10 of Euclid's “Elements”)

If the remainder of two unequal magnitudes (which are) [laid out] never measures the (magnitude) before it, (when) the lesser (magnitude is) continually subtracted in turn from the greater, then the (original) magnitudes will be incommensurable.

Modern Formulation

(not yet contributed)

Proofs: 1

Proofs: 1

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



Adapted from (subject to copyright, with kind permission)

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

Adapted from CC BY-SA 3.0 Sources:

  1. Prime.mover and others: "Pr∞fWiki",, 2016