Proposition: Prop. 10.045: Major Straight Line is Divisible Uniquely

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

A major (straight line) can only be divided (into its component terms) at the same point. * Let $AB$ be a major (straight line) which has been divided at $C$, so that $AC$ and $CB$ are incommensurable in square, making the sum of the squares on $AC$ and $CB$ rational, and the (rectangle contained) by $AC$ and $CD$ medial [Prop. 10.39]. * I say that $AB$ cannot be (so) divided at another point. fig042e

Modern Formulation

In other words, \[\sqrt{\frac{1+\alpha}{2\sqrt{1+\alpha^2}}} + \sqrt{\frac{1-\alpha}{2\sqrt{1+\alpha^2}}} =\sqrt{\frac{1+\beta}{2\sqrt{1+\beta^2}}} + \sqrt{\frac{1-\beta}{2\sqrt{1+\beta^2}}}\] has only one solution: i.e., \[\beta=\alpha,\] where \(\alpha,\beta\) denote positive rational numbers.

Notes

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

Proofs: 1

Propositions: 1


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