Proposition: Prop. 10.030: Construction of Rational Straight Lines Commensurable in Square Only When Square Differences Incommensurable
(Proposition 30 from Book 10 of Euclid's “Elements”)
To find two rational (straight lines which are) commensurable in square only, such that the square on the greater is larger than the (the square on) lesser by the (square) on (some straight line which is) incommensurable in length with the greater.
Modern Formulation
(not yet contributed)
Table of Contents
Proofs: 1
Mentioned in:
Proofs: 1 2 3
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
 Fitzpatrick, Richard: Euclid's "Elements of Geometry"
Adapted from CC BYSA 3.0 Sources:
 Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016