Source — Euclid's Elements, encoded as an rrxiv paper

X.34 Proposition X.34

To find two straight lines incommensurable in square which make the sum of the squares on them medial but the rectangle contained by them rational.

lines 74–74 in main.tex