Proposition: Prop. 10.079: Construction of Apotome is Unique

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

(Only) one rational straight line, which is commensurable in square only with the whole, can be attached to an apotome.

fig079e

Modern Formulation

In other words,

\[\alpha - \sqrt{\beta} = \gamma - \sqrt{\delta}\] has only one solution: i.e., \[\gamma=\alpha\quad\text{ and }\quad\delta=\beta,\] where \(\alpha,\beta,\gamma,\delta\) denote positive rational numbers. Likewise, \[\sqrt{\alpha} - \sqrt{\beta} =\sqrt{\gamma}-\sqrt{\delta}\] has only one solution: i.e., \[\gamma=\alpha\quad\text{ and }\quad\delta=\beta.\]

Notes

This proposition corresponds to [Prop. 10.42], with minus signs instead of plus signs.

Proofs: 1

Proofs: 1 2
Propositions: 3


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

Github:
bookofproofs
non-Github:
@Fitzpatrick


References

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", https://proofwiki.org/wiki/Main_Page, 2016