If a straight line, which is incommensurable in square with the whole, and with the whole makes the (squares) on them (added) together rational, and the (rectangle contained) by them medial, is subtracted from a(nother) straight line then the remainder is an irrational (straight line). Let it be called a minor (straight line).
Thus, a minor straight line has a length expressible as \[\sqrt{\left(1+\frac{\rho}{\sqrt{1+\rho^2}}\right)\frac 12} - \sqrt{\left(1-\frac{\rho}{\sqrt{1+\rho^2}}\right)\frac 12}, \]
for some rational number \(\rho\). See also [Prop. 10.39].
Proofs: 1
Corollaries: 1
Proofs: 2 3 4 5 6 7 8 9 10
Propositions: 11 12 13 14 15 16 17 18